八、4NF 定义10:关系模式R<U,F∈INF,如果对于R的每个非平凡多 值依赖X→→Y(Y￠X),X都含有码,则称R<U,F>∈4NF。 九、规范化小结 NF 消除非主属性对码的部分函数依赖 2NF 消除非主属性对码的传递函数依赖 3NF 消除主属性对码的部分和传递函数依赖 BCNF 消除非平凡且非函数依赖的多值依赖 4NF八、4NF 定义10：关系模式R<U，F>1NF，如果对于R的每个非平凡多 值依赖X→→Y（Y  X ），X都含有码，则称R<U，F> 4NF。 九、规范化小结 1NF ↓ 消除非主属性对码的部分函数依赖 2NF ↓ 消除非主属性对码的传递函数依赖 3NF ↓ 消除主属性对码的部分和传递函数依赖 BCNF ↓ 消除非平凡且非函数依赖的多值依赖 4NF