域
域是一組具有相同資料型別的集合。
笛卡爾積
笛卡爾積是資料上的一種集合運算。
給定一組域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上的
關係，表示為： r（d1，d2，…，dn）
r：關係名
n：關係的目或度（degree）
2.元組
關係中的每個元素是關係中的元組，通常用t表示。
3.單元關係與二元關係
當n=1時，稱該關係為單元關係（unary relation 或一元關係
當n=2時，稱該關係為二元關係（binary relation）
4.關係的表示
關係也是乙個二維表，表的每行對應乙個元組，表的每列對應乙個域
5.屬性
6.碼7.三類關係
8.基本關係的性質
① 列是同質的（homogeneous）
② 不同的列可出自同乙個域
其中的每一列稱為乙個屬性，不同的屬性要給予不同的屬性名
③ 列的順序無所謂,，列的次序可以任意交換
④ 任意兩個元組的候選碼不能相同
⑤ 行的順序無所謂，行的次序可以任意交換
⑥ 分量必須取原子值，即每乙個分量都必須是不可分的資料項。這是規範條件中最基本的一條
關係模型的表示
r（u，d，dom，f）
r 關係名
u 組成該關係的屬性名集合
d u中屬性所來自的域
dom 屬性向域的映象集合
f 屬性間資料的依賴關係的集合
r (u) 或 r (a1，a2，…，an)
r: 關係名
a1，a2，…，an : 屬性名
常用的關係操作
查詢操作，(資料更新)插入、刪除、修改兩大操作。
查詢操作有選擇、投影、連線、除、並、差、交、笛卡爾積，選擇、投影、並、差、笛卡爾基是5種基本操作
關係型資料庫操作的是集合，即一次一集合的方式。非關係型資料操作方式為一次一記錄。
關係資料語言的分類
關係模型中有三種完整性約束：實體完整性、參照完整性、使用者定義完整性(語義約束)。其中實體完整性和參照完整性是關係模型必須滿足的完整性約束條件，被稱作關係的兩個不變性。
關聯式資料庫中每個元組應該是可區分的，是唯一的。這樣的約束條件是用實體完整性來保證。
實體完整性規則
若屬性a是基本關係r的主屬性，則屬性a不能取空值，空值就是「不知道」或「不存在」或「無意義」的值
在關係模型中實體及實體間的聯絡都是用關係來描述的，自然存在著關係與關係間的引用。
舉例：加刪除線的屬性為主碼。
學生（學號 ，姓名，性別，專業號，年齡）
專業（專業號 ，專業名）
這兩個關係存在著關係的引用，學生關係引用了專業關係的主碼「專業號」。學生關係中的專業號必須是存在的，即學生想去讀某個專業，它必須存在這個專業。
如上圖定義，用以上例子來講：
"專業號"是學生的外碼
學生關係是參照關係
專業關係是被參照關係或目標關係
參照完整性規則
參照完整性是定義在外碼與主碼之間的應用規則。
若屬性（或屬性組）f是基本關係r的外碼它與基本關係s的主碼ks相對應（基本關係r和s不一定是不同的關係），則對於r中每個元組在上的值必須為：
或者取空值（f的每個屬性值均為空值）
或者等於s中某個元組的主碼值
任何關聯式資料庫都應該支援實體完整性和參照完整性。這是關係模型所要求的。除此之外，不同的關係資料庫系統根據不同的應用環境，往往需要一些特殊的約束條件。使用者定義的完整性就是針對某一具體關聯式資料庫的約束條件，它反映某一具體引用所涉及的資料庫必須滿足的語義要求。
資料庫系統概論之第二章關聯式資料庫
2.1關係資料結構及形式化定義 關係資料庫系統是支援關係模型的資料庫系統。關係模型由關係資料結構 關係操作集合和關係完整性約束3部分組成。2.1.1關係 1.域 domain 域是一組具有相同資料型別的值的集合 2.笛卡爾積 cartesian product 笛卡爾積是域上面的一種集合運算。笛卡爾...
《資料庫系統概論》 第二章 關聯式資料庫 知識梳理
2.1 關係資料結構及形式化定義 2.2 關係操作 2.3 關係的完整性 2.4 關係代數 2.5 關係演算 2.6 小結 1 基本術語的解釋 域 笛卡兒積 關係 屬性 候選碼，主碼 外碼 主屬性 非主屬性 全碼等 2 關係模式的定義及表示。3 關係的三類完整性約束 實體完整性 規定關係中的所有主屬...
第二章 關係資料庫系統
關聯式資料庫是以關係模型為基礎的資料庫。關係模型由關係資料結構 關係操作和資料完整性約束三部分組成。關係 也稱為表，乙個關係對應一張二維表。元組 也稱為記錄，表中的一行即為乙個元組，相對完整地描述了乙個實體。屬性 也稱為列，表中的一列即為乙個屬性。碼 也稱為關鍵字或鍵，表中能唯一標識元組的最小屬性集...