多值依赖

关系数据库的一个表中的列头分为不相交的三组：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值，而不能是多个。