第一範式數據庫
若是一個關係模式R的全部屬性都是不可分的基本數據項,則R∈1NF。簡單的說,就是每個列(屬性)只有一個,沒有重複。函數
第一範式(1NF)是指數據庫表的每一列都是不可分割的基本數據項,同一列中不能有多個值,即實體中的某個屬性不能有多個值或者不能有重複的屬性。spa
第二範式it
第二範式(2NF)是數據庫規範化中所使用的一種正規形式。它的規則是要求數據表裏的全部數據都要和該數據表的主鍵有徹底依賴關係;io
若是有哪些數據只和主鍵的一部份有關的話,它就不符合第二範式。同時能夠得出:若是一個數據表的主鍵只有單一一個字段的話,它就必定符合第二範式(前提是該數據表符合第一範式)。table
第三範式
function
每一個非關鍵字列都獨立於其餘非關鍵字列,並依賴於關鍵字,第三範式指數據庫中不能存在傳遞函數依賴關係。數據
傳遞函數依賴
規範化
在關係模式R(U)中,設X,Y,Z是U的不一樣的屬性子集,若是X肯定Y、Y肯定Z,且有X不包含Y,Y不肯定X,(X∪Y)∩Z=空集合,則稱Z傳遞函數依賴(transitive functional dependency) 於X。傳遞函數依賴會致使數據冗餘和異常。傳遞函數依賴的Y和Z子集每每同屬於某一個事物,所以可將其合併放到一個表中。異常
學號 | 宿舍 | 費用 |
062201 | A | 900 |
062230 | B |
1200 |
062240 | B |
1200 |
學號 | 宿舍 |
062201 | B |
062230 | A |
062240 | B |
宿舍 | 費用 |
A | 900 |
B | 1200 |