第09章關(guān)系數(shù)據(jù)理論(存儲(chǔ)版)
【正文】 余，如果多余則可以去除之，最后的結(jié)果為： {A → B,B → C,C→ A} 65 注意：算法 3兩步是不可以顛倒的。如第 6章介紹的觸發(fā)器。 ?從定義可以看出， 4NF限定了在關(guān)系模式的屬性間不允許有非平凡、且非函數(shù)依賴的多值依賴。 為了達(dá)到 BCNF就必須進(jìn)行分解，但是任何分解都會(huì)破壞函數(shù)依賴 AB→ C。 109 定義 設(shè) Γ(X→ Y,F)={V→ W|V→ W∈ F, V→ W 參與推導(dǎo) X→ Y }， Δ(X,F)={V→ W| V→ W∈ F, V→ X ∈ F+, X→ V ∈ F+}， 則當(dāng) Γ(X→ Y,F)∩Δ(X,F)=Φ，Y∈ XF+ 時(shí)，稱 X直接決定 Y， 記為 。關(guān)系的規(guī)范化過(guò)程是模式分解的過(guò)程，模式分解需要遵守保持函數(shù)依賴和無(wú)損連接的原則。 3NF保持函數(shù)依賴和無(wú)損連接的分解算法 103 3NF無(wú)損連接和保持函數(shù)依賴算法舉例 104 使分解后的關(guān)系模式數(shù)最少 105 算法 ： ?3NF分解； ?保持函數(shù)依賴分解； ?無(wú)損連接分解； 一般為了操作方便，我們還希望： 分解的關(guān)系模式數(shù)最少 106 設(shè)有函數(shù)依賴集合： F={A→ B， A→ C， B→ A，B→ C， AE→ D， BD→ G， D→ E} 利用算法 ： F’={A→ B， B→ A， B→ C， AE→ D， BD→ G，D→ E} 按照算法 ： τ={R1({A， B， C}， {B→ AC， A→ B})， R2({A， E， D}， {AE→ D， D→ E})， R3({B， D， G}， {BD→ G})} 107 還是剛才那個(gè)依賴集： F={A→ B， A→ C，B→ A， B→ C， AE→ D， BD→ G， D→ E} 利用算法 ： F’={A→ B， B→ A， B→ C， AE→ D， BD→ G， D→ E} 注意： (AE)F’+={A,B,C,D,E,G} 所以 AE → BD和 AE → G?F’+ 設(shè) F”=F’∪ {AE→BD ， AE→G} 顯然有 F’與 F”等價(jià) 。 看如下的三個(gè)分解是否滿足無(wú)損連接和保持函數(shù)依賴的特性： ρ 1={R1(emp,Φ),R2(wh, Φ),R3(city, Φ)} ρ 2={R1({emp,wh},{emp→wh }), R2({emp,city},{ emp→city })} ρ 3= {R1({emp,wh},{emp→wh }), R2({wh,city},{ wh→city })} 96 為了得到更高范式的關(guān)系進(jìn)行的模式分解，是否總能既保證無(wú)損連接、又保持函數(shù)依賴？ 如果要求分解保持函數(shù)依賴 ， 那么模式分解總可以達(dá)到 3NF， 但是不一定能達(dá)到 BCNF； 如果要求分解具有無(wú)損連接的特性 ， 那么一定可以達(dá)到 BCNF； 如果要求分解既保持函數(shù)依賴 、 又具有無(wú)損連接的特性 ， 那么分解可以達(dá)到 3NF， 但是不一定能達(dá)到 BCNF。 87 函數(shù)依賴可以看作是多值依賴的特例。 75 倉(cāng)庫(kù) A關(guān)系實(shí)例 倉(cāng)庫(kù)號(hào) 所在省 倉(cāng)庫(kù)面積 所在城市W H 2 1 湖北 675 武漢W H 2 2 河北 250 邯鄲W H 2 3 湖北 280 武漢W H 2 4 廣東 200 廣州W H 2 5 湖北 270 武漢W H 2 6 廣東 550 廣州數(shù)據(jù)冗余 插入異常 更新異常 刪除異常 76 為了解決操作異常分解后的關(guān)系： 倉(cāng)庫(kù) B(倉(cāng)庫(kù)號(hào) ,倉(cāng)庫(kù)面積 ,所在城市 ) 城市 (省 ,城市 ) 77 BC范式 78 關(guān)系模式實(shí)例： 管理 (倉(cāng)庫(kù)號(hào)，設(shè)備號(hào)，職工號(hào) ) 它所包含的語(yǔ)義是： ① 一個(gè)倉(cāng)庫(kù)可以有多個(gè)職工； ② 一名職工僅在一個(gè)倉(cāng)庫(kù)工作； ③ 在每個(gè)倉(cāng)庫(kù)一種設(shè)備僅由一名職工保管 （ 但每名職工可以保管多種設(shè)備 ） 。 ?? GXA必要性證明 充分性證明 63 計(jì)算最小覆蓋的算法 算法 給定函數(shù)依賴集 F， 求其最小覆蓋的過(guò)程如下： ? 逐一檢查 F 中各函數(shù)依賴 X→ Y， 若 Y=A1… Ak， k=2，則用 {X→ Aj | j=1,… ,k}來(lái)取代它（分解規(guī)則）； ? 逐一取出 F中各函數(shù)依賴 X→ A， 若 X=B1B2… Bm， m=2，則逐一考查 Bj（ j=1,…, m）， 如果 ，則 F與 F{X→ A} ∪ {(XBj)→ A}等價(jià)（引理 ），故以 XBj取代 X； ? 逐一檢查 F中各函數(shù)依賴 X→ A， 令 G=F{X→ A}， 根據(jù)引理 ，如果 ，則 F與 G等價(jià)，故從 F中去掉X→ A。 為了證明公理的完備性，找到了如下具體的關(guān)系 r： 如果能夠證明以下兩點(diǎn)，則公理的完備性問(wèn)題就證明了： ⑴在關(guān)系 r中， F + 中的所有函數(shù)依賴都成立； ⑵在關(guān)系 r中，不能根據(jù) F用 Amstrong公理推導(dǎo)出的函數(shù)依賴 X→ Y不成立。 比如有關(guān)系模式 R(U,F)， U={A,B,C}，F(xiàn)={A→B,B → C} ， 問(wèn) A → C 是否也成立？ 35 邏輯蘊(yùn)涵 定義 ：設(shè)有關(guān)系模式 R(U,F)，X?U、 Y ? U， 如果從 F中的函數(shù)依賴能夠推導(dǎo)出 X→ Y， 則稱 F邏輯蘊(yùn)涵 X→ Y，或稱 X→ Y是 F的邏輯蘊(yùn)涵。 27 證明傳遞律 ： 設(shè) X→ Y、 Y→ Z， r、 t、 s的含義同上 如果 t[X]=s[X]， 由于 X→ Y， 根據(jù)定義 t[Y]=s[Y] 同理由于 Y→ Z， 可得
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1