多值依賴

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