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