数据库-多值依赖

若关系模式R(U) 中，X、Y、Z是U的子集，并且Z=U-X-Y 当且仅当对R(U) 的任何一个关系r, 给定一对(x, z) 值，有一组Y的值，这组值只由x值决定而与z值无关， 则称 “Y多值依赖于X”或“X多值决定Y”成立。记为： X→→Y。

多值依赖具有以下6条性质：

●多值依赖具有对称性。即若X→→Y,则X→→Z,其中Z=U-X-Y。

●多值依赖具有传递性。即若X→→Y,Y→→Z,则X→→Z-Y。

●函数依赖可以看成是多值依赖的特殊情况。

●若X→→Y,X→→Z, 则X→→YZ。

●若X→→Y,X→→Z, 则X→→Y∩Z。

●若X→→Y,X→→Z, 则X→→Z-Y。