盡可能減少冗餘（重複資料）
沒有插入異常（插入不了，沒滿足復合主鍵的要求）
刪除異常（把相同的內容都刪除了）
修改異常（修改不完全有剩餘）
關係模式中的各關係屬性之間相互依賴，相互制約
的聯絡稱為資料依賴。
是關係模式中屬性之間的一種邏輯依賴關係。
（sn，age，dept）函式依賴於sno
u=設關係模式r(u,f) u是屬性全集，f是由u上函式依賴所構成的集合。x,y是u上的子集。f=
對於r(u)的任意乙個可能的關係r，對於x的每一各值，y都有唯一的具體值與之對應，稱x決定y 記作：x→y
當y不依賴於x時 記作：x\→ y
當x→y且y→x時，記作x↔y
平凡函式依賴：y是x的子集
函式依賴於屬性之間的聯絡型別有關：
1:1x↔y
m:1x→ y
n:m 無依賴自反律 a→a
增廣律 x→y 則 xz→yz
傳遞律 x→y,y→z,則x→z
合併律 x→y,x→z,則x→yz
偽傳遞律 x→y,wy→z,則xw→z
分解律 x→yz,則x→y,x→z
復合律 x→y,w→z 則xw→yz
定義：由乙個屬性直接或者間接的推導出所有屬性的集合
屬性集u為xyzw，函式依賴集為定義：能決定所有屬性x+=xyz , (xw)+=xyzw , (yw)+=yzw
對於給定的關係模式r(a1,a2,a3,.....an)和函式依賴集f
l類：僅出現在f中的函式依賴左邊的左部屬性 必
r類：僅出現在f的函式依賴的右邊右部的屬性
n類：在f的函式依賴左右倆邊都沒出現的屬性 必
lr類：在左右倆邊都出現的屬性 可能
設有關係模式r(a,b,c,d,e,p) 與它的函式依賴集f=求r的所有候選碼cep是r的唯一候選碼
主屬性：所有候選碼
非主屬性：不存在於候選碼
1nf任一非主屬性的候選碼都不存在傳遞依賴↓消除非主屬性對主碼的部分函式依賴
2nf↓消除非主屬性對主碼的傳遞函式依賴
3nf (沒有非主屬性)
↓消除主屬性對主碼的部分和傳遞函式依賴
bcnf
↓消除非平凡且非函式依賴的多值依賴
4nf
一般3nf已經是乙個好的關係模式了
遵循概念單一化「一事一地」的原則，即乙個關係描述乙個實體或者實體間的聯絡。
規範化的投影分解方法不是唯一的，對於3nf的規範化，分解既要具有無損連線性，又要具有函式依賴保護性。
關聯式資料庫正規化
在建立乙個資料庫的過程中，必須依照一定的準則，這些準則被稱為正規化，從第一到第六共六個正規化，一般資料庫設計只要遵循第一正規化，第二正規化，和第三正規化就足夠了。滿足這些規範的資料庫是簡潔的 結構明晰的，同時，不會發生插入 insert 刪除 delete 和更新 update 操作異常。反之則是亂...
關聯式資料庫正規化
判斷是第幾正規化 概念 設計關聯式資料庫時，遵從不同的規範要求，設計出合理的關係型資料庫，這些不同的規範要求被稱為不同的正規化，各種正規化呈遞次規範，越高的正規化資料庫冗餘越小。種類 目前關聯式資料庫有六種正規化 第一正規化 1nf 第二正規化 2nf 第三正規化 3nf 巴斯 科德正規化 bcnf...
關聯式資料庫規範化理論 正規化
此篇博文是我的第一篇文章，在複習資料庫正規化部分的時候做的筆記。正規化指 規範化的關係模式，由於規範程度不同，產生了不同的正規化 乙個低一級的關係正規化通過模式分解可以轉換成若干高一級正規化的關係模式的集合。這個過程稱為關係模式的規範化。關係模式規範化的必要性 關係模式規範化，使之達到較高的正規化是...