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

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


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


([[名無しさん]] [sage])