【william】評論
功能相依性(Functional Dependency，FD)定義：假如 R 代表一個關聯表，X 與 Y 為 R 的屬性的子集合。若且唯若(If and only if) R 的 X 值可以唯一決定 Y 的值時，稱為“Y 功能相依於 X”(Y is functionally Dependent on X) 或稱為“X 功能決定 Y”(X funtionally determines Y)，以 X→Y 表示。換另一種說法：若且唯若對於 R 中的每一個 X 值，都有唯一的 Y 值與其對應。