第09章關系數(shù)據(jù)理論-文庫吧在線文庫
【正文】 t[Z]=s[Z] 即由 t[X]=s[X]推導出了 t[Z]=s[Z] 根據(jù)定義 X→ Z成立 ， 傳遞律得證 。 19 模式分解 解決各種操作異?，F(xiàn)象的方法就是進行模式分解，即把一個關系模式分解成兩個或多個關系模式，在分解的過程中消除那些 “ 不良 ” 的函數(shù)依賴，從而獲得好的關系模式。 術語和符號 (4) 如 U={倉庫號 ,城市 ,面積 } F={倉庫號 → 城市 ,倉庫號 → 面積 } 則 R(U,F)表示倉庫關系 12 術語和符號 (5) 如果 K是關系模式 R(U,F)的任一候選關鍵字， X是任一屬性或?qū)傩约?，如?X?K， 則 X稱為主屬性；否則稱為非主屬性。1 第 9章 關系數(shù)據(jù)理論 基本概念 函數(shù)依賴的公理系統(tǒng) 規(guī)范化 模式分解 2 基本概念 函數(shù)依賴 術語和符號 為什么要討論函數(shù)依賴？ 模式分解 3 函數(shù)依賴 Y=f(X) 函數(shù) Y=sin(X) Y=X+1 Y=X2+2X+1 省 =f(城市 ) 姓名 =f(學號 ) 4 函數(shù)依賴的直觀定義： 如果有一個關系模式 R(A1,A2,…,A n)， X和 Y為 {A1,A2,…,A n}的子集，那么對于關系 R中的任意一個 X值，都只有一個 Y值與之對應，則稱 X函數(shù)決定 Y， 或 Y函數(shù)依賴于 X， 并用 X→Y 表示。 如 學號 → 所在系 ，則 學號 稱作決定因素 11 用 U表示關系模式 R的屬性全集，即 U={A1,A2,…, An}， 用 F表示關系模式 R上的函數(shù)依賴集，則關系模式 R可表示為 R(U,F)。如何改造這個關系模式？克服以上種種問題，就是我們這一章要解決的根本問題，也是我們要討論函數(shù)依賴的根本原因。 26 證明增廣律 ： 設 X→ Y， 且 Z?U， r、 t、 s的含義同上 如果 t[XZ]=s[XZ]， 則一定有 t[X]=s[X]和 t[Z]=s[Z] 又根據(jù) X→ Y可有 t[Y]=s[Y] 由 t[Y]=s[Y]和 t[Z]=s[Z]可得 t[YZ]=s[YZ] 即由 t[XZ]=s[XZ]推導出了 t[YZ]=s[YZ] 由定義 XZ→ YZ成立 ， 增廣律得證 。 根據(jù)合并規(guī)則和分解規(guī)則可以得出如下重要結論： 34 邏輯蘊涵和閉包 有時需要根據(jù)給定的一組函數(shù)依賴來判斷另外一些函數(shù)依賴是否成立，這就是函數(shù)依賴邏輯蘊涵所要研究的內(nèi)容。 45 定理 ： Amstrong公理是完備的。 59 引理 60 引理 61 引理 性證明 62 引理 設 X→ A是 F 中任意函數(shù)依賴， G=F {X→ A}，F(xiàn) 與 G 等 價的充分必要條件是 。 72 庫存 A關系實例： 倉庫號 設備號 數(shù)量 地點WH1 D4 675 北京WH1 D7 250 北京WH2 D2 280 上海WH2 D4 200 上海WH2 D9 270 上海WH3 D2 550 廣州WH3 D4 230 廣州WH4 D5 550 北京數(shù)據(jù)冗余 插入異常 更新異常 刪除異常 73 為了解決操作異常分解后的關系： 庫存 B(倉庫號 ,設備號 ,數(shù)量 ) 倉庫 B(倉庫號 ,地點 ) 74 第三范式 定義 如果 R(U,F) ∈ 2NF， 并且所有非主屬性都不傳遞依賴于關鍵字，則R(U,F) ∈ 3NF。 86 在下表所示的關系上： 給定一個倉庫號值 ， 有一組職工號與其對應，而這組職工號值與設備號值沒有任何依賴關系，所以 倉庫號 →→ 職工號 ； 同樣 倉庫號 →→ 設備號 ； 多值依賴具有對稱的性質(zhì)，即如果 X→→ Y， 并且Z=UXY， 則 X→→ Z也成立。 ?kiiFF1)(??? ?95 設有關系模式 R（ U， F）， U={emp， wh， city}，F(xiàn)={emp→ wh， wh→ city}， 其中 emp是職工號， wh是倉庫號， city是倉庫所在城市；從 F中可以看出，一名職工只能在一個倉庫工作，一個倉庫只能位于一個城市。 100 判斷一個分解是否具有無損連接特性可以用如下法則：關系模式 R分解為 R1和R2是無損連接分解的充分必要條件是： R1 ∩ R2 → R1 R2 或 R1 ∩ R2 → R2 – R1 101 3NF無損連接和保持函數(shù)依賴算法 102 對 R（ U， F） 中的 F進行最小化處理 ， 即計算 F的最小覆蓋 ，并將最小等價依賴集仍然記為 F； 若有 X→ A， 并且 X∪ A=U， 則 ρ ={R}， 算法終止 ； 找出不在 F中出現(xiàn)的屬性 （ 即與 F中任意函數(shù)依賴的左部和右部都無關的屬性 ） ， 把這樣的屬性構成一個關系模式R0（ U0， Φ） ， 并把 U0從 U中去掉 ， 剩余的屬性仍然記為 U； 對 F按具有相同左部的原則進行分組 （ 假定分為 k組 ） ， 每一組函數(shù)依賴 Fi所涉及的全部屬性形成屬性集 Ui， 若 Ui?Uj（ ij） ， 就去掉 Ui ； 經(jīng)過以上步驟得到的分解 ρ ={R0， R1， … ， Rk}（ R0可能為空 ， 1… k可能不連續(xù) ） 構成 R的一個保持函數(shù)依賴的分解 ，并且每個 Ri均為 3NF； 設 X是 R（ U， F） 的關鍵字 ， 并令 τ =ρ ∪R X（ X， FX） ； 若對某個 Ui ， 如果 X?Ui ， 則將 RX 從 τ 中去掉 ， 或 Ui?X，則將 Ri從 τ 中去掉； 最后 τ 就是所求分解
教學課件相關推薦
鄂ICP備17016276號-1