关系模式的多值依赖

定义1：设R(U)是属性集U上的一个关系模式。X、Y、Z是U的子集，并且Z=U-X-Y。关系模式R(U)中多值依赖X->->Y成立，当且仅当对R(U)中任一关系r，给定的一对（X，Z）的值，有一组Y的值，这组值仅仅决定于X的值而与Z值无关。

若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'成立。