
【計】 third normal form
third; thirdly
【機】 third
【計】 normal form
中文:第三範式(3NF)是數據庫規範化理論中的關鍵層級,要求數據表在滿足第二範式(2NF)的基礎上,消除非主屬性對候選鍵的傳遞依賴。
英文:The Third Normal Form (3NF) is a database normalization level where a relation is in 2NF and no non-prime attribute is transitively dependent on any candidate key.
表必須首先滿足第二範式(2NF),即所有非主屬性完全依賴于主鍵(消除部分依賴)。
任何非主屬性不能依賴于其他非主屬性(即不存在鍊式依賴)。數學表達為:
$$
text{若 } A to B text{ 且 } B to C text{,則 } A to C text{ 為傳遞依賴}
$$
在3NF中需拆解此類關系,确保非主屬性直接依賴于候選鍵。
| 學號 | 課程 | 學院 | 院長 | 假設主鍵為(學號,課程),依賴關系:
消除傳遞依賴後,數據冗餘與更新異常得以解決。
中文術語 | 英文術語 | 解釋 |
---|---|---|
傳遞依賴 | Transitive Dependency | 非主屬性通過其他屬性間接依賴候選鍵 |
非主屬性 | Non-Prime Attribute | 不屬于任何候選鍵的屬性 |
候選鍵 | Candidate Key | 可唯一标識元組的最小屬性集 |
函數依賴 | Functional Dependency | 屬性集X的值唯一決定屬性集Y的值(X→Y) |
定義3NF為“關系模式中所有非主屬性對每個候選鍵均直接完全依賴,且無傳遞依賴”。
強調3NF通過分解表結構減少數據冗餘,是關系數據庫設計的黃金标準之一。
指出3NF可避免插入/删除異常(如無法單獨添加學院信息)。
注:3NF是數據庫設計中的理論基準,實際工程中可結合業務需求靈活調整範式級别(如反規範化以優化查詢)。
第三範式(Third Normal Form,3NF)是關系數據庫設計中的一種規範化形式,屬于數據庫規範化理論的核心内容之一。它的核心目标是消除數據冗餘和避免更新異常,确保數據結構的合理性與高效性。
一個關系模式滿足第三範式,當且僅當:
簡單來說,若存在字段A依賴于字段B,而字段B又依賴于主鍵,則字段A對主鍵的依賴是“傳遞”的,需通過拆分表來消除這種關系。
假設有一個學生選課表,包含以下字段:
學號, 課程號, 成績, 學生姓名, 所在院系, 院系主任
。
違反3NF的情況:
滿足3NF的拆分:
學號, 學生姓名, 所在院系
學號, 課程號, 成績
所在院系, 院系主任
如需進一步學習,可參考數據庫設計經典教材(如《數據庫系統概念》)。
安全返航點拔模斜度成珠聚合沖擊應力膽甾烯醇碘代乙烷撫育光澤苔癬鼓鼓囊囊海上旅行的何勒内斯描述符鍵控箝位交換表急需征購可變長指令磷酸乙酯利斯廷氏模型眼嗎拉宗明闆前景顔色栅電路測試器十四烷基硫酸鈉衰減管屬性分布樹四氯化乙炔斯平内利氏手術四腿畸胎特派同步計時器通用審計方案