4NF

第四范式（4NF）是比 BCNF 更强的范式 [1]。

一个关系 R 满足第四范式（4NF）的条件是：对于 R 中成立的任意一个 非平凡多值依赖（Nontrivial MVD）$X\to \to Y$，X 都必须是 R 的一个 超键。

需要注意的是，超键的定义仍然只依赖于函数依赖（FDs）。

一个在 4NF 中的关系肯定也在 BCNF 中，但一个 BCNF 关系可能不在 4NF 中，因为 MVD 对 BCNF 来说是“不可见的”。