[理學]第4章關(guān)系數(shù)據(jù)庫理論(參考版)
2024-10-19 21:22本頁面
【正文】 46 關(guān)系模式規(guī)范化的步驟 1 NF 2 NF 3 NF BCNF 消除決定屬性不是候選鍵的非平凡的函數(shù)依賴 消除非主屬性對鍵的部分函數(shù)依賴 消除非主屬性對鍵的傳遞函數(shù)依賴 消除主屬性對鍵的部分和傳遞函數(shù)依賴 4 NF 消除非平凡且非函數(shù)依賴的多值依賴 非 非 非 非蜚 非 規(guī)范化過程 47 關(guān)系模式規(guī)范化的要求 保證分解后的關(guān)系模式與原關(guān)系模式是等價的 等價的三種標準： 分解要具有無損連接性； 分解要具有函數(shù)依賴保持性； 分解既要具有無損連接性，又要具有函數(shù)依賴保持性。 關(guān)系模式規(guī)范化的目的和原則 規(guī)范化的目的就是使結(jié)構(gòu)合理，消除存儲異常，使數(shù)據(jù)冗余盡量小，便于插入、刪除和更新。 （ 4）分解結(jié)束，輸出 ρ 。 （ 3）如果 ρ中有一個關(guān)系模式 S不是 4NF，則 S中必能找到一個多值依賴 X→→ Y且 X不包含 S的候選鍵， YX≠248。 一個 BCNF的關(guān)系模式不一定是 4NF 4NF的關(guān)系模式必定是 BCNF的關(guān)系模式 4NF是 BCNF的推廣 44 第四范式（ 4NF）的分解 （ 1）令 ρ={R}。 43 第四范式（ 4NF）定義 定義 設(shè)有一關(guān)系模式 R（ U）， U是其屬性全集，X、 Y是 U的子集， D是 R上的數(shù)據(jù)依賴集。 分解律：如果 X→→ Y， X→→ Z，則 X→→ （ Y∩Z）， X→→( YZ)，X→→( ZY) 。 多值依賴推論 合并律：如果 X→→ Y， X→→ Z，則 X→→ YZ。 接合規(guī)則：從 MVD導(dǎo)出 FD：如果 X→→ Y， ZY，且存在 WU有W∩Y=248。 補余律：如果 X→→ Y，則 X→→ UXY 。 42 多值依賴公理及其推論 多值依賴公理 增廣律：如果 X→→ Y， VWU，則 WX→→ VY。 課程 C 教師 T 參考書 B 數(shù)據(jù)庫原理 數(shù)據(jù)結(jié)構(gòu) 吳勝利 陳 晨 王 平 張京生 數(shù)據(jù)庫原理與應(yīng)用 數(shù)據(jù)庫系統(tǒng) SQL Server 2021 算法與數(shù)據(jù)結(jié)構(gòu) 數(shù)據(jù)結(jié)構(gòu)教程 關(guān)系 CTB 40 CTB轉(zhuǎn)化成規(guī)范化的關(guān)系如下圖所示： C與 T間的聯(lián)系被稱為多值依賴 多個 T對應(yīng)一個 C 一個確定的 C值，與其所對應(yīng)的一組 T值與 B值無關(guān) 課程 C 教師 T 參考書 B 數(shù)據(jù)庫原理 數(shù)據(jù)庫原理 數(shù)據(jù)庫原理 數(shù)據(jù)庫原理 數(shù)據(jù)庫原理 數(shù)據(jù)庫原理 數(shù)據(jù)結(jié)構(gòu) 數(shù)據(jù)結(jié)構(gòu) 數(shù)據(jù)結(jié)構(gòu) 數(shù)據(jù)結(jié)構(gòu) 吳勝利 吳勝利 吳勝利 陳 晨 陳 晨 陳 晨 王 平 王 平 張京生 張京生 數(shù)據(jù)庫原理與應(yīng)用 數(shù)據(jù)庫系統(tǒng) SQL Server2021 數(shù)據(jù)庫原理與應(yīng)用 數(shù)據(jù)庫系統(tǒng) SQL Server2021 算法與數(shù)據(jù)結(jié)構(gòu) 數(shù)據(jù)結(jié)構(gòu)教程 算法與數(shù)據(jù)結(jié)構(gòu) 數(shù)據(jù)結(jié)構(gòu)教程 數(shù)據(jù)冗余大 插入異常 刪除異常 41 定義 設(shè)有關(guān)系模式 R（ U）， U是屬性全集，X、 Y、 Z是屬性集 U的子集，且 Z=U－ X－ Y 如果對于 R的任一關(guān)系，對于 X的一個確定值，存在Y的一組值與之對應(yīng)，且 Y的這組值僅僅決定于 X的值而與 Z值無關(guān)，此時稱 Y多值依賴于 X，或 X多值決定Y，記作 X→→ Y。 （ 4）分解結(jié)果為： S1(SNo， SN)描述學生實體； S2(SNo， CNo，Score)描述學生與課程的聯(lián)系。 （ 2）經(jīng)過前面分析可知， ρ中關(guān)系模式不屬于 BCNF。 [例 419] 將 SNC(SNo， SN， CNo， Score)規(guī)范到BCNF。 （ 3）如果 ρ中有一個關(guān)系模式 S不是 BCNF，則 S中必能找到一個函數(shù)依賴 X→ A且 X不是 S的候選鍵，且 A不屬于 X，設(shè)S1=XA， S2=SA，用分解 {S1， S2}代替 S，轉(zhuǎn)（ 2）。 ? p p 無部分函數(shù)依賴和傳遞函數(shù)依賴，SNC∈ 3NF 37 BCNF規(guī)范化 算法 把一個關(guān)系模式分解為 BCNF （ 1）令 ρ={R}。 [例 418] 設(shè)有關(guān)系模式 SNC（ SNo， SN， CNo， Score） SNo SN。 BCNF具有如下性質(zhì) ： 如果 R∈ BCNF，則 R也是 3NF 。 35 （ 2）判定 ρ是否具有無損連接性 SD分解為 ρ={S(SNo， SN， Age， Dept)， D(Dept， MN)}時， S、D都屬于 3NF，且既具有無損連接性又具有保持函數(shù)依賴性。 [例 417] 將 SD(SNo， SN， Age， Dept， MN)規(guī)范到 3NF。 （ 3）令 ρ=ρ∪ {X}={R1， R2， ? ， Rk， X}，其中 X是 R的候選鍵。 （ 1）根據(jù)算法 ： ρ={R1， R2， ? ， Rk}。 （ 4）停止分解，輸出 ρ。 （ 3）對于 Fmin中的每一個函數(shù)依賴 X→ A，都單獨構(gòu)成一個關(guān)系子模式 XA。 （ 1）如果 Fmin中有一函數(shù)依賴 X→ A
教學課件相關(guān)推薦
鄂ICP備17016276號-1