多值依賴

關係數據庫的一個表中的列頭分為不相交的三組：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值，而不能是多個。