去除非主属性对码的部分依赖,去除主属性对码的传递函数依赖。变成4NF去除主属性对码的传递函数依赖,所有非主属性对每一个码都是完全函数依赖。 所有的主属性对每一个不包含它的码,也是完全函数依赖。 没有任何属性完全函数依赖于非码的任何一组属性。保证以上几点,则变成BCNF