第一范式:每个分量必须是不可分的数据项(1NF)
第二范式:每个非主属性完全函数依赖于任何一个候选码,且满足1NF
第三范式:每个非主属性既不传递依赖于码也不部分依赖于码且满足第一范式
BCNF:1所有的非主属性对每一个码都是完全依赖的、2所有的主属性对每一个不包含他的码也是完全函数依赖的、3没有任何属性完全函数依赖于非码的任何一组属性
第四范式:限制关系模式的属性间不允许非平凡且非函数依赖的多值依赖
第一范式:每个分量必须是不可分的数据项(1NF)
第二范式:每个非主属性完全函数依赖于任何一个候选码,且满足1NF
第三范式:每个非主属性既不传递依赖于码也不部分依赖于码且满足第一范式
BCNF:1所有的非主属性对每一个码都是完全依赖的、2所有的主属性对每一个不包含他的码也是完全函数依赖的、3没有任何属性完全函数依赖于非码的任何一组属性
第四范式:限制关系模式的属性间不允许非平凡且非函数依赖的多值依赖