検査制約
データベースの値の範囲などの形式を制約するもの．