第四章關(guān)系數(shù)據(jù)庫設(shè)計理論-資料下載頁
2025-08-01 13:34本頁面
【正文】 4NF的關(guān)系已很完美。 48 第四章 關(guān)系數(shù)據(jù)庫設(shè)計理論 數(shù)據(jù)依賴 范式 關(guān)系模式的規(guī)范化 49 關(guān)系模式的規(guī)范化 一個關(guān)系的每一個分量是不可再分的數(shù)據(jù)項，是規(guī)范化關(guān)系的最基本的條件，規(guī)范化程度可以有 6個不同的級別（ 6個范式）。 一個低一級范式的關(guān)系模式，通過模式分解可以轉(zhuǎn)換為若干個高一級范式的關(guān)系模式集合，這個過程就叫做 關(guān)系模式的規(guī)范化。 50 關(guān)系模式的規(guī)范化 1NF 消除非主屬性對碼的部分函數(shù)依賴 2NF 消除非主屬性對碼的傳遞函數(shù)依賴 3NF 消除主屬性對碼的部分和傳遞函數(shù)依賴 BCNF 消除非平凡且非函數(shù)依賴的多值依賴 4NF 51 關(guān)系模式的規(guī)范化 關(guān)系模式的規(guī)范化過程是通過對關(guān)系模式的分解來實現(xiàn)的，但是把低一級的關(guān)系模式分解為若干個高一級的關(guān)系模式的方法不是唯一的，在這些分解方法中，只有能夠保證分解后關(guān)系模式與原關(guān)系模式等價的方法才是有意義的。 52 關(guān)系模式的規(guī)范化 例： SL(Sno,Sdept,Sloc)，其中 Sno是學(xué)號，Sdept是學(xué)生所在系， Sloc是學(xué)生住處，每個系的學(xué)生住在同一個地方。 F={Sno→Sdept, Sno→Sloc, Sdept→Sloc } ∵ 存在傳遞函數(shù)依賴， ∴ SL∈ 2NF。 53 關(guān)系模式的規(guī)范化 第一種分解： SN(Sno)， SC(Sdept)， SO(Sloc) 分解后都是規(guī)范化程度很高 的關(guān)系模式，但分解后丟失了 許多信息。 此種分解方法不可取。要使 分解有意義，起碼的要求是后 者不能丟失前者的信息。如果 分解后的關(guān)系可以通過自然連接恢復(fù)為原來的關(guān)系，則這種分解就沒有丟失信息。 Sno Sdept Sloc 98001 98002 98003 98004 98005 CS IS MA IS PH A B C B B SL 54 關(guān)系模式的規(guī)范化 第二種分解： NL(Sno, Sloc)， DL(Sdept, Sloc) Sno Sloc Sdept 98001 98002 98002 98003 98004 98004 98005 98005 A B B C B B B B CS IS PH MA IS PH IS PH Sno Sloc 98001 98002 98003 98004 98005 A B C B B Sdept Sloc CS IS MA IS PH A B C B B NL DL NL?DL ? 連接后多了三個元組，將無法知道原來關(guān)系中究竟有哪些元組，從這個意義上講，這個分解仍然丟失了信息。 55 關(guān)系模式的規(guī)范化 第三種分解： ND(Sno, Sdept)， NL(Sno, Sloc) Sno Sdept 98001 98002 98003 98004 98005 CS IS MA IS PH Sno Sloc 98001 98002 98003 98004 98005 A B C B B Sno Sdept Sloc 98001 98002 98003 98004 98005 CS IS MA IS PH A B C B B ND NL ? ND?NL 沒有丟失信息，恢復(fù)為原來的關(guān)系，這種分解稱為 : “無損連接分解”。 56 關(guān)系模式的規(guī)范化 定義 設(shè)關(guān)系模式 R(U,F)被分解為若干個關(guān)系模式 R1(U1,F1)， R2(U2,F2)， … ， Rn(Un,Fn) (其中 U=U1 ? U2 ? … ? Un ,且不存在 Ui? Uj ,Fi為 F在 Ui上的投影 )，若 R與 R1 ， … ， Rn自然連接的結(jié)果相等，則稱 R的這個分解 具有無損連接性 。 只有具有無損連接性的分解才能保證不丟失 信息 57 關(guān)系模式的規(guī)范化 第三種分解雖然具有無損連接性，保證了不丟失原關(guān)系中的信息，但它并沒有解決各種異?，F(xiàn)象。 如： 98001轉(zhuǎn)系，則兩個關(guān)系中相應(yīng)的元組必須同時修改。 因為這種分解沒有保證原關(guān)系中的函數(shù)依賴，SL中的 Sdept→Sloc 即沒有投影到 ND上，也沒有投影到 NL上，而是跨在兩個關(guān)系上。 58 關(guān)系模式的規(guī)范化 定義 設(shè)關(guān)系模式 R(U,F)被分解為若干個關(guān)系模式 R1(U1,F1)， R2(U2,F2)， … ， Rn(Un,Fn) (其中 U=U1 ? U2 ? … ? Un ,且不存在 Ui? Uj ,Fi為 F在 Ui上的投影 )，若 F所邏輯蘊(yùn)涵的函數(shù)依賴一定也由分解得到的某個關(guān)系模式中的函數(shù)依賴 Fi所邏輯蘊(yùn)涵，則稱關(guān)系模式 R的這個分解是 保持函數(shù)依賴 的。 59 關(guān)系模式的規(guī)范化 第四種分解： ND(Sno, Sdept)， DL(Sdept, Sloc) 這種分解保持了函數(shù)依賴。 判斷對關(guān)系模式的一個分解是否與原關(guān)系模式等價，可有三種不同的標(biāo)準(zhǔn)： ?分解具有無損連接性； ?分解要保持函數(shù)依賴； ?分解即要保持函數(shù)依賴，又要具有無損連接性。 60 關(guān)系模式的規(guī)范化 分解具有無損連接性和分解保持函數(shù)依賴是兩個互相獨立的標(biāo)準(zhǔn)。 如果一個分解具有無損連接性，則它能保證不丟失信息。 如果一個分解保持了函數(shù)依賴，則它可以減輕或解決各種異常情況。 最后應(yīng)當(dāng)注意的是，規(guī)范化理論為數(shù)據(jù)庫設(shè)計提供了理論的指南和工具，但僅僅是指南和工具。并不是規(guī)范化程度越高，模式就越好，實際應(yīng)用中還必須結(jié)合應(yīng)用環(huán)境和具體情況，合理地選擇數(shù)據(jù)庫模式。 61 ? 第四章結(jié)束 ?
語文相關(guān)推薦
鄂ICP備17016276號-1