數據庫系統原理與應用(5)(編輯修改稿)
2025-01-04 09:45 本頁面
【文章內容簡介】 一般情況下 ， 有 F?F＋ 。 閉包及計算 屬性集閉包 設有關系模式 R(U,F)， X是 U={A1,A2,… ,An}的子集 ， 稱所有用公理從 F推出的函數依賴集 X→A i中 Ai的屬性集為 X的屬性閉包 ， 記為 XF+。 該定理把判定 X?Y是否能由 F根據 Armstrong公理導出的問題 ? 求出 X＋ ， 判定 Y是否為 X＋ 的子集的問題 。 閉包及計算 定理：設有關系模式 R(U ， F) ，U={A1,A2,… ,An}是 R的屬性集 ， F是 R的屬性集 U上的函數依賴集 ， X、 Y是 U的子集 ，則從 F導出 X?Y的充要條件是 Y?XF＋ 。 閉包及計算 算法 :求屬性集 X關于函數依賴集 F的閉包 XF＋ 輸入： 關系模式 R(U)屬性集 X和函數依賴集 F 輸出： X關于 F的閉包 XF＋ 。 計算方法： 按 下 面 步 驟 計 算 屬 性 集 序 列X(i)(i=0,1… ) 閉包及計算 （ 1） X(0)=X,i=0。 （ 2） 從 F中找出滿足條件 V?X(i)的所有函數依賴 V→W ， 并把所有的 V→W 中的屬性 W組成的集合記為 Z；也即從 F中找出那些其決定因素是 X(i)的子集的函數依賴 ， 并把由所有這樣的依賴的被決定因素組成的集合記為 Z。 （ 3） 若 Z?X(i)， 則轉 （ 5） 。 （ 4） 否則 ， X(i+1)=X(i)Z， 并轉 （ 2） 。 （ 5）停止計算，輸出 X(i)，即為 X+。 例 已知 R(U),U={A,B,C,D,E,G}， R上的 FD集 F={AB→C,C→A,BC→D,ACD→B ， D→EG,BE→C, CG→BD,CE→AG} ， X=BD， 求 X＋ ， BD→A 是否成立 ？ (1)X（ 0） =BD。 (2)X（ 1） =BDEG (3)X（ 2） =BCDEG (4)X（ 3） =ABCDEG X＋ =ABCDEG A∈BD ＋ ，故 BD→A 成立 Z=EG BD=X(0) ? 閉包及計算 設 F和 G是兩個函數依賴集 ， 如果 F＋ ＝ G＋ ， 則稱 F和 G等價 。 如果 F和 G等價 ， 則稱 F覆蓋 G，同時也稱 G覆蓋 F。 閉包及計算 函數依賴集的等價與覆蓋 范式和規(guī)范化 ? 什么叫范式 ? 第一范式（ 1NF） ? 第二范式（ 2NF） ? 第三范式（ 3NF） ? ＢＣ范式（ BCNF） 什么叫范式 ? 范式 (Normal Form)是符合某一種級別的關系模式的集合。 ? 關系數據庫中的關系必須滿足一定的要求。滿足不同程度要求的為不同范式。包括：第一范式、第二范式、第三范式，直至第五范式。 ? 一個較低范式的關系，可以通過關系的無損分解轉換為較高級范式，這個過程稱為關系 規(guī)范化 。 需要指出的是 , 并不是規(guī)范化程度越高的關系就越優(yōu) 。因為當系統過于頻繁地進行聯接運算 , 將付出響應時間上的代價 。 實際關系數據庫一般使用第三范式以上的關系 。 EFCodd在 1970年的里程碑文章中定義了第一范式、第二范式、和第三范式，后來 BCNF，第四范式，第五范式等相繼被定義出來。這些范式是嵌套的，范式間的關系如下圖： t e x tt e x tt e x t第 一 范 式第 二 范 式第 三 范 式B C N F第 五 范 式范 式 間 的 關 系 什么叫范式 若關系 R的每一個屬性值為單一的 , 則 R屬于第一階規(guī)范化形式 , 簡稱為 1NF。 商店編號 商店名稱 地址 電話 商品名稱 大類編號 大類名 價格 1001 華聯超市 淮海中路1200 號 64331269 蘋果、葡萄、菠蘿 0101 水果 2, 6 , 5 1002 浦東水產批發(fā)部 陸家咀 324號 56237742 凍蝦、魚圓 0202 水產 13, 8 1003 大潤發(fā) 汶水路 789號 33454341 蘋果 0101 水果 3 下面是一個不符合第一范式的關系： 第一范式（ 1NF） 解決方法 對于有子表的非規(guī)范關系，一般采用重復所在行的其它屬性的值，增加新的記錄，從而把子表中的值分開，將非規(guī)范關系轉換成規(guī)范關系。 第一范式（ 1NF） 如果這樣修改 , 則將符合第一范式： 商品供貨表 商品編號 → 商品名稱 商品編號 → 大類編號 商品編號 → 大類名稱 大類編號 → 大類名稱 該關系的所有函 數依賴式： 商店編號 → 商店名稱 商店編號 → 地址 商店編號 → 電話 {商店編號＋商品編號 }→ 價格 主關鍵字由二個屬性組成 主關鍵字 Ｘ {商店編號 ＋ 商品編號 } 主關鍵字 Ｘ 由屬性 X1和屬性 X2組成 X1
教學課件相關推薦
鄂ICP備17016276號-1