關(guān)系數(shù)據(jù)理論(更新版)
【正文】 CDEA} 二、證明：滿足 BCNF的關(guān)系模式必定滿足 3NF。 BCNF： 若 RU， F∈ 1NF，對(duì)于任意的 X→ Y，X必是候選鍵之一，則 R∈ BCNF。 八、范式 1NF： 若一個(gè)關(guān)系 R的每一分量都是不可分的數(shù)據(jù)項(xiàng)，則稱 R是第一范式的，記作 R∈ 1NF 。（ XF+也可簡(jiǎn)記成 X+） X+的求解法： result=X； Do{ for (。其中 → t表示傳遞函數(shù)依賴。其中， X是函數(shù)依賴的決定因素。 產(chǎn)生上述問題的原因，直觀說是因?yàn)殛P(guān)系中 “ 包羅萬象 ” ，內(nèi)容太雜；從屬性間函數(shù)依賴的關(guān)系看，是由于屬性間存在著 “ 不恰當(dāng) ” 的 依賴關(guān)系 。 規(guī)范化的主要方法： 模式分解 （ 3）刪除異常 刪去一個(gè)學(xué)生所學(xué)的課程，將刪去該學(xué)生的信息 （ 4）更新復(fù)雜及異常 系主任更改，必須修改所有記錄的值，否則會(huì)出現(xiàn)數(shù)據(jù)不一致。記作： X→ Y。 （ 6）傳遞函數(shù)依賴（ Transitive FD） 若 X→ Y， Y→ Z，但 Y一 \→ X，則 Z傳遞函數(shù)依賴于 X，記 X→ tZ。 五、 Armstrong公理及其推論 公理 自反律：若 Y包含于 X，則 X→ Y（屬平凡函數(shù)依賴） 增廣律 ： 若 X→ Y，則 XZ→ YZ 傳遞律：若 X→ Y，且 Y→ Z，則 X→ Z 推論 合并規(guī)則：若 X→ Y， X→ Z，則 X→ YZ 偽傳遞規(guī)則：若 X→ Y， WY→ Z，則 XW→ Z 分解規(guī)則：若 X→ Y，且 Z包含于 Y，則 X→ Z 六、屬性集的閉包 屬性集 X關(guān)于 F的閉包的定義： 設(shè) F為屬性集 U上的一組函數(shù)依賴， X包含于 U，XF+={A|XA能由 F根據(jù)阿氏公理導(dǎo)出 }，稱 XF+為屬性集X關(guān)于 F的閉包。 例 （ 1） R(A,B,C,D), F={AB,DB} （ 2） R(A,B,C,D), F={AB,BC,CD} （ 3） R（ A， B， C， D） ， F={ABC,ACD,DB} （ 4） R(U， F)； U={ A， B， C }， F={ BC, BA, AB } 關(guān)系世界（規(guī)范與非規(guī)范關(guān)系） 1 N F 2 N F 3 N F B C N F 4 N F 5 N F 規(guī)范化： 一個(gè)低一級(jí)范式的關(guān)系模式，通過模式分解可以轉(zhuǎn)換為高一級(jí)范式的關(guān)系模式的集合。 3NF可從 2NF消除非主屬性對(duì)候選鍵的傳遞函數(shù)依賴后獲得。
語文相關(guān)推薦
鄂ICP備17016276號(hào)-1