第一范式1NF:每一个分量必须是不可分的数据项 第二范式2NF:每一个非主属性完全函数依赖于任何一个候选码 第三范式3NF:每一个非主属性既不传递依赖于码,也不部分依赖于码 第四范式BCNF:每个决定因素都包含码