範式
1NF: 2NF: 3NF: BCNF: 4NF: 5NF: 屬性不可再分 非主屬性均 既不部分依賴於候選鍵 也不傳遞依賴於候選鍵 非主屬性均 既不部分依賴於候選鍵 也不傳遞依賴於候選鍵 且候選鍵均包含主鍵 非主屬性均不部分賴於候選鍵 無非平凡且非函數依賴的多值依賴 每一個連接依賴均由候選碼所隱含
消除非主屬性對碼的部分函數依賴
消除非主屬性對碼的傳遞函數依賴
消除主屬性對碼的部分函數依賴和傳遞函數依賴
消除非平凡且非函數依賴的多值依賴
1NF
2NF
3NF
BCNF
4NF
依賴
| 依賴 | 具體： 設 R ( U ) R(U) R(U)爲屬性集 U U U上的關係模式， X ⊆ U , Y ⊆ U X \subseteq U,Y \subseteq U X⊆U,Y⊆U， 對於R(U)的任意一個可能的關係 r r r |
|---|---|
| 函數依賴(FD) | Y Y Y對 X X X函數依賴： r r r中不存在兩個元組在 X X X上屬性相等但在 Y Y Y上屬性不等，則 X → Y X\to Y X→Y， X X X爲決定因素 |
| 平凡函數依賴 | X → Y 且 Y ⊆ X ⇒ X → Y X\to Y且Y \subseteq X\Rightarrow X\to Y X→Y且Y⊆X⇒X→Y是平凡函數依賴 |
| 完全函數依賴 | Y Y Y對 X X X完全函數依賴： X → Y 且 ∀ X ′ ↛ Y ⇒ X → F Y X\to Y且\forall X'\not\to Y\Rightarrow X\overset{F}{\to}Y X→Y且∀X′→Y⇒X→FY |
| 部分函數依賴 | Y Y Y對 X X X部分函數依賴： X → Y 且 X ̸ → F Y ⇒ X → P Y X\to Y且X\not\overset{F}{\to}Y\Rightarrow X\overset{P}{\to}Y X→Y且X→FY⇒X→PY |
| 傳遞函數依賴 | Z Z Z對 X X X傳遞函數依賴： X → Y 且 Y → Z 且 Z ⊈ Y 且 Y ⊈ X 且 Y ↛ X ⇒ X ⟶ 傳 遞 Z X\to Y且Y\to Z且Z\not\subseteq Y且Y\not\subseteq X且Y\not\to X\Rightarrow X\overset{傳遞}{\longrightarrow}Z X→Y且Y→Z且Z⊆Y且Y⊆X且Y→X⇒X⟶傳遞Z |
| 多值依賴(MVD) | X → → Y ⇔ ∀ 關 系 r 於 R ( U ) 中 , 給 定 一 組 值 ( x , z ) , ∃ Y 僅 與 x 有 關 而 與 z 無 關 X\to \to Y\Leftrightarrow \forall 關係r於R(U)中,給定一組值(x,z),\exist Y僅與x有關而與z無關 X→→Y⇔∀關系r於R(U)中,給定一組值(x,z),∃Y僅與x有關而與z無關 |
函數依賴
車 牌 → 車 車牌\to 車 車牌→車
| 車牌 | 車 |
|---|---|
| 滬A·66666 | 🚗 |
| 滬A·66886 | 🚙 |
| 滬A·88888 | 🚐 |
| 滬A·99999 | 🚚 |
| 滬A·44444 | 🚕 |
完全函數依賴、平凡函數依賴
完全函數依賴： ( 經 度 , 緯 度 ) → 地 點 (經度,緯度)\to 地點 (經度,緯度)→地點
平凡函數依賴： ( 經 度 , 緯 度 ) → 緯 度 (經度,緯度)\to 緯度 (經度,緯度)→緯度
| 經度 | 緯度 | 地點 |
|---|---|---|
| E37°37’ | N55°45’ | 莫斯科 |
| E106°53’ | N47°55’ | 烏蘭巴托 |
| E74°46’ | N42°53’ | 比什凱克 |
| E73°08’ | N33°4’ | 伊斯蘭堡 |
| E77°13’ | N28°37’ | 新德里 |
部分函數依賴、完全函數依賴
部分函數依賴： ( 科 目 , 學 員 號 ) → 姓 名 (科目,學員號)\to 姓名 (科目,學員號)→姓名
完全函數依賴： ( 科 目 , 學 員 號 ) → 考 試 時 間 (科目,學員號)\to 考試時間 (科目,學員號)→考試時間
| 科目 | 學員號 | 考試時間 | 姓名 |
|---|---|---|---|
| 二 | 200V | 8:00:00 | 張偉 |
| 二 | 201V | 8:20:00 | 李偉 |
| 三 | 202V | 8:40:00 | 王偉 |
| 三 | 200 | 9:00:00 | 趙偉 |
傳遞函數依賴
用 戶 → 權 限 等 級 用戶\to 權限等級 用戶→權限等級， 權 限 等 級 → 權 限 權限等級\to權限 權限等級→權限
用 戶 ⟶ 傳 遞 權 限 用戶\overset{傳遞}{\longrightarrow}權限 用戶⟶傳遞權限
| 用戶 | 權限等級 | 權限 |
|---|---|---|
| 00 | 0 | 普通只讀 |
| 01 | 0 | 普通只讀 |
| 02 | 4 | 管理員 |
| 03 | 2 | 普通讀寫 |
| 05 | 2 | 普通讀寫 |
多值依賴
課 程 → → 教 師 課程\to \to 教師 課程→→教師
| 課程 | 教師 | 教材 |
|---|---|---|
| 數據庫系統概論 | 張偉 | 數據庫系統概論 高教出版社 |
| 數據庫系統概論 | 張偉 | 數據庫系統概論 清華出版社 |
| 數據庫系統概論 | 李偉 | 數據庫系統概論 高教出版社 |
| 數據庫系統概論 | 李偉 | 數據庫系統概論 清華出版社 |
| 計算機網絡 | 王偉 | 計算機網絡 高教出版社 |
| 計算機網絡 | 王偉 | 計算機網絡 電子工業出版社 |
| 計算機網絡 | 王偉 | 計算機網絡 清華出版社 |
| 計算機網絡 | 李偉 | 計算機網絡 高教出版社 |
| 計算機網絡 | 李偉 | 計算機網絡 電子工業出版社 |