关系数据库设计理论课件.pptVIP

5.2.4BCNF定義：若關係模式RU，F∈1NF，如果對於R的每個函數依賴X?Y，若Y不包含於X，則X必含有候選碼。那麼R∈BCNF。即在關係模式RU，F中，如果每個決定屬性都包含候選碼，則R∈BCNF。即在3NF的基礎上,消除了主屬性對碼的部分依賴和傳遞依賴,所在屬性都不部分依賴或傳遞依賴於碼。5.2.4BCNF三個性質BCNF具有三個性質:（1）所有非主屬性都完全函數依賴於每個候選碼。（2）所有主屬性都完全函數依賴於每個不包含它的候選碼。（3）沒有任何屬性完全函數依賴於非碼的任何一組屬性。如果R中只有一個候選碼，如R∈3NF，則必R∈BCNF。5.2.43NF?BCNF小結3NF和BCNF是以函數依賴為基礎的關係模式規範化程度的測度。如果一個關係資料庫中的所有關係模式都屬於BCNF，那麼在函數依賴依賴範疇內，它已實現了模式的徹底分解，達到了最高的規範化程度。5.2.5一個存在多值依賴的關係模式關係模式:TEACH(C,T,B)，C表示課程，T表示教師，B表示參考書。假設某一門課由多個教師講授，一門課使用相同的一套參考書。關係模式存在以下依賴：數學?[鄧海,陳紅]?[高數,數學分析,微分方程]物理?[李東,張強,劉明]?[普通物理學,光學]該關係模式碼為（C，T，B），為全碼。滿足BCNF，但仍存在四種異常。為什麼呢？課程C教師T參考書B數學鄧海高數數學鄧海數學分析數學鄧海微分方程數學陳紅高數數學陳紅數學分析數學陳紅微分方程物理李東普通物理物理李東光學………5.2.5多值依靠定義一定義：設R（U）是一個屬性集U上的一個關係模式，X，Y和Z是U的子集，並且Z=U-X-Y，多值依賴X??Y成立當且僅當對R的任一關係r，r在（X，Z）上的每個值對應一組Y的值，這組值僅僅決定於X值而與Z值無關。若X??Y，而Z=Ф（表示空集），則X??Y為平凡的多值依賴。否則稱X??Y為非平凡的多值依賴。5.2.5多值依靠定義二多值依賴另一定義：在關係模式R（U）的任一關係中，如果對於任意兩個元組t,s,有t[X]=s[X],就必存在元組w,v∈r(w和v可以與s和t相同)，使得w[X]=v[X]=t[X],而w[Y]=t[Y],w[Z]=s[Z],v[Y]=s[Y],v[Z]=t[Z],即交換s,t元組的Y值所得的兩個新元組必在r中，則稱Y多值依賴於X，記為X??Y。其中，X和Y是U的子集，Z=U-X-Y。5.2.5多值依賴具有下列性質（1）對稱性。即X??Y，則X??Z，其中Z=U-X-Y。（2）傳遞性。即X??Y，Y??Z，則X??Z。（3）函數依賴可以看作是多值依賴的特殊情況。（4）若X??Y，X??Z，則X??YZ。（5）若X??Y，X??Z，則X??Y∩Z。（6）若X??Y，X??Z，則X??Y-Z，X??Z-Y。（7）多值依賴的有效性與屬性集的範圍有關。（8）若多值依賴X??Y在R（U）上成立，對於Y‘包含於Y，並不一定X??Y’成立，但是如果函數依賴X?Y在R（U）上成立，對於任何Y‘包含於Y，必定X?Y’成立。5.2.5多值依賴與4NF對TEACH（C，T，B）處理，去掉多值依賴。分解兩個關係模式：CT（C，T）∈4NFCB（C，B）∈4NF4NF定義：關係模式R（U，F）∈1NF，如果對於R的每個非平凡多值依賴X??Y(Y不包含於X)，X都含有候選碼，則R∈4NF。5.2.6連接依賴分解是關係規範化的主要手段，連接依賴是有關分解和自然連接的理論，5NF是有關如何消除子關係的插入異常和刪除異常。連接依賴：設R（U）是屬性集U上的關係模式，X1，X2，…Xn是U的子集，且U=X1∪X2∪…∪Xn，如R等於R（X1），R（X2），…R（Xn）的自然連接，則稱R在X1，X2，…Xn上具有n目連接依賴。記作，∞[X1][X2]…[Xn]。5.2.6連接依賴和5NF5NF定義：如果關係模式R中的每一個連接依賴均由R的候選碼所隱含，則稱R∈5NF。說明：（1）即指連接時所連接的屬性均為候選碼。（2）多表間的連接應滿足5NF較好。5.2.7學校管理資料庫分析SNOCNGDNDMS1C1ACSZHANGS1C2ACSZHANGS1C4ACSZHANGS1C5BCSZHANGS2C2BCSZHANGS2C3ACSZHANGS2C4BCSZHANGS3C1BMAWANGS3C