[電腦基礎(chǔ)知識]五關(guān)系數(shù)據(jù)庫理論-資料下載頁
2025-01-19 15:27本頁面
【正文】 性對碼的不良依賴 33 BCNF （ Ⅲ ） ? 定義 ? 關(guān)系模式 R( U , F )?1NF，對于屬性組 X， Y，若 X?Y且 Y ? X時 X必含有碼，則 R(U , F)?BCNF 如 STC ? BCNF，因為 TNO? CNO，而 TNO不含有碼 ? BCNF要求決定因素必須包含碼，即消除了任何屬性對碼的傳遞和部分依賴 ? 若 R(U,F) ? 3NF，并且不存在主屬性對非碼的函數(shù)依賴，則 R∈ BCNF。 ? 改造 將 S分解為： S_T（ SNO， TNO） ?BCNF T_C（ TNO， CNO） ?BCNF 34 BCNF（ Ⅳ ） ? 思考 (SNO , CNO , ORDER)，表示學(xué)生選修課程的名次，具有函數(shù)依賴 (SNO， CNO)? ORDER， (CNO，ORDER) ? SNO，它屬于 BCNF嗎？ ? 全碼屬于 BCNF嗎？ ? 一個滿足 BCNF的關(guān)系模式： 所有的非主屬性對每一個候選碼都是完全函數(shù)依賴； 所有的主屬性對不包含它的碼也是完全函數(shù)依賴； 任何屬性都不會完全函數(shù)依賴于非碼的任何一組屬性； ? 一個關(guān)系模式如果滿足 BCNF，則在函數(shù)依賴的范疇內(nèi)，它就實現(xiàn)了徹底的分離，消除了插入和刪除異常。 35 BCNF（ Ⅴ ） ? BCNF與 3NF的比較 若 R∈ BCNF，則 R? 3NF。 3NF達(dá)到了非主屬性對碼的完全直接依賴， BCNF則實現(xiàn)了所有屬性對碼的完全直接依賴。 示例： 通訊（ 城市，街道 ，郵編）：碼為（ 城市，街道） ，非主屬性完全依賴于碼，且無傳遞依賴，則是 3NF。 但郵編→ 城市，它是決定因素，它不是碼，也不包含在碼中，故非 BCNF。 ? 非 BCNF分解 → BCNF，會破壞函數(shù)依賴。保持 3NF，警惕主屬性對非主屬性的函數(shù)依賴帶來的操作異?，F(xiàn)象。 36 范式之間的關(guān)系 1NF 2NF 3NF 消除主屬性對非碼的不正常函數(shù)依賴 消除非主屬性對碼的部分函數(shù)依賴 消除非主屬性對碼的傳遞函數(shù)依賴 BCNF 消除任何屬性對非碼的不正常函數(shù)依賴 消除非主屬性對碼的部分和傳遞函數(shù)依賴 37 數(shù)據(jù)庫規(guī)范化理論小結(jié)（ Ⅰ ） 關(guān)系規(guī)范化目的 : 使模式結(jié)構(gòu)更合理，使數(shù)據(jù)冗余盡量小，消除插入、刪除和更新異常。 關(guān)系規(guī)范化原則 o 無損分解原則（函數(shù)依賴不能丟失） o 相互獨立原則（新關(guān)系之間相互獨立） 從實際出發(fā)，范式的高低取決于數(shù)據(jù)庫相關(guān)操作和檢索的需要。同時，一定的冗余有利于數(shù)據(jù)的查詢和恢復(fù)。 38 關(guān)系規(guī)范化 方法：關(guān)系模式的分解方法，即將關(guān)系模式投影分解成兩個或兩個以上的關(guān)系模式。 ? 模式分解要求 : 分解后的關(guān)系模式集合應(yīng)當(dāng)與原關(guān)系模式“ 等價 ” ，既具有無損連接性，又保持函數(shù)依賴特性。 ? 針對部分依賴問題 : 部分依賴歸子集，完全依賴隨鍵碼； ? 傳遞依賴問題 : 基本依賴為基礎(chǔ)，中間屬性作橋梁； ? BC范式違例問題 : 找違例自成一體，舍其右全集歸一； ? 規(guī)范化內(nèi)容歸結(jié)為一句話 ： 數(shù)據(jù)庫中的每個實體（關(guān)系）都要有一個單一的主題， 規(guī)范化實質(zhì)就是概念單一化，一個關(guān)系表示一個實體。 數(shù)據(jù)庫規(guī)范化理論小結(jié)（ Ⅱ ） 39 數(shù)據(jù)庫規(guī)范化理論小結(jié)（ Ⅲ ） 模式設(shè)計的一般原則 ? 數(shù)據(jù)庫設(shè)計者在進(jìn)行關(guān)系數(shù)據(jù)庫設(shè)計時，應(yīng)作權(quán)衡，盡可能使數(shù)據(jù)庫模式保持最好的特性。一般盡可能設(shè)計成BCNF模式集。如果設(shè)計成 BCNF模式集時達(dá)不到保持函數(shù)依賴的特點，那么只能降低要求，設(shè)計成 3NF模式集，以求達(dá)到保持函數(shù)依賴和無損分解的特點。 課后思考題 ? 任何一個二目關(guān)系模式 R（ A， B）一定屬于 BCNF嗎？ ? 一個全是主屬性的關(guān)系模式一定可以達(dá)到第幾范式？ ? 一個全碼的關(guān)系模式一定可以達(dá)到第幾范式？ 40 團(tuán)結(jié)協(xié)作出成績 …
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1