【圖文】數(shù)據(jù)庫原理 第五章 關(guān)系數(shù)據(jù)庫的規(guī)范化設(shè)計(第一部分)

1、 范式(四續(xù)三 5.2.3 范式(四續(xù)三 在多值依賴中， Z=U， 在多值依賴中，若X Y，且Z=U-X-Y，則稱 X Y是非平凡的多值依賴；否則稱為平凡的多 是非平凡的多值依賴； 值依賴。 值依賴。 多值依賴的形式： 多值依賴的形式： 設(shè)有關(guān)系模式R(U,U是屬性全集， R(U,U是屬性全集 設(shè)有關(guān)系模式R(U,U是屬性全集，X、Y、Z屬 性集U的子集，且Z=U-X-Y，r是關(guān)系模式R的任一關(guān)系， 性集U的子集， Z=U是關(guān)系模式R的任一關(guān)系， 的任意兩個元組，如果tX=sX 必有r ，如果tX=sX， t、s是r的任意兩個元組，如果tX=sX，必有r 的兩個元組u 存在，使得： 的兩個元組

2、u、v存在，使得： . sX=tX=uX=vX uY=tY且 . uY=tY且uZ=sZ . vY=sY且vZ=tZ vY=sY且 則稱X多值決定Y 多值依賴于X 則稱X多值決定Y或Y多值依賴于X 范式(四續(xù)四 5.2.3 范式(四續(xù)四 多值依賴與函數(shù)依賴的區(qū)別： 多值依賴與函數(shù)依賴的區(qū)別： a.在關(guān)系模式R中，函數(shù)依賴XY的有效性僅僅決定 a.在關(guān)系模式R 函數(shù)依賴X 在關(guān)系模式 這兩個屬性集，不涉及第三個屬性集， 于X、Y這兩個屬性集，不涉及第三個屬性集，而在多 值依賴中， 在屬性集U U=X+Y+Z） 值依賴中，X Y在屬性集U（U=X+Y+Z）上是否成 不僅要檢查屬性集X 上的值，而要

3、檢查屬性集U 立，不僅要檢查屬性集X、Y上的值，而要檢查屬性集U 的其余屬性Z上的值。 的其余屬性Z上的值。 如果X Y在屬性集W（WU）上成立，而在屬性 如果X 在屬性集W 上成立， 上不一定成立，所以， 集U上不一定成立，所以，多值依賴的有效性與屬性集 的范圍有關(guān)。 的范圍有關(guān)。 如果在關(guān)系模式R上存在函數(shù)依賴X b. 如果在關(guān)系模式R上存在函數(shù)依賴XY，則任何 成立， 上成立， YY均有XY成立，而多值依賴X Y在R上成立， 均有X 成立 而多值依賴X Y 但不能斷言對于任何Y Y 成立 但不能斷言對于任何YY有X Y成立 范式(四續(xù)五 5.2.3 范式(四續(xù)五 多值依賴的性質(zhì)： 多值依

4、賴的性質(zhì)： 多值依賴具有對稱性， 多值依賴具有對稱性， 即若X 其中Z=U Z=U即若X Y，則X Z，其中Z=U-X-Y。 多值依賴具有傳遞性， 多值依賴具有傳遞性， 即 X Y ， Y Z ， 則 X Z - Y 。 函數(shù)依賴可看作是多值依賴的特殊情況， 函數(shù)依賴可看作是多值依賴的特殊情況， 即若X 即若X Y，則X Y。 多值依賴合并性， 多值依賴合并性， 即若X YZ。 即若X Y， X Z ，則X YZ。 多值依賴分解性，即若X 多值依賴分解性，即若X Y， X Z，則X 均成立。說明， （YZ）， X Y-Z， X Z-Y均成立。說明，如果兩 個相交的屬性子集均多值依賴于另一個屬性

5、子集， 個相交的屬性子集均多值依賴于另一個屬性子集，則這兩個屬 性子集因相交而分割成的三部分也都多值依賴于該屬性子集。 性子集因相交而分割成的三部分也都多值依賴于該屬性子集。 范式( 5.2.3 范式(五 第四范式（4NF） 第四范式（4NF） a.定義 a.定義 設(shè)有一關(guān)系模式R ），U是其屬性全集， 設(shè)有一關(guān)系模式R（U），U是其屬性全集，X、Y是U的 子集， 上的數(shù)據(jù)依賴集。 子集，D是R上的數(shù)據(jù)依賴集。如果對于任一多值依賴 此多值依賴是平凡的，或者X包含了R X Y，此多值依賴是平凡的，或者X包含了R的一個 侯選關(guān)系字，則稱R是第四范式的關(guān)系模式，記作R 4NF。 侯選關(guān)系字，則稱R是

6、第四范式的關(guān)系模式，記作R4NF。 備注：一個BCNF的關(guān)系模式不一定是4NF BCNF的關(guān)系模式不一定是4NF， 4NF的關(guān)系 備注：一個BCNF的關(guān)系模式不一定是4NF，而4NF的關(guān)系 模式必定是BCNF的關(guān)系模式， 4NF是BCNF的推廣 BCNF的關(guān)系模式 的推廣。 模式必定是BCNF的關(guān)系模式，即4NF是BCNF的推廣。 4NF的分解 b. 4NF的分解 把一個關(guān)系模式分解為4NF的方法與分解為BCNF 4NF的方法與分解為BCNF的方 把一個關(guān)系模式分解為4NF的方法與分解為BCNF的方 法類似， 法類似，就是當(dāng)把一個關(guān)系模式利用投影的方法消去非 平凡且非函數(shù)依賴的多值依賴，并且有無損連接性。 平凡且非函數(shù)依賴的多值依賴，并且有無損連接性。 備注： 備注： 數(shù)據(jù)依賴和多值依賴是兩種重要的數(shù)據(jù)依賴， 數(shù)據(jù)依賴和多值依賴是兩種重要的數(shù)據(jù)依賴，如只 考慮函數(shù)依賴，則屬于BCNF BCNF的關(guān)系模式的規(guī)范化程序