[理學(xué)]第4章關(guān)系數(shù)據(jù)庫理論(存儲版)
【正文】 插入異常 刪除異常 更新異常 每個系名和系主任的名字存儲的次數(shù)等于該系的學(xué)生人數(shù) 當(dāng)一個新系沒有招生時，有關(guān)該系的信息無法插入 某系學(xué)生全部畢業(yè)而沒有招生時，刪除全部學(xué)生的記錄也 隨之刪除了該系的有關(guān)信息 更換系主任時，仍需改動較多的學(xué)生記錄 32 第三范式 第三范式的定義 如果關(guān)系模式 R∈ 2NF，且每個非主屬性都不傳遞函數(shù)依賴于 R的主關(guān)系鍵，則稱 R屬于第三范式，簡稱3NF，記作 R∈ 3NF。 （ 4）停止分解，輸出 ρ。 35 （ 2）判定 ρ是否具有無損連接性 SD分解為 ρ={S(SNo， SN， Age， Dept)， D(Dept， MN)}時， S、D都屬于 3NF，且既具有無損連接性又具有保持函數(shù)依賴性。 （ 3）如果 ρ中有一個關(guān)系模式 S不是 BCNF，則 S中必能找到一個函數(shù)依賴 X→ A且 X不是 S的候選鍵，且 A不屬于 X，設(shè)S1=XA， S2=SA，用分解 {S1， S2}代替 S，轉(zhuǎn)（ 2）。 課程 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。 多值依賴推論 合并律：如果 X→→ Y， X→→ Z，則 X→→ YZ。 （ 3）如果 ρ中有一個關(guān)系模式 S不是 4NF，則 S中必能找到一個多值依賴 X→→ Y且 X不包含 S的候選鍵， YX≠248。 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)系模式是等價的 等價的三種標(biāo)準(zhǔn)： 分解要具有無損連接性； 分解要具有函數(shù)依賴保持性； 分解既要具有無損連接性，又要具有函數(shù)依賴保持性。 一個 BCNF的關(guān)系模式不一定是 4NF 4NF的關(guān)系模式必定是 BCNF的關(guān)系模式 4NF是 BCNF的推廣 44 第四范式（ 4NF）的分解 （ 1）令 ρ={R}。 接合規(guī)則：從 MVD導(dǎo)出 FD：如果 X→→ Y， ZY，且存在 WU有W∩Y=248。 （ 4）分解結(jié)果為： S1(SNo， SN)描述學(xué)生實(shí)體； S2(SNo， CNo，Score)描述學(xué)生與課程的聯(lián)系。 ? p p 無部分函數(shù)依賴和傳遞函數(shù)依賴，SNC∈ 3NF 37 BCNF規(guī)范化 算法 把一個關(guān)系模式分解為 BCNF （ 1）令 ρ={R}。 [例 417] 將 SD(SNo， SN， Age， Dept， MN)規(guī)范到 3NF。 （ 3）對于 Fmin中的每一個函數(shù)依賴 X→ A，都單獨(dú)構(gòu)成一個關(guān)系子模式 XA。 學(xué)生 SD(SNo,SN,Age,Dept,MN ) 學(xué)生與課程聯(lián)系 SC( SNo,CNo,Score) SCD 非主屬性對主鍵完全函數(shù)依賴。 1NF是關(guān)系模式應(yīng)具備的最起碼的條件。 對 F中所有的函數(shù)依賴，反復(fù)地執(zhí)行上述的修改操作，一直到表格不能再修改為止（這個過程稱為 “ 追蹤 ” 過程）。 21 關(guān)系模式的分解 * 模式分解問題 定義 設(shè)有關(guān)系模式 R(U)， R=R1∪ R2∪ … ∪ Rk， ρ={R1，R2， … ， Rk}。函數(shù)依賴中無關(guān)屬性： （ 1）如果 A∈ X，且 F邏輯蘊(yùn)涵 (F{X→ Y}) ∪ {(XA) → Y}，則稱屬性 A是 X→ Y左部的無關(guān)屬性。 （ 5）停止，輸出結(jié)果。 快速求解候
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1