4NF就是限制关系模式的属性之间不允许有非平凡且非函数依赖的多值依赖.4NF (第四范式) 关系模式RU,F∈ 1NF,如果对于R的每个非平凡 多值依赖X→→Y(Y  X),X都含有 候选码,则R∈4NF. (X→Y) 如果R ∈ 4NF, 则R ∈ BCNF. 4NF就是限制关系模式的属性之间 不允许有非平凡且非函数依赖的多值依赖.因为根据定义,对于每一个非平凡的多值依赖X→→Y,X都含有候选码,于是就有X→Y,所以4NF所允许的 非平凡的多值依赖实际上是函数依赖.