資料庫 第二章學習總結
1.笛卡爾積的表示方法:
笛卡爾積可表示為一張二維表
表中的每行對應一個元組,表中的每列對應一個域
2.元組的定義:
關係中的每個元素是關係中的元組,通常用t表示。
3.關係的表示:
關係也是一個二維表,表的每行對應一個元組,表的每列對應一個域
4.屬性:
關係中不同列可以對應相同的域為了加以區分,必須對每列起一個名字,稱為屬性n目關係必有n個屬性
5.碼:
候選碼
若關係中的某一屬性組的值能唯一地標識一個元組,則稱該屬性組為候選碼簡單的情況:候選碼只包含一個屬性
全碼
最極端的情況:關係模式的所有屬性組是這個關係模式的候選碼,稱為全碼
主碼
若一個關係有多個候選碼,則選定其中一個為主碼
主屬性
候選碼的諸屬性稱為主屬性,不包含在任何侯選碼中的屬性稱為非主屬性或非碼屬性
6.基本關係的性質
① 列是同質的
② 不同的列可出自同一個域,其中的每一列稱為一個屬性,不同的屬性要給予不同的屬性名
③ 列的順序無所謂,,列的次序可以任意交換
④ 任意兩個元組的候選碼不能相同
⑤ 行的順序無所謂,行的次序可以任意交換
⑥ 分量必須取原子值(這是規範條件中最基本的一條)
7.常用的關係操作
查詢操作:選擇、投影、連線、除、並、差、交、笛卡爾積(選擇、投影、並、差、笛卡爾基是5種基本操作)
資料更新:插入、刪除、修改
實體完整性和參照完整性
關係模型必須滿足的完整性約束條件稱為關係的兩個不變性,應該由關係系統自動支援
8.使用者定義的完整性
應用領域需要遵循的約束條件,體現了具體領域中的語義約束
9.實體完整性規則的說明
(1)實體完整性規則是針對基本關係而言的。一個基本表通常對應現實世界的一個實體集。
(2)現實世界中的實體是可區分的,即它們具有某種唯一性標識。
(3)關係模型中以主碼作為唯一性標識。
(4)主碼中的屬性即主屬性不能取空值。
主屬性取空值,就說明存在某個不可標識的實體,即存在不可區分的實體,這與第(2)點相矛盾,因此這個規則稱為實體完整性
10.參照完整性規則
若屬性(或屬性組)F是基本關係R的外碼它與基本關係S的主碼Ks相對應(基本關係R和S不一定是不同的關係),則對於R中每個元組在F上的值必須為:
或者取空值(F的每個屬性值均為空值)
或者等於S中某個元組的主碼值
11.專門的關係運算:
選擇:
選擇運算子的含義在關係R中選擇滿足給定條件的諸元組
σF(R) = {t|tÎR∧F(t)= '真'}
F:選擇條件,是一個邏輯表示式,取值為“真”或“假”
投影:
若干屬性列組成新的關係
πA(R) = { t[A] | t ÎR }
A:R中的屬性列
連線:
連線運算的含義
從兩個關係的笛卡爾積中選取屬性間滿足一定條件的元組{ | trÎ R∧tsÎS∧tr[A]θts[B] }
A和B:分別為R和S上度數相等且可比的屬性組
θ:比較運算子