[1]
[[関係スキーマ]][CODE(math)@en[[VAR(relational-schema)[R]]]]の[[属性集合]][CODE(math)@en[[VAR[K]]]]が次の条件を満たす時、
[CODE(matH)@en[[VAR[K]]]]は[CODE(math)@en[[VAR(relational-schema)[R]]]]の[DFN[候補鍵]]
([DFN[候補キー]]) といいます。
- [CODE(math)@en[[VAR(relational-schema)[R]]]]の[[任意]]の[[実現値]][CODE(math)@en[[VAR[R]]]]について、
[CODE(math block)@en[(∀[VAR[s]], [VAR[t]] ∈ [VAR[R]]) ([VAR[s]]'''['''[VAR[K]]''']''' = [VAR[t]]'''['''[VAR[K]]''']''' ⇒ [VAR[s]] = [VAR[t]])]]
- [CODE(math)@en[[VAR[K]]]]から1つでも[[属性]]を除外すると、
前項が成立しない。