關係的候選碼、主碼、外碼
候選碼
定義：能惟一標識關係中元組的一個屬性或屬性集，稱爲候選碼(Candidate Key)
“學生關係”中的學號能惟一標識每一個學生
“選課關係”中，只有屬性的組合“學號+課程號”才能惟一地區分每一條選課記錄
主碼
定義：從多個候選鍵中選擇一個作爲查詢、插入或刪除元組的操作變量，被選用的候選碼稱爲主關係碼（主鍵，主碼，關係鍵，關鍵字）。
主屬性和非主屬性
主屬性：包含在主碼中的各個屬性稱爲主屬性
非主屬性：不包含在任何候選碼中的屬性稱爲非主屬性（或非碼屬性）
全碼 ：所有屬性的組合是關係的候選碼
超碼：包含候選碼的屬性集合。
外碼
定義：如果關係R2的一個或一組屬性X不是R2的主碼，而是另一個關係R1的主碼，則該屬性或屬性組X稱爲關係R2的外部關鍵鍵或外碼(Foreign Key)，並稱R2爲參照關係(Referencing Relation)，關係R1稱爲被參照關係(Referenced Relation)。
被參照關係的主碼和參照關係的外碼必須定義在同一個域上
關係的完整性
爲了維護關係數據庫中數據與現實世界的一致性，對關係數據庫的插入、刪除和修改操作必須有一定的約束條件，這些約束條件實際上是現實世界的要求。任何關係在任何時刻都要滿足這些語義約束。
實體完整性
實體完整性是指主碼的值不能爲空或部分爲空。
參照完整性
如果關係R2的外碼X與關係R1的主碼相符， 則X的每個值或者等於R1中主碼的某一個值或者取空值。
學生關係S的“系別”屬性與系別關系D的主碼“系別”相對應，因此，學生關係S的“系別”屬性是該關係S的外碼，學生關係S是參照關係，系別關系D是被參照關係。
用戶自定義完整性
用戶自定義完整性是針對某一具體關係數據庫的約束條件，它反映某一具體應用所涉及的數據必須滿足的語義要求。
關係模型應該提供定義和檢驗這類完整性的機制，以便用統一的、系統的方法處理它們，而不要由應用程序承擔這一功能。
總結
