第一範式 → 第二範式
消除非主屬性對主碼的部分函數依賴
首先你要明白,啥是部分函數依賴
部分函數依賴:{A, B} → C,A → C or B → C(主碼的整體能推出一個屬性,主碼的部分屬性至少有一個能推出一個同樣的屬性),這就是部分函數依賴。
第二範式 → 第三範式
消除非主屬性對主碼的傳遞函數依賴
傳遞函數依賴: A → B, B → C 推出 A → C。
A → C就是傳遞函數依賴得出來的,把這個A → C去除了,就是第三範式了
第三範式 → BCNF
消除主屬性對主碼的部分和傳遞函數依賴
歡迎大家關注下個人的「公衆號」:獨醉貪歡