CHECK制約
CHECK制約（チェックせいやく、）とは、データベースにおいてデータを追加、更新する際の有効なデータを定義する規則のことをいう。チェック制約はテーブルの１つの列に複数つけることができ、条件に合う（True）かもしくは合わない(False)のいずれかの値を取る式でなければならない。
例えば、「製品」を含むデータベースにおいて、製品の価格と数量はゼロもしくは正の値であるというチェック制約を設けることができる。
PRICE &gt;= 0
QUANTITY &gt;= 0
もしこの制約がない場合は、価格がマイナス30ドルとかマイナス3個の数量といったことが可能になってしまう。
チェック制約はデータの有効性と保全性を確保するために利用され、この制約をデータベースレベルで行うことで、たとえアプリケーションが無効なデータを認めたとしても、データベースにその無効データを追加したり、有効なデータを無効なデータに変更したりすることができなくなる。