4NF

關係模式R<U，F>∈1NF，如果對於R的每個非平凡多值依賴X→→Y（Y  X），X都含有候選碼，則R∈4NF。

4NF (第四範式)
（X→Y）
如果R ∈ 4NF， 則R ∈ BCNF
4NF就是限制關係模式的屬性之間不允許有非平凡且非函式依賴的多值依賴。因為根據定義，對於每一個非平凡的多值依賴X→→Y，X都含有候選碼，於是就有X→Y，所以4NF所允許的非平凡的多值依賴實際上是函式依賴。