[1] 候補鍵の超集合であるような属性集合 (候補鍵の条件の1つ目だけが成立するような属性集合) を、超鍵 (超キー, スーパー・キー) といいます。 (名無しさん [sage])

[2] 全属性集合は自明な超鍵となります。 (名無しさん [sage])

[3] HがRの超鍵ならば、