若属性不可再分,具有原子性,则满足1NF;在1NF的基础上,在关系R中,非主属性对码没有部分函数依赖,则满足2NF;在2NF的基础上,在关系R中,非主属性对码没有传递函数依赖,则满足3NF;在3NF的基础上,关系R中,主属性对码没有部分函数以来,则满足BCNF,通常BCNF可以消除数据冗余、插入异常、删除异常、更新异常,但在一些关系依然有缺陷,在满足3NF的基础上,消除多值依赖,则满足4NF
若属性不可再分,具有原子性,则满足1NF;在1NF的基础上,在关系R中,非主属性对码没有部分函数依赖,则满足2NF;在2NF的基础上,在关系R中,非主属性对码没有传递函数依赖,则满足3NF;在3NF的基础上,关系R中,主属性对码没有部分函数以来,则满足BCNF,通常BCNF可以消除数据冗余、插入异常、删除异常、更新异常,但在一些关系依然有缺陷,在满足3NF的基础上,消除多值依赖,则满足4NF