背景
關係完整性
- 關係(Relation)：D1×D2×…×Dn的子集叫做在域D1,D2,…Dn上的關係，表示爲R(D1,D2,…Dn)。R表示關係的名字，n是關係的目或度(degree)，假設有k條記錄，則k爲關係R的基維(cardinality)。關係中的每一個元素是關係中的元組(tuple)。
- 關係模型中有三類完整性約束：實體完整性、參照完整性、用戶定義的完整性。當中實體完整性和參照完整性是關係模型必須滿足的完整性約束條件。被稱作是關係的兩個不變性。應該由關係系統自己主動支持。
用戶定義的完整性是應用領域須要遵循的約束條件。體現了詳細領域中的語義約束。 - 實體完整性規則：若屬性（指一個或一組屬性）A是基本關係R的主屬性，則A不能取空值。依照實體完整性的規則的規定，基本關係的主碼都不能取控制。假設主碼由若干屬性組成，則全部這些主屬性都不能取空值。
對於實體完整性規則說明：
- 實體完整性規則是針對基本關係而言的。一個基本表通常相應現實世界的一個實體集。如學生關係相應於學生的集合。
- 現實世界中的實體是可區分的。即他們具有某種唯一性標識。比如每一個學生都是獨立的個體，是不一樣的。
- 關係模型中以主碼作爲唯一性標識。
- 主碼中的屬性，即主屬性不能取空值。假設主屬性取空值。就說明存在某個不可標識的實體，即存在不可區分的實體，這與（2）相矛盾，因此這個規則稱爲實體完整性。
- 參照完整性：設F是基本關係R的一個或一組屬性，但不是關係R的碼。K是基本關係S的主碼。假設F與K相相應，則稱F是R的外碼（foreign key）。參照完整性指對於R中每個元組在F上的值必須爲 a) F的每個屬性值均爲空值，b）F等於S中某個元素的主碼值。
基本關係R爲參照關係，基本關係S爲被參照關係。外碼並不一定要與相應的主碼同名。若屬性（或屬性組）F是基本關係R的外碼。它與基本關係S的主碼K相相應（基本關係R與S不一定是不同的關係）。