多值依賴

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