【正文】 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關系多了 3個元組 無法知道 9500 9500 95005 究竟是哪個系的學生 元組增加了，信息丟失了 第三種分解方法 3. 將 SL分解為下面二個關系模式： ND(Sno, Sdept) NL(Sno, Sloc) 分解后的關系為： 模式的分解（續(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關系一樣，因此沒有丟失信息 具有無損連接性的模式分解 ? 關系模式 RU,F的一個分解 ρ={ R1U1,F1，R2U2,F2， … ， RnUn,Fn} 若 R與 R R … 、 Rn自然連接的結(jié)果相等，則稱關系 模式 R的這個分解 ρ具有無損連接性（ Lossless join） ? 具有無損連接性的分解保證不丟失信息 ? 無損連接性不一定能解決插入異常、刪除異常、修改復雜、數(shù)據(jù)冗余等問題 模式的分解（續(xù)） 第三種分解方法具有無損連接性 問題 : 這種分解方法沒有保持原關系中的函數(shù)依賴 SL中的函數(shù)依賴 Sdept→ Sloc 沒有投影到關系模式 ND、 NL上 保持函數(shù)依賴的模式分解 設關系模式 RU,F被分解為若干個關系模式 R1U1,F1， R2U2,F2， … ， RnUn,Fn （其中 U=U1∪ U2∪ … ∪ Un，且不存在 Ui ? Uj， Fi為 F在 Ui上的投影），若 F所邏輯蘊含的函數(shù)依賴一定也由分解得到的某個關系模式中的函數(shù)依賴 Fi所邏輯蘊含，則稱關系模式 R的這個分解是保持函數(shù)依賴的（ Preserve dependency）。 第四種分解方法 將 SL分解為下面二個關系模式： ND(Sno, Sdept) DL(Sdept, Sloc) 這種分解方法就保持了函數(shù)依賴。 模式的分解（歸納） ? 如果一個分解具有無損連接性，則它能夠保證不丟失信息。 ? 如果一個分解保持了函數(shù)依賴，則它可以減輕或解決各種異常情況。 ? 分解具有無損連接性和分解保持函數(shù)依賴是兩個互相獨立的標準。具有無損連接性的分解不一定能夠保持函數(shù)依賴。同樣，保持函數(shù)依賴的分解也不一定具有無損連接性。 歸納 第一種分解方法既不具有無損連接性，也未保持函數(shù)依 賴，它不是原關系模式的一個等價分解 第二種分解方法保持了函數(shù)依賴，但不具有無損連接性 第三種分解方法具有無損連接性，但未持函數(shù)依賴 第四種分解方法既具有無損連接性，又保持了函數(shù)依賴 小結(jié) ? 規(guī)范化理論為數(shù)據(jù)庫設計提供了理論的指南和工具 ? 也僅僅是指南和工具 ? 并不是規(guī)范化程度越高 ， 模式就越好 ? 必須結(jié)合應用環(huán)境和現(xiàn)實世界的具體情況合理地選擇數(shù)據(jù)庫模式 小 結(jié)（一） ? 本章討論如何設計關系模式問題。關系模式設計得好與壞，直接影響到數(shù)據(jù)冗余度、數(shù)據(jù)一致性等問題。要設計好的數(shù)據(jù)庫模式，必須有一定的理論為基礎。這就是模式規(guī)范化理論。 ? 在數(shù)據(jù)庫中，數(shù)據(jù)冗余是指同一個數(shù)據(jù)存儲了多次，由數(shù)據(jù)冗余將會引起各種操作異常。通過把模式分解成若干比較小的關系模式可以消除冗余。 小 結(jié)（二） ? 函數(shù)依賴 X→ Y是數(shù)據(jù)之間最基本的一種聯(lián)系，在關系中有兩個元組，如果 X值相等那么要求 Y值也相等。 FD有一個完備的推理規(guī)則集。 ? 關系模式在分解時應保持 “ 等價 ” ，有數(shù)據(jù)等價和語義等價兩種，分別用無損分解和保持依賴兩個特征來衡量。前者能保持泛關系在投影聯(lián)接以后仍能恢復回來，而后者能保證數(shù)據(jù)在投影或聯(lián)接中其語義不會發(fā)生變化，也就是不會違反 FD的語義。但無損分解與保持依賴兩者之間沒有必然的聯(lián)系。 小 結(jié)（三） ? 范式是衡量模式優(yōu)劣的標準，范式表達了模式中數(shù)據(jù)依賴之間應滿足的聯(lián)系。范式的級別高，使其數(shù)據(jù)冗余和操作異?，F(xiàn)象就越少。 ? 分解成 BCNF模式集的算法能保持無損分解，但不一定能保持 FD集。而分解成 3NF模式集的算法既能保持無損分解，又能保持 FD集。 ? 關系模式的規(guī)范化過程實際上是一個 “ 分解 ” 過程：把邏輯上獨立的信息放在獨立的關系模式中。分解是解決數(shù)據(jù)冗余的主要方法，也是規(guī)范化的一條原則： “ 關系模式有冗余問題就分解它 ” 。 本章的重點篇幅 （ 1） 教材中 P148的例 。 （ 無損聯(lián)接和保持 FD的例子 ） （ 2）教材中 P149的例 和 P150的例 。 （分解成 2NF和 3NF的例子） 下課了。 休息一會兒。