コッドの12の規則
整合性制約を、アプリケーションが関与することなく、定義してカタログに制約情報を格納できなければならない。必要に応じて整合性制約の変更を、既存のアプリケーションに対する無用な影響を与えること無く、実行できなければならない。