1nf
1nf中的每個屬性都不可再分，是所有關係型資料庫的最基本要求。
即關係型資料庫中不可能存在這樣的表
在了解2nf之前首先要了解幾個概念：
函式依賴
x→y（x可能有多個屬性），成y函式依賴x
學號 → 姓名
（學號，課名） → 分數
完全函式依賴
x的任何乙個真子集，都不能保證x→y成立，稱y完全函式依賴x
例如：（學號，課名）→分數，但是x的真子集
學號→分數（乙個學號多門課程）不成立
課名→分數（一門課程多個學生）不成立
部分函式依賴
y依賴x，但不是完全依賴，即x的某乙個屬性也可以x→y
（學號，課名） → 姓名，而 學號 →姓名 也成立
傳遞函式依賴
假如x→y y→z 則稱z傳遞函式依賴於x
碼
k 為某錶中的乙個屬性或屬性組，除k之外的所有屬性都完全函式依賴於k，則k為碼。（乙個表中可能有多個碼，選擇乙個即可）
例如：（學號、課名）
這個屬性組就是碼
主屬性和非主屬性
主屬性是碼中的任何乙個屬性，除過主屬性，表中的其他屬性就是非主屬性
例如：學號，課名都是主屬性
2nf
滿足1nf, 不存在非主屬性對於碼的部分函式依賴 例如
①找到資料表中的碼：（學號、課名）
主屬性：學號 課名 非主屬性：姓名 分數 系名 系主任
②判斷是否存在非主屬性對於碼的部分函式依賴
對於（學號，課名） → 姓名，有 學號 → 姓名，成立
對於（學號，課名） → 系名，有 學號 → 系名，成立
對於（學號，課名） → 系主任，有 學號 → 系主任，成立
為了讓原表滿足2nf，可以對原表進行細化，即把
原表：學號 姓名 課名 分數 系名 系主任
拆分成兩個表
選課（學號，課名，分數）
學生（學號，姓名，系名，系主任）
分別判斷
【選課表】
①找到資料表中的
碼：（學號、課名） 主屬性：學號和課名非主屬性：分數
②判斷是否存在非主屬性對於碼的部分函式依賴
（學號，課名） → 分數，而學號→ 分數 課程→ 分數都不成立
【學生表】
①找到資料表中的
碼：（學號） 主屬性：學號非主屬性：姓名、系名、系主任
②判斷是否存在非主屬性對於碼的部分函式依賴
學號→姓名，而姓名→學號 不成立
學號→系名，而係名→學號 不成立
學號→系主任，而系主任→學號 不成立
滿足2nf
3nf
滿足2nf，不存在非主屬性對於碼的傳遞函式依賴
【選課表】主碼：（學號，課名）主屬性為學號和課名非主屬性：分數
不可能存在傳遞函式依賴，所以選課表的設計，符合3nf
【學生表】主碼：學號主屬性：學號非主屬性：姓名、系名、系主任
因為 學號 → 系名，同時 系名 → 系主任，所以存在非主屬性系主任對於碼學號的傳遞函式依賴，所以學生表的設計，不符合3nf。
為了符合3nf要求，需要再一步對錶進行細化，分解如下
選課（學號，課名，分數）
學生（學號，姓名，系名）
系（系名，系主任）
【選課表】符合3nf的要求，之前已經分析過了。
【學生表】主碼：學號主屬性：學號 非主屬性：系名、姓名
不可能存在非主屬性對於碼的傳遞函式依賴，所以符合3nf的要求。（姓名→系名不成立，因為同名不同系的存在）
【係表】主碼：系名主屬性：系名 非主屬性：系主任
不可能存在非主屬性對於碼的傳遞函式依賴（至少要有三個屬性才可能存在傳遞函式依賴關係），所以符合3nf的要求。。
總結
正規化很少的冗餘資料更新資料只需要修改更少的資料，在查詢的時候需要更少的distinct或者group by語句。但是需要經常聯合查詢
反正規化因為所有的資料幾乎都可以在一張表上顯示，可以避免過多的聯合查詢，刪除資料時候會造成表有些有用的資訊丟失。所以要綜合考慮使用正規化和反正規化。
參考：
資料庫三正規化總結
第一正規化 1nf 所謂第一正規化 1nf 是指資料庫表的每一列都是不可分割的基本資料項，同一列中不能有多個值，即實體中的某個屬性不能有多個值或者不能有重複的屬性。如果出現重複的屬性，就可能需要定義乙個新的實體，新的實體由重複的屬性構成，新實體與原實體之間為一對多關係。在第一正規化 1nf 中表的每...
資料庫 三正規化總結
前言 設計關聯式資料庫時，遵從不同的規範要求，設計出合理的關係型資料庫，這些不同的規範要求被稱為不同的正規化，各種正規化呈遞次規範，越高的正規化資料庫冗餘越小。目前關聯式資料庫有六種正規化 第一正規化 1nf 第二正規化 2nf 第三正規化 3nf 巴斯 科德正規化 bcnf 第四正規化 4nf 和...
資料庫正規化 三正規化
所謂第一正規化 1nf 是指在關係模型中，對域新增的乙個規範要求，所有的域都應該是原子性的，即資料庫表的每一列都是不可分割的原子資料項，而不能是集合，陣列，記錄等非原子資料項。即實體中的某個屬性有多個值時，必須拆分為不同的屬性。在符合第一正規化 1nf 表中的每個域值只能是實體的乙個屬性或乙個屬性的...