非平凡多值依赖

非平凡 MVD 的定义是：

1. Y 不是 X 的子集。
2. X 和 Y 合起来不是关系的所有属性。