數據庫學習：範式的區分

第一範式：滿足原子性和唯一性（屬性唯一，元組唯一）
第二範式：在第一範式之上，消除非主屬性對碼的部分函數依賴。如：S->A，T->B，(S,T)->B。也就是說，工號確認員工姓名，證件號也能確定員工姓名，而(工號,證件號)亦確認員工姓名。此規則只能滿足1NF，達不到2NF。
第三範式：在第二範式基礎上，消除非主屬性對碼的傳遞函數依賴。如：工號確認崗位，崗位確定薪酬，那麼(工號，崗位，薪酬)就不滿足第三範式。
BC範式：消除屬性（包括主屬性和非主屬性）對碼的部分函數依賴和傳遞依賴。即：1.非主屬性對碼完全依賴，2.主屬性對不包含它的碼，也是完全函數依賴，3.沒有任何屬性完全依賴於非碼的任一屬性。