0
点赞
收藏
分享

微信扫一扫

关系模式的多值依赖

624c95384278 2022-04-14 阅读 68
数据库

若X->->Y,而Z=∅,即Z为空,则称X->->Y为平凡的多值依赖。

即对于R(X、Y),如果有X->->Y成立,则X->->Y为平凡的多值依赖。

例如:关系模式WSC(W,S,C)中,W表示仓库,S表示保管员,C表示商品。

           假设每个仓库有若干保管员,有若干种商品。每个保管员保管所在仓库的所有商品,

           每种商品被所有保管员保管。

按照语义,对于W的每一个值Wi,S有一个完整的集合与之对应而不问C取何值,所以W->->S.

多值依赖具有以下性质:

     (1)多值依赖具有对称性。即若X->->Y,则X->->Z,其中Z=U-X-Y

     (2)多值依赖具有传递性。即若X->->Y,Y->->Z,则X->->Z-Y

     (3)函数依赖可以看做多值依赖的特殊情况。即若X->Y,则X->->Y。这是因为当X->Y时,对X的每一个值x,Y有一个确定的值y与之对应,所以X->->Y

     (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

多值依赖与函数依赖相比,具有两个基本区别:

(1)多值依赖的有效性与属性集的范围有关。若X->->Y在U上成立,则在W(XY⊆W⊆U)上一定成立;反之则不然,即X->->Y在W(W⊂U)上成立,在U上并不一定成立,这是因为多值依赖的定义中不仅涉及属性组X和Y,而且涉及U中其余属性Z。

(2)若函数依赖X->Y在R(U)上成立,则对于任何Y'⊂Y均有X->Y'成立,而多值依赖X->->Y若在R(U)上成立,却不能断言对于任何Y'⊂Y有X->->Y'成立。

举报

相关推荐

0 条评论