跳转到内容

多值依赖

维基百科,自由的百科全书

关系数据库的一个表中的列头分为不相交的三组:X, Y, Z。在一行的特定上下文中,称上述列组的数据值为x, y, z。多值依赖X ↠ Y,意味着如果选择表中的任何值x(记作xc),从而确定该表中所有的xcyz列表,如果xc关联着同一个y的值,不论z的任何取值。实质上,z的存在不提供任何信息能约束到y的可能值。也可以表述为,定义域的每一个值,都能确定值域中的一个值的集合。

平凡多值依赖 X ↠ Y是或者Y是X的子集,或者X与Y一起形成了该关系的整个属性集合。

函数依赖是多值依赖的特例。函数依赖X → Y,那么每个x确定了确切一个y值,而不能是多个。