關(guān)系數(shù)據(jù)庫的規(guī)范化設(shè)計(jì)(參考版)
2025-08-08 02:58本頁面
【正文】 。 （分解成 2NF和 3NF的例子） 下課了。 本章的重點(diǎn)篇幅 （ 1） 教材中 P148的例 。 ? 關(guān)系模式的規(guī)范化過程實(shí)際上是一個(gè) “ 分解 ” 過程：把邏輯上獨(dú)立的信息放在獨(dú)立的關(guān)系模式中。 ? 分解成 BCNF模式集的算法能保持無損分解，但不一定能保持 FD集。 小 結(jié)（三） ? 范式是衡量模式優(yōu)劣的標(biāo)準(zhǔn)，范式表達(dá)了模式中數(shù)據(jù)依賴之間應(yīng)滿足的聯(lián)系。前者能保持泛關(guān)系在投影聯(lián)接以后仍能恢復(fù)回來，而后者能保證數(shù)據(jù)在投影或聯(lián)接中其語義不會(huì)發(fā)生變化，也就是不會(huì)違反 FD的語義。 FD有一個(gè)完備的推理規(guī)則集。通過把模式分解成若干比較小的關(guān)系模式可以消除冗余。這就是模式規(guī)范化理論。關(guān)系模式設(shè)計(jì)得好與壞，直接影響到數(shù)據(jù)冗余度、數(shù)據(jù)一致性等問題。同樣，保持函數(shù)依賴的分解也不一定具有無損連接性。 ? 分解具有無損連接性和分解保持函數(shù)依賴是兩個(gè)互相獨(dú)立的標(biāo)準(zhǔn)。 模式的分解（歸納） ? 如果一個(gè)分解具有無損連接性，則它能夠保證不丟失信息。 如果分解后的關(guān)系可以通過自然連接恢復(fù)為原來的關(guān)系 ， 那么這種分解就沒有 丟失信息 模式的分解（續(xù)） 2. SL分解為下面二個(gè)關(guān)系模式： NL(Sno, Sloc) DL(Sdept, Sloc) 分解后的關(guān)系為： NL ──────────── DL ──────────── Sno Sloc Sdept Sloc ──────────── ──────────── 95001 A CS A 95002 B IS B 95003 C MA C 95004 B PH B 95005 B ──────────── ────────── 模式的分解（續(xù)） NL DL ───────────── Sno Sloc Sdept ───────────── 95001 A CS 95002 B IS 95002 B PH 95003 C MA 95004 B IS 95004 B PH 95005 B IS 95005 B PH 模式的分解（續(xù)） NL DL比原來的 SL關(guān)系多了 3個(gè)元組 無法知道 9500 9500 95005 究竟是哪個(gè)系的學(xué)生 元組增加了，信息丟失了 第三種分解方法 3. 將 SL分解為下面二個(gè)關(guān)系模式： ND(Sno, Sdept) NL(Sno, Sloc) 分解后的關(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 ──────────── ─────────── 模式的分解（續(xù)） ND NL ────────────── Sno Sdept Sloc ────────────── 95001 CS A 95002 IS B 95003 MA C 95004 CS A 95005 PH B ────────────── 與 SL關(guān)系一樣，因此沒有丟失信息 具有無損連接性的模式分解 ? 關(guān)系模式 RU,F的一個(gè)分解 ρ={ R1U1,F1，R2U2,F2， … ， RnUn,Fn} 若 R與 R R … 、 Rn自然連接的結(jié)果相等，則稱關(guān)系 模式 R的這個(gè)分解 ρ具有無損連接性（ Lossless join） ? 具有無損連接性的分解保證不丟失信息 ? 無損連接性不一定能解決插入異常、刪除異常、修改復(fù)雜、數(shù)據(jù)冗余等問題 模式的分解（續(xù)） 第三種分解方法具有無損連接性 問題 : 這種分解方法沒有保持原關(guān)系中的函數(shù)依賴 SL中的函數(shù)依賴 Sdept→ Sloc 沒有投影到關(guān)系模式 ND、 NL上 保持函數(shù)依賴的模式分解 設(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ù)依賴一定也由分解得到的某個(gè)關(guān)系模式中的函數(shù)依賴 Fi所邏輯蘊(yùn)含，則稱關(guān)系模式 R的這個(gè)分解是保持函數(shù)依賴的（ Preserve dependency）。 最小依賴集 [例 2] 對(duì)于 SU， F， 其中： U={ SNO， SDEPT， MN， CNAME， G }， F={ SNO→ SDEPT， SDEPT→ MN， （ SNO， CNAME） → G } 設(shè) F’={SNO→ SDEPT， SNO→ MN， SDEPT→ MN， (SNO， CNAME)→ G， (SNO， SDEPT)→ SDEPT} F是最小覆蓋，而 F ’不是。得 F=｛ A→ B， B→ C， AB→ C ｝ ③ F中 AB→ C可從 A→ B和 B→ C推出，因此 AB→ C也可刪去。 ① 先把 F中的 FD寫成右邊是單屬性形式： F=｛ A→ B， A→ C， B→ C， A→ B， AB→ C ｝ 顯然多了一個(gè) A→ B，可刪去。 (3) F中不存在這樣的函數(shù)依賴 X→ A， X有真 子集 Z使得 F{X→ A}∪ {Z→ A}與 F等價(jià) 。 (1) F中任一函數(shù)依賴的右部?jī)H含有一個(gè)屬性 。
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1