4NF

4NF (第四範式)

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

（X→Y）

如果R ∈ 4NF，則R ∈ BCNF。

4NF就是限制關係模式的屬性之間 不允許有非平凡且非函數依賴的多值依賴。因為根據定義，對於每一個非平凡的多值依賴X→→Y，X都含有候選碼，於是就有X→Y，所以4NF所允許的 非平凡的多值依賴實際上是函數依賴。