1NF是：每個屬性都不可再分。
2NF : 消除了非主屬性對於碼的部分函數依賴。(無關屬性單獨成表)（員工表，公司表，）
形象化理解就是：一個男人和一個帶着孩子的女人組成一個新家庭，不恰當的說他們是兩個家庭。
函數依賴：若在一張表中，在屬性（或屬性組）X的值確定的情況下，必定能確定屬性Y的值，那麼就可以說Y函數依賴於X，寫作 X → Y。
部分函數依賴： Y 函數依賴於 X，但同時 Y 並不完全函數依賴於 X，X P→ Y（p在→上）
傳遞函數依賴： Z 函數依賴於 Y，且 Y 函數依賴於 X，X T→ Z（T在→上）
碼：當 K 確定的情況下，該表除 K 之外的所有屬性的值也就隨之確定，那麼 K 就是碼。
3NF: 消除了非主屬性對於碼的傳遞函數依賴。（工號-->公司-->部門）
形象化理解：你託父親辦件事，你父親託他朋友完成。這期間關係就可以拆成兩個。
BCNF:消除主屬性對於碼的部分與傳遞函數依賴。