第四范式(4NF)用于解决传递依赖的问题，尤其是多值依赖的问题。在3NF之后，如果关系模式中还存在多值依赖且不满足BCNF，则需要进一步规范化到4NF。