2.1關係資料結構及形式化定義
關係資料庫系統是支援關係模型的資料庫系統。關係模型由關係資料結構、關係操作集合和關係完整性約束3部分組成。
2.1.1關係
1.域(domain)
域是一組具有相同資料型別的值的集合；
2.笛卡爾積(cartesian product)
笛卡爾積是域上面的一種集合運算。笛卡爾積可表示為乙個二維表，表中的每行對應乙個元組，表中的每一列的值來自乙個域。
3.關係(relation)
關係是笛卡爾積的有限子集，所以關係也是乙個二維表，表的每行對應乙個元組，表的每列對應乙個域。
若關係中的某一屬性組的值能唯一地標識乙個元組，則稱該屬性組為候選碼(candidate key)。
若乙個關係有多個候選碼，則選定其中乙個為主碼(primary key)。
候選碼的諸屬性稱為主屬性(prime attribute)，不包含在任何候選碼中的屬性稱為非主屬性(non-prime attribute)或非碼屬性(non-key attribute)。
關係可以有三種型別：基本關係(通常又稱為基本表或基表)、查詢表和檢視表。
基本表是實際存在的表，它是實際儲存資料的邏輯表示；查詢表是查詢結果對應的表；檢視表是由基本表或其他檢視表匯出的表，是虛表，不對應實際儲存的資料；
關係表中不允許還有表，簡言之不允許表中有表。
2.2關係操作
關係模型中常用的關係操作包括查詢操作(query)和插入(insert)、刪除(delete)和修改(update)操作兩大部分；
2.3關係的完整性
關係模型的完整性規則是對關係的某種約束條件，也就是說關係的值隨著時間的變化時應該滿足一些約束性條件。
2.3.1關係模型的三類完整性約束
關係中有三類完整性約束：實體完整性、參照完整性和使用者定義的完整性。
2.3.2實體完整性(entitiy intergrity)
實體完整性規則
若屬性(指乙個或一組屬性)a是基本關係r的主屬性，則a不能取空值；
2.3.3參照完整性(referential integrity)
關係中的某個屬性需要參照某個關係的屬性取值，不僅兩個或兩個以上的關係間可以存在引用關係，同一關係內部屬性間也可能存在引用關係。
設f是基本關係r的乙個或一組屬性，但不是關係r的碼，k是基本關係s的主碼，如果f與k相對應，則稱f是r的外碼(foreign key)，並稱基本關係r為參照關係(referencing relation)，基本關係s為被參照關係(referenced relation)或目標關係(target relation)。關係r和s不一定是不同的關係。
參照完整性規則
若屬性(或屬性組)f是基本關係r的外碼，它與基本關係s的主碼k相對應(基本關係r和s不一定是不同的關係)，則對應r中每個元組在f上的值必須為：
1.或者取空值(f的每個屬性值均為空值)；
2.或者等於s中某個元組的主碼值；
2.3.4使用者定義的完整性(user-defined integrity)
資料庫系統概論 第二章 關聯式資料庫
域 域是一組具有相同資料型別的集合。笛卡爾積 笛卡爾積是資料上的一種集合運算。給定一組域d1，d2，dn，允許其中某些域是相同的。d1，d2，dn的笛卡爾積為 d1 d2 dn d1，d2，dn di di，i 1，2，n 關係 1.關係 d1 d2 dn的子集叫作在域d1，d2，dn上的 關係，表...
第二章 關係資料庫系統
關聯式資料庫是以關係模型為基礎的資料庫。關係模型由關係資料結構 關係操作和資料完整性約束三部分組成。關係 也稱為表，乙個關係對應一張二維表。元組 也稱為記錄，表中的一行即為乙個元組，相對完整地描述了乙個實體。屬性 也稱為列，表中的一列即為乙個屬性。碼 也稱為關鍵字或鍵，表中能唯一標識元組的最小屬性集...
《資料庫系統概論》 第二章 關聯式資料庫 知識梳理
2.1 關係資料結構及形式化定義 2.2 關係操作 2.3 關係的完整性 2.4 關係代數 2.5 關係演算 2.6 小結 1 基本術語的解釋 域 笛卡兒積 關係 屬性 候選碼，主碼 外碼 主屬性 非主屬性 全碼等 2 關係模式的定義及表示。3 關係的三類完整性約束 實體完整性 規定關係中的所有主屬...