關(guān)系模式分解ppt課件-資料下載頁
2025-10-25 17:46本頁面
【正文】 bb… b bb… b ∈F + 判斷定理（續(xù) 3） 證：充分性 (R1∩R 2)→(R 1R2)或 (R1∩R 2)→(R 2R1)成立 R1∩ R2 R1R2 R2R1 R1 R2 aa… a aa… a aa… a aa… a bb… b ∈F + aa… a ρ具有無損聯(lián)接性 判斷定理（續(xù) 4） R1∩ R2 R1R2 R2R1 R1 aa… a aa… a bb… b R2 aa… a aa… a aa… a （ R1∩R2） → （ R1R2） 證：必要性 判斷定理（續(xù) 5） R1∩ R2 R1R2 R2R1 R1 aa… a aa… a aa… a R2 aa… a bb… b aa… a （ R1∩R2） → （ R2R1） 證：必要性 判斷定理（續(xù) 6） 分解 ρ 不具有無損聯(lián)接性 舉例： 例 設(shè)有關(guān)系模式 R(A,B,C)， 函數(shù)依賴集F={A→B ， C→B} ， 分解 ρ ={R1,R2}， 其中 R1=AB，R2=BC。 檢驗(yàn)分解 ρ 是否具有無損聯(lián)接性 。 三、保持函數(shù)依賴集 ?kiR FFi1|)(???定義 設(shè)有關(guān)系模式 R(U,F)， F是 R的函數(shù)依賴集 ，ρ ＝ {R1,R2,… ,Rk}是 R上的一個(gè)分解 。 如果所有函數(shù)依賴集 π Ri(F)（ i=1， 2， … ,k） 的并集邏輯蘊(yùn)含 F中的每一個(gè)函數(shù)依賴 ， 則稱分解 ρ 具有依賴保持性 ， 也即分解 ρ 保持依賴集 F。 即 對 F中每個(gè) X→Y, 計(jì)算 XG+ Y ? XG+? 保持依賴 Y 不保持依賴 N 令 G= ，驗(yàn)證 G?=F? ikRi= 1π (F )保持依賴的判斷方法 例 ： 設(shè)有關(guān)系模式 R(A,B,C,D,E,P)， R的函數(shù)依賴集 F={C→P,EC→D,E→A,A→B} 。 當(dāng)將 R分解成{R1(CP),R2(AE),R3(CDE),R4(BCE)}時(shí) ， 判斷該分解是否保持依賴性 ？ π R1(F)={C→P} π R2(F)={E→A} π R3(F)={EC→D} π R4(F)={E→B} 無法導(dǎo)出 A→B 該分解不保持依賴性 舉例： 小 結(jié) 數(shù)據(jù)等價(jià) 依賴等價(jià) 兩個(gè)數(shù)據(jù)庫模式的等價(jià)性問題 無損聯(lián)接 保持 FD 關(guān)系模式分解的兩個(gè)特性的含義 、 判斷方法 ρ R(U,F) = {R1(U1,F1),R2(U2,F2),…,R k(Uk,Fk)} 注意
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1