[1] 関係スキーマRの属性集合Kが次の条件を満たす時、 KはRの候補鍵 (候補キー) といいます。

• Rの任意の実現値Rについて、 (∀s, t ∈ R) (s[K] = t[K] ⇒ s = t)
• Kから1つでも属性を除外すると、 前項が成立しない。