スーパーキー・候補キー・主キー・外部キー

関係スキーマ $R$ と、$R$ 上で許される関係の集まり（制約を満たすインスタンス全体）が与えられているとします。$K \subseteq R$ がスーパーキーであるとは、許されるどのインスタンス $r$ についても

が成り立つことをいいます。スーパーキーであって、そのどの真部分集合もスーパーキーでないものを候補キーと呼びます。候補キーが複数あるとき、設計者が 1 つを選んで主キー（primary key）と宣言します。候補キーに属する属性を主属性、そうでない属性を非主属性と呼びます。

関係スキーマ $S$ の属性集合 $X \subseteq S$ が、関係スキーマ $R$ の主キー $K$ への外部キーであるとは、$S$ のどのインスタンス $s$ と対応する $R$ のインスタンス $r$ についても

が成り立つことを要求する制約をいいます（$t[X]$ が NULL の場合を除きます）。この制約を参照整合性と呼びます。