超鍵

超キー

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

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

[3] HR超鍵ならば、

H → (ΩRH)

(関数従属性)。