【正文】 Sno Sloc Sdept Sloc ──────────── ──────────── 95001 A CS A 95002 B IS B 95003 C MA C 95004 B PH B 95005 B ──────────── ────────── 關(guān)系模式的分解（續(xù)） 對(duì) NL和 DL關(guān)系進(jìn)行自然連接的結(jié)果為： NL DL ──────────────── Sno Sloc Sdept ────────────────── 95001 A CS 95002 B IS 95002 B PH 95003 C MA 95004 A IS 95005 B IS 95005 B PH ────────────────── 關(guān)系模式的分解（續(xù)） NL DL比原來(lái)的 SL關(guān)系多了兩個(gè)元組(95002, B, PH)和 (95005, B, IS)。因此我們也無(wú)法知道原來(lái)的 SL關(guān)系中究竟有哪些元組，從這個(gè)意義上說(shuō)，此分解方法仍然丟失了信息。 關(guān)系模式的分解（續(xù)） –第三種分解方法 將 SL分解為下面二個(gè)關(guān)系模式： ND(Sno, Sdept) NL(Sno, Sloc) 分解后的關(guān)系為： 關(guān)系模式的分解（續(xù)） ND ──────────── NL ────────── Sno Sdept Sno Sloc ──────────── ────────── 95001 CS 95001 A 95002 IS 95002 B 95003 MA 95003 C 95004 IS 95004 B 95005 PH 95005 B ──────────── ─────────── 關(guān)系模式的分解（續(xù)） 對(duì) ND和 NL關(guān)系進(jìn)行自然連接的結(jié)果為： ND NL ─────────────── Sno Sdept Sloc ──────────────── 95001 CS A 95002 IS B 95003 MA C 95004 CS A 95005 PH B ──────────────── 它與 SL關(guān)系完全一樣，因此第三種分解方法沒(méi)有丟失信息。 關(guān)系模式的分解（續(xù)） ? 具有無(wú)損連接性的模式分解 – 設(shè)關(guān)系模式 RU,F被分解為若干個(gè)關(guān)系模式R1U1,F1， R2U2,F2， … ， RnUn,Fn（其中 U=U1∪ U2∪ … ∪ Un，且不存在 Ui ? Uj， Fi為 F在 Ui上的投影），若 R與 R R … 、 Rn自然連接的結(jié)果相等，則稱(chēng)關(guān)系模式 R的這個(gè)分解具有無(wú)損連接性（ Lossless join）。 – 只有具有無(wú)損連接性的分解才能夠保證不丟失信息。 – 無(wú)損連接性不一定能解決插入異常、刪除異常、修改復(fù)雜、數(shù)據(jù)冗余等問(wèn)題 關(guān)系模式的分解（續(xù)） 例： 上面的第三種分解方法雖然具有無(wú)損連接性，保證了不丟失原關(guān)系中的信息，但它并沒(méi)有解決插入異常、刪除異常、修改復(fù)雜、數(shù)據(jù)冗余等問(wèn)題。 例如 95001學(xué)生由 CS系轉(zhuǎn)到 IS系， ND關(guān)系的 (95001, CS)元組和 NL關(guān)系的 (95001, A)元組必須同時(shí)進(jìn)行修改，否則會(huì)破壞數(shù)據(jù)庫(kù)的一致性。 之所以出現(xiàn)上述問(wèn)題，是因?yàn)榉纸獾玫降膬蓚€(gè)關(guān)系模式不是互相獨(dú)立的。 SL中的函數(shù)依賴(lài) Sdept→Sloc既沒(méi)有投影到關(guān)系模式 ND上，也沒(méi)有投影到關(guān)系模式 NL上，而是跨在這兩個(gè)關(guān)系模式上。也就是這種分解方法沒(méi)有保持原關(guān)系中的函數(shù)依賴(lài) 。 關(guān)系模式的分解（續(xù)） ?保持函數(shù)依賴(lài)的模式分解 – 設(shè)關(guān)系模式 RU,F被分解為若干個(gè)關(guān)系模式 R1U1,F1， R2U2,F2， … ， RnUn,Fn （其中 U=U1∪ U2∪ … ∪ Un，且不存在 Ui ? Uj， Fi為 F在 Ui上的投影），若 F所邏輯蘊(yùn)含的函數(shù)依賴(lài)一定也由分解得到的某個(gè)關(guān)系模式中的函數(shù)依賴(lài) Fi所邏輯蘊(yùn)含，則稱(chēng)關(guān)系模式 R的這個(gè)分解是保持函數(shù)依賴(lài)的（ Preserve dependency）。 關(guān)系模式的分解（續(xù)） 例：第四種分解方法 將 SL分解為下面二個(gè)關(guān)系模式： ND(Sno, Sdept) DL(Sdept, Sloc) 這種分解方法就保持了函數(shù)依賴(lài)。 關(guān)系模式的分解（續(xù)） ?判斷對(duì)關(guān)系模式的一個(gè)分解是否與原關(guān)系模式等價(jià)的標(biāo)準(zhǔn) ⒈ 分解具有無(wú)損連接性 ⒉ 分解要保持函數(shù)依賴(lài) ⒊ 分解既要保持函數(shù)依賴(lài)，又要具有無(wú)損連接性 關(guān)系模式的分解（續(xù)） – 如果一個(gè)分解具有無(wú)損連接性，則它能夠保證不丟失信息。 – 如果一個(gè)分解保持了函數(shù)依賴(lài)，則它可以減輕或解決各種異常情況。 – 分解具有無(wú)損連接性和分解保持函數(shù)依賴(lài)是兩個(gè)互相獨(dú)立的標(biāo)準(zhǔn)。具有無(wú)損連接性的分解不一定能夠保持函數(shù)依賴(lài)。同樣，保持函數(shù)依賴(lài)的分解也不一定具有無(wú)損連接性。 關(guān)系模式的分解（續(xù)） 例：上例中 第一種分解方法既不具有無(wú)損連接性，也未保持函數(shù)依賴(lài)，它不是原關(guān)系模式的一個(gè)等價(jià)分解。 第二種分解方法保持了函數(shù)依賴(lài)，但不具有無(wú)損連接性。 第三種分解方法具有無(wú)損連接性，但未持函數(shù)依賴(lài)。 第四種分解方法既具有無(wú)損連接性，又保持了函數(shù)依賴(lài)。 關(guān)系模式的分解（續(xù)） ?規(guī)范化理論提供了一套完整的模式分解算法，按照這套算法可以做到： – 若要求分解具有無(wú)損連接性，那么模式分解一定能夠達(dá)到 4NF。 – 若要求分解保持函數(shù)依賴(lài)，那么模式分解一定能夠達(dá)到 3NF，但不一定能夠達(dá)到 BCNF。 – 若要求分解既具有無(wú)損連接性，又保持函數(shù)依賴(lài)，則模式分解一定能夠達(dá)到 3NF，但不一定能夠達(dá)到 BCNF。 小結(jié) ?函數(shù)依賴(lài) ?多值依賴(lài) ?關(guān)系模式規(guī)范化的基本步驟 ? Armstrong公理系統(tǒng) 小結(jié) ?一、函數(shù)依賴(lài) – 函數(shù)依賴(lài) – 平凡函數(shù)依賴(lài)與非平凡函數(shù)依賴(lài) – 完全函數(shù)依賴(lài)與部分函數(shù)依賴(lài) – 傳遞函數(shù)依賴(lài) – 碼 小結(jié) ?二、多值依賴(lài) – 多值依賴(lài) – 平凡多值依賴(lài)和非平凡的多值依賴(lài) – 多值依賴(lài)的性質(zhì) ? 對(duì)稱(chēng)性 ? 傳遞性 小結(jié) ?三、關(guān)系模式規(guī)范化的基本步驟 1NF ↓ 消除非主屬性對(duì)碼的部分函數(shù)依賴(lài) 消除決定屬性 2NF 集非碼的非平 ↓ 消除非主屬性對(duì)碼的傳遞函數(shù)依賴(lài) 凡函數(shù)依賴(lài) 3NF ↓ 消除主屬性對(duì)碼的部分和傳遞函數(shù)依 賴(lài) BCNF ↓ 消除非平凡且非函數(shù)依賴(lài)的多值依賴(lài) 4NF 小結(jié) (續(xù) ) ?規(guī)范化理論為數(shù)據(jù)庫(kù)設(shè)計(jì)提供了理論的指南和工具 – 也僅僅是指南和工具 ?并不是規(guī)范化程度越高 ， 模式就越好 – 必須結(jié)合應(yīng)用環(huán)境和現(xiàn)實(shí)世界的具體情況合理地選擇數(shù)據(jù)庫(kù)模式