CHECK制約

ER図におけるリレーションシップの参加制約で、エンティティが関連に必ず参加するか（必須）、参加しなくてもよいか（任意）を表す概念。最小カーディナリティが0なら任意、1以上なら必須。

データベースのデータが満たすべき条件を定義するルール。エンティティ整合性（主キーがNULLでない）、参照整合性（外部キーが参照先に存在する）、ドメイン整合性（値がドメイン内）などがある。

外部キーの値が参照先テーブルの主キー値として存在するか、NULLであることを保証する制約。CASCADE、SET NULL、RESTRICT、NO ACTIONなどの参照動作を指定できる。

テーブルの列にNULL値の格納を禁止する制約。必須入力の属性に設定し、データの完全性を確保する。主キー列には暗黙的にNOT NULL制約が適用される。

テーブルの列または列の組合せに対して、重複した値の格納を禁止する制約。主キー以外の候補キーに設定する。主キーと異なりNULL値を許容する場合がある。

テーブルの特定の列または列の組合せで、重複する値が存在しないことを保証する制約。主キー制約とUNIQUE制約が該当する。データベースの整合性維持に不可欠な制約の1つ。