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

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


[3]
[CODE(math)@en[[VAR[H]]]]が[CODE(math)@en[[VAR(relation-schema)[R]]]]の[[超鍵]]ならば、
[FIG(math)[
[VAR[H]] → ([VAR[Ω[SUB[[VAR[R]]]]]] − [VAR[H]])
]FIG]
([[関数従属性]])。