多值依赖

根据上下文，多值依赖（MVD）是在关系 R 上的一个断言，表示为 $X\to \to Y$。它的含义是，如果关系 R 中的两个元组在属性 X 的所有值上都相同，那么它们在属性 Y 上的分量可以互换，互换后产生的结果也必须是关系 R 中的两个元组 [1]。

换句话说，对于 X 的每一个值，Y 的值与关系 R 中 X 和 Y 以外的其他属性（R-X-Y）的值是相互独立的。