定義:函數
設一個關係爲R(U),X和Y爲屬性集U上的子集,若X→Y且X不包含Y,則稱X→Y爲非平凡函數依賴。spa
若XY則必有X→Y,稱此X→Y爲平凡函數依賴。class
例如:im
在一個職工關係中,職工號總能函數決定它自己,記做「職工號→職工號」,對於任一個給定的職工號,都有它自己的職工號值惟一對應,此爲平凡函數依賴。img
又如:職工號和性別構成的屬性子集老是可以函數決定其中的職工號或性別屬性,可分別記做爲「(職工號,性別)→職工號」和「(職工號,性別)→性別」,由於對於任何給定的一個元組中的職工號和性別的組合值,都惟一對應一個職工號值或性別值,不可能出現其餘的職工號值或性別值,此種也爲平凡函數依賴。di
一般,主要討論的是非平凡函數依賴,即X→Y且XY。如在職工關係中,職工號函數決定其餘每一個屬性都是非平凡函數依賴,另外「(職工號,姓名)→性別」也是非平凡函數依賴,雖然在這裏由決定因素中所含的職工號單屬性就可以函數決定性別,而帶有的姓名屬性有些多餘。co