元組的每個分量必須是不可分割的數據項，這叫做第一范式，簡稱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版）