關聯模型的正規化理論

今天在南台圖書讀 C. J. Date 大部頭的資料庫理論第七版

摘要如下：

函數相依性 function dependent
若一關聯 R， a, b 是 R 的屬性，
若每個不同的 a 值，則會有一固定 b 值與它對映，
則稱 b 函數相依於 a，
a 稱為決定集，b 稱為相依集，
記作 a->b。

多值相依性 multivalue dependent
若一關聯 R， a, b,c 是 R 的屬性，
若每個不同的 a 值，則會有一固定 b 值與它對映，
則稱 b 函數相依於 a，
a 稱為決定集，b 稱為相依集，
記作 a->b。