generated at
関係モデルの整合性
関係モデルでは、表内および表間で関係するデータはお互いに矛盾してはならない。
矛盾していない性質をインテグリティintegrity : 整合性)というが、完全な状態を保つという意味で、保全性と訳することもある。
一貫した状態を保守するためには、いくつかの整合性制約を守らなければならない。
代表的なものが次に示すものである。
実体の整合性(entity integrity)
表の各行を識別する基本キーを持つ
主キーは重複しない
主キーをもたないレコードは入力できない
参照の整合性(referential integrity)
ある表の基本キーをほかの表の一部(すなわち、外部キー)として持つとき、互いに一致していなければならない。
整合性については、他にもいくつかある