1NF->2NF:消除非主屬性對碼的部分函數依賴
2NF->3NF:消除非主屬性對碼的傳遞函數依賴
3NF->BCNF:消除主屬性對碼的部分和傳遞函數依賴

例子：下面的依賴都是完全函數依賴：
(Sno,Cno)->Grade
Sno->Sdept
Sdept->Sloc
(Sno,Cno)->Teacher
(Sno,Teacher)->Cno
Teacher->Cno

Sno:學號 Cno:課程號 Sdept:院系 Sloc:地址 Teacher:授課教師

2NF:
S-L-C(Sno，Sdept,Sloc,Cno,Grade)
主碼：(Sno,Cno)，上面的模式不滿足2NF，可以如下進行拆分：
(Sno,Cno,Grade) (Sno,Sdept,Sloc)

3NF:
S-D-C(Sno,Sdept,Sloc)
主碼：Sno
上面的模式不滿足3NF，可以如下進行拆分
(Sno,Sdept) (Sdept,Sloc)

BCNF:
SCT(Sno,Cno,Teacher)
候選碼：(Sno,Teacher),(Sno,Cno)
上面的模式不滿足BCNF，可以進行如下拆分：
(Sno,Teacher)
(Teacher,Cno)