数据库范式

元组的每个分量必须是不可分割的数据项，这叫做第一范式，简称1NF。

若关系模式R∈1NF，且每一个非主属性完全函数依赖于码，则R∈2NF。

若关系模式R∈2NF，且每一个非主属性都不传递依赖于码，则R∈3NF。 3NF不允许有X不包含码，Y是非主属性的非平凡函数依赖X→Y。

若关系模式R∈1NF，且对于每一个非平凡的函数依赖X→Y，都有X包含码，则R∈BCNF。 BCNF不管Y是主属性还是非主属性，只要X不包含码，就不允许有X→Y这样的非平凡函数依赖。

若关系模式R∈1NF，且对于每一个非平凡的多值依赖X→→Y，（Y⊄X），都有X包含码，则R∈4NF。

PS：图为自己画的，可能有理解上错误，如果发现，望指出错误。 参考书籍：全国计算机等级考试四级教程——数据库原理（2017版）