函數(shù)依賴新ppt課件-資料下載頁
2024-11-03 17:54本頁面
【正文】 則稱 Z傳遞依賴于 X， 記為 X Z。 ??t?傳遞依賴 23 三、函數(shù)依賴的邏輯蘊涵 24 邏輯蘊涵 設(shè) F是關(guān)系模式 R的函數(shù)依賴集合 ， X、 Y是屬性集 U={A1,A2,… ,An}的子集 ， 如果從 F中的函數(shù)依賴能夠推導(dǎo)出 X?Y， 則稱 F邏輯蘊涵 X?Y， 或稱 X?Y是 F的邏輯蘊涵 。 記為 F|=X?Y 25 所有被 F邏輯蘊涵的函數(shù)依賴組成的依賴集稱為 F的閉包 ， 記為 F＋ 。 F＋ ={X?Y|F|=X?Y} ① F＋ 中的元素是函數(shù)依賴； ② 一個 FD能夠成為 F＋ 中的元素的條件是：能夠從 F中推導(dǎo)出該 FD； ③ 一般地有 F?F＋ 。 函數(shù)依賴集的閉包 26 設(shè)有關(guān)系模式 R(A1,A2,… ,An) 和屬性集U={A1,A2,… ,An}的子集 X， F是 R的函數(shù)依賴集 。如果： ① X→ ∪ 屬于 F＋ ； ② 不存在 X的真子集 X’， 使 X’→ ∪ ∈F ＋ 。 則稱 X是 R的一個候選鍵 。 四、候選鍵的形式化定義 ? 主屬性 ：包含在任何一個候選鍵中的屬性 。 ? 非主屬性或非鍵屬性 ：不屬于任何鍵中的屬性 。 ? 全鍵 ：由全部屬性組成主鍵 。 27 函數(shù)依賴 非平凡 FD 平凡 FD 完全 FD 部分 FD 傳遞 FD F?=X→Y F+ 小 結(jié) 侯選鍵 X→Y 在 R中是否成立 能從 F導(dǎo)出的所有 X→Y
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1