多值依賴的有關概念

定義：設R(U)是屬性集U上的一個關係模式。X,Y,Z是U的子集，並且Z=U-X-Y。關係R(U)中多值依賴X→→Y成立，當且僅當對R(U)的任一關係r，給定的一對(x,z)值，有一組Y的值，這組值僅僅決定於x的值而與z值無關。
定義看起來很抽象，但實際上理解起來一點也不簡單。這裡還是採用王珊老師的《資料庫系統概論第五版》中的例子來幫助理解。

如上圖所示，對於表6.3，只有課程C能決定教師T，只要課程發生變化則教師T的集合取值也會發生變化。而參考書B的取值無論是取普通物理學或者光學原理都改變不了教師T集合的取值，這就叫這組值僅僅取決於課程C的值而與參考書B的值無關。
實際上多值依賴中“多值”的概念應該是指集合，即一個屬效能對應另一個屬性的集合，而不是指多個屬性。而函式依賴指的是一個屬效能決定另一個屬性的取值，所以也說函式依賴是特殊的多值依賴。