关系模式R<U，F>∈1NF，如果对于R的每个非平凡多值依赖X→→Y（Y X），X都含有候选码，则R∈4NF。
（X→Y）
如果R ∈ 4NF， 则R ∈ BCNF
不允许有非平凡且非函数依赖的多值依赖
允许的是函数依赖（是非平凡多值依赖）