第09章關系數(shù)據(jù)理論-免費閱讀
【正文】 110 算法 設 F是無冗余和既約化的函數(shù)依賴集，求F的最小等價集的算法如下： F中的函數(shù)依賴按左部等價進行分組； ，若存在 X→ V， Y→ W并且 X直接決定 Y， 則把它們合并為 Y→ VW，直到任一組中都不存在如此依賴對為止。 那么 ， 當一個關系是 3NF時： ? 關鍵字是單屬性時 ， 該模式自然是 BCNF； ? 關鍵字是復合屬性 ， 并且不存在主屬性對非主屬性的函數(shù)依賴 ， 則該模式自然是 BCNF； ? 關鍵字是復合屬性 ， 并且至少存在一個主屬性對非主屬性的函數(shù)依賴 ， 則為了保持函數(shù)依賴 ，模式分解無法達到 BCNF。 90 規(guī)范化小結(jié) 91 模式分解 模式分解的準則 3NF無損連接和保持函數(shù)依賴算法 使分解后的關系模式數(shù)最少 92 模式分解的準則 ?模式分解具有無損連接性； ?模式分解能夠保持函數(shù)依賴。 示意數(shù)據(jù) 84 關鍵字是 (倉庫號 ,職工號 ,設備號 )，即 AllKey BCNF 是否還存在操作異?，F(xiàn)象？為什么？ 例如 ， 職工 E4新分配到 WH1倉庫工作 ， 這時必須插入如下 3個元組： WH1 E4 P1 WH1 E4 P2 WH1 E4 P3 同樣 ， 如果 P3不再存放在 WH1倉庫 ， 這時則要刪除多個元組： WH1 E1 P3 WH1 E2 P3 WH1 E4 P3 排列成關系 85 多值依賴的定義 定義 設有關系模式 R(U)， X、 Y、 Z是 U的子集 ， Z=UXY， 如果對于 X的一個給定值 ， 存在一組 Y值與其對應 ， 而 Y的這組值又不以任何方式與 Z的值相關 ， 則說 Y多值依賴于 X， 記為 X→→ Y。 69 第一范式 每個關系模式都應滿足最低要求：所有分量都必須是不可分的最小數(shù)據(jù)項，并把其稱為第一范式（ 1NF） 關系。 57 最小函數(shù)依賴集的定義 定義 如果函數(shù)依賴集 F 滿足如下條件 ， 則稱F 為一個最小函數(shù)依賴集 ， 也稱為極小函數(shù)依賴集或最小覆蓋： ① F 中任一函數(shù)依賴的右部都僅含有一個屬性； ② F中不存在這樣的函數(shù)依賴 X→ A， X有真子集 Z， 使得 F與 F{X→ A} ∪ {Z→ A}等價； ③ F中不存在這樣的函數(shù)依賴 X→ A， 使得 F與F{X→ A}等價 。也就是說，不能根據(jù) F用公理導出的函數(shù)依賴不屬于 F+ 。 32 證明偽傳遞規(guī)則： 設 X→ Y、 YW→ Z 根據(jù)增廣律有 XW→ YW 又根據(jù)傳遞律有 XW→ Z， 偽傳遞規(guī)則得證 。 24 定理 ： Amstrong公理是正確的。 如 學號 → 專業(yè) ， 專業(yè) → 所在系 ，則 所在系 傳遞函數(shù)依賴于 學號 。 如 學號 不函數(shù)依賴于 性別 ， 則記作 性別 學號 。 7 注意定義 ： t1[X]=t2[X] t1[Y]=t2[Y] 8 術語和符號 (1) 如果 X→Y ， 但 Y不包含于 X， 則稱 X→Y是非平凡的函數(shù)依賴。 13 術語和符號 (6) 如果 X→ Y， 并且 Y→ X， 則可記作 X←→ Y。 無損連接是指分解后的關系經(jīng)過自然連接可以恢復成原來的關系。 29 定理 ： Amstrong公理的三個推論是正確的。 37 閉包計算舉例 ??????????????????????????, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,X Y ZX Y ZX Y ZXZX Y ZXYX Y ZXYZX Y ZYZXZYZXYYZXXZX Y ZXZXZXZXYXZXXYX Y ZXYXZXYXYXYXYZYZYZYZX Y ZZXZZXYZXZYZZYYX Y ZYXZYXYYXZZYYZYYXX Y ZXXZXXYXXZYZYX Y ZXZXYX→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→Φ→Φ→Φ→Φ→Φ→Φ→Φ→ 假設有關系模式 R(U,F)， U={X,Y,Z}，F(xiàn)={X→ Y,Y→ Z}， 則 F+ 為： 38 屬性集閉包 39 計算屬性集閉包舉例 ?FX?FX?FX如果 X={A}， 則： ＝｛ A,B,C｝ 如果 X={B}， 則 ＝｛ B,C｝ 如果 X={C}， 則 ＝｛ C｝ 設有關系模式 R(U,F)， U={A,B,C}， F={A→ B,B→ C} 40 公理的完備性 建立一套公理系統(tǒng)必須明確兩個問題： 一是能否保證按公理推導出的函數(shù)依賴都是正確的 ， 即這些函數(shù)依賴是否都屬于 F+； 也就是說對于關系模式R(U,F)， 只要 F中的函數(shù)依賴為真 ， 則用公理根據(jù) F推導出的函數(shù)依賴也一定為真 ， 這就是公理的正確性； 另外一個問題是：用公理能否推導出所有的函數(shù)依賴 ？也就是說 F+中所有的函數(shù)依賴是否都能用公理推導出來 ？這是一個很重要的問題 ， 因為如果 F+中有函數(shù)依賴不能用公理推導出來 ， 那么就說明這些公理不夠用 、 不完全 ，就必須補充新的公理 ， 這就是公理的完備性問題 。 54 引理 F +=G +的充分必要條件是 F ?G +并且 G ? F +。 逐一檢查 F中的函數(shù)依賴是否多
教學課件相關推薦
鄂ICP備17016276號-1