一貫性制約と DDL

一貫性制約とは、データベースに収める情報に意図した性質を保たせるよう設けるルール。キー制約や外部キー制約もその一部。データ定義言語 (Data Definition Language, DDL) により定義され、通常 SQL で記述される。

検査制約・表明・トリガ

当然のことながら、一貫性制約は新たなデータが挿入される度に検討されねばならない。リレーショナルデータベースにおいてそれを実現する機能は、検査制約、表明、トリガの 3種類に大分される。検査制約は単一の、表明 (assertion) は複数のリレーションにまたがる性質を保持するために働く。トリガは ECA (event-condition-action) ルールを実装する。
いろいろごちゃごちゃ例が書いてあるけど、SQL 文はまだ理解できないので後で。