第八章 关系数库基本理论.docVIP

第八章 關係數據庫基本理論 8.1基本要求 1.學習目的和要求 關係運算理論有關係代數和關係演算,關係演算又分元組關係演算和域關係演算,這一理論有助於掌握關係數據庫的查詢語言,即對數據庫的查詢和更新 關係模式設計理論主要包括數據依賴,範式和模式設計 本章總的要求是:掌握關係代數和關係演算這兩種運算理論,瞭解查詢優化的意義和算法,瞭解關係模式設計理論及其數據庫設計和應用中的作用 關係運算的重點是用關係代數表達式和元組演算表達式來表達用戶的查詢語句,關係模式設計理論的重點是函數依賴,無損分解,保持依賴和範式 2.本章重點 ⑴關係模型:關係模型的定義,關鍵碼(主鍵和外鍵),關係的定義和性質,3類完整性規則,關係模型的形式定義和優點 ⑵關係代數:5個基本操作,4個組合操作,2個擴充操作 ⑶關係演算:元組關係演算和域關係演算的原子公式,公式的定義,關係代數表達式,元組表達式和域表達式之間的等價轉換 ⑷關係代數表達式的優化 ⑸關係模式的冗餘和異常 ⑹FD的定義,邏輯蘊含,閉包,推理規則,與關鍵碼的聯繫,平凡的FD,屬性集的閉包,FD的等價,最小依賴集 ⑺無損分解的定義,性質,測試,保持依賴集的分解 ⑻關係模式的範式:1NF,2 NF,3 NF,BCNF,4 NF ⑼MVD,4NF,EMVD,JD和5 NF的定義 8.2基本內容 8.2.1關係模式的基本概念 1.基本術語 關係模型:用二維表格表示實體集,用關鍵碼表示實體之間的聯繫的數據模型,在關係模型中,字段稱為屬性,字段的值稱為屬性的值,記錄稱為元組(Tuple),元組的集合稱為關係(Relation) 關鍵碼(Key): 超鍵(Super Key):在關係中能唯一標誌元組的屬性集 候選鍵(Candidate Key):不含有多餘屬性的超鍵 主鍵(Primary Key):用戶選作元組標識的候選鍵 外鍵(Foreign Key):如果模式R中屬性K是其他模式的主鍵,那麼K在模式R中稱為外鍵 關係模式中每一個屬性都有一個對應的取值範圍,稱為屬性的值域用DOM(A)表示 2.關係的定義和性質 關係中每一個屬性不可再分 關係中不允許出現重複的元組 由於關係是一個集合,因此不考慮元組間的順序,即沒有行序 元組中的屬性在理論上是無序的 3.完整性規則 實體完整性規則(Entity Integrity Rule),要求主鍵不能為空 參照完整性規則(Reference Integrity Rule),或者為空,或者為R關係中某個主鍵值 用戶定義的完整性:如Check (Age Between 15 And 30) 4.關係模式的形式定義和優點 數據結構:數據庫中的全部數據及其聯繫都被組織成關係 數據操縱:關係模型提供一組完備的高級關係運算包括關係代數,關係演算和關係邏輯 數據完整性規則:數據庫中的數據必須滿足實體完整性,參照完整性和用戶定義的完整性 關係代數語言以集合操作為基礎,關係演算語言以謂詞演算為基礎 8.2.2關係代數 1.關係代數的5個基本操作 傳統的集合操作:并,交,差,笛卡爾積和除法 擴充的關係操作:選擇,投影和連擊 關係代數的5個基本操作:并,笛卡爾積,差,選擇和投影 ⑴并(Union) 設關係R和S具有相同的關係模式,R和S的并是由R或S的所有元組構成的集合,形式定義如下 R∪S={t∣t∈R∨t∈S} ⑵差(Difference) 設關係R和S具有相同的關係模式,R和S的差是由屬於R但不屬於S的元組組成的集合,形式定義如下 R-S={ t∣t∈R∨t/∈S } ⑶笛卡爾積(Cartesian Product) 設關係R和S的元組分別為r和s,定義R和S的笛卡爾積是一個(r+s)元的元組集合,每個元組的前r個分量來自R的一個元組,后s個分量來自S的一個元組,記為RXS ⑷投影(Projection) 對關係進行垂直分割 ΠC,A(R)等價Π3,1(R) ⑸選擇(Selection) 根據條件對關係做水平分割,形式定義如下 σF(R)={t∈R∧F(t)=true} 2.關係代數的4個組合操作 ⑴交(Intersection) 關係R和S的交是由屬於R又屬於S的元組構成的集合 R∩S=R-(R-S) 或R∩S=S-(S-R) ⑵連接(Join) 是從R和S的笛卡爾積中選取樹屬性值滿足某一θ操作的元組,如果θ是等號,該操作稱為等值連接 ⑶自然連接(Natural Join) R和S公共屬性的等值連接 ⑷除法(Division) 關係R 關係S A B C 　 A B C a b c 　 a z a b a d 　 b a h c d d 　 c d d d f g 　 d s c T1=Π1,2(σ13(S)) A B b