非平凡的多值依赖"X" formula_1 "Y", "X"是一个超键。
多值依赖.关系数据库的一个表中的列头分为不相交的三组："X", "Y", "Z"。在一行的特定上下文中，称上述列组的数据值为"x", "y", "z"。多值依赖"X" formula_1 "Y"，意味着如果选择表中的任何值"x"（记作"x"），从而确定该表中所有的"xyz"列表，如果"x"关联着同一个"y"的值，不论"z"的任何取值。实质上，z的存在不提供任何信息能约束到"y"的可能值。也可以表述为，定义域的