文章目錄

• (四) 【關系數據庫規范理論】
• • 1.【關系規范化的作用】
  • • 1.1【非規范關系模式可能帶來的問題】
    • 1.2【關系規范化如何解決這些問題】
    • 1.3【規范化理論在數據庫設計中的作用】
  • 2.【函數依賴】
  • • 2.1【屬性之間的聯系類型】
    • 2.2【候選碼、主碼、主屬性、非主屬性、單碼、全碼等概念】
    • 2.3【函數依賴和碼的唯一性】
  • 3.【關系模式的規范化】
  • • 3.1【第一范式、第二范式、第三范式、BCNF的定義】
    • • 3.1.1【1NF】
      • 3.1.2【2NF】（所有非主屬性沒有部份依賴）
      • 3.1.3【3NF】（所有非主屬性沒有部份依賴沒有傳遞依賴）
      • 3.1.4【BCNF】（所有屬性沒有部份依賴沒有傳遞依賴）
    • 3.2【判定關系模式的規范化程度的方法，能夠應用規范化的理論規范關系模式到第三范式。】
  • 【重點例題】：

(四) 【關系數據庫規范理論】

1.【關系規范化的作用】

1.1【非規范關系模式可能帶來的問題】

• 數據大量冗余
• 更新異常
• 插入異常
• 刪除異常

1.2【關系規范化如何解決這些問題】

• 通過分解關系模式來消除其中不合適的數據依賴。

1.3【規范化理論在數據庫設計中的作用】

2.【函數依賴】

2.1【屬性之間的聯系類型】

• 一對一
• 一對多
• 多對多

2.2【候選碼、主碼、主屬性、非主屬性、單碼、全碼等概念】

• 候選碼：關系模式中，若K部份依賴于U，那么K為候選碼
• 主碼：關系模式中，若有多個候選碼，則選定其一為候選碼
• 外部碼：在關系模式中，不是本關系的和候選碼，但卻是另一個關系的碼
• 主屬性：包含在候選碼中的屬性
• 非主屬性：不包含在任何候選碼中的屬性
• 單碼：單個屬性是碼
• 全碼：所有屬性構成的碼

2.3【函數依賴和碼的唯一性】

• 碼的唯一性：碼是由一個或多個屬性組成的可唯一標識元組的最小屬性組。碼在關系中總是唯一的，即碼函數決定關系中的其他屬性。因此，一個關系中，碼值總是唯一的。否則，違反實體完整性規則

• 函數依賴的唯一性：一個函數依賴的決定因素可能是唯一的，也可能不是唯一的。如果我們知道A決定B，且A和B在同一關系中，但我們仍無法知道A是否能決定除B以外的其他所有屬性，所以無法知道A在關系中是否是唯一的

3.【關系模式的規范化】

• 當一個關系中的所有分量都是不可分的數據項時，該關系是規范化的
• 1NF-2NF-3NF-BCNF-4NF-5NF

3.1【第一范式、第二范式、第三范式、BCNF的定義】

3.1.1【1NF】

• 如果關系模式R中不包含多值屬性，則R滿足第一范式

3.1.2【2NF】（所有非主屬性沒有部份依賴）

• 如果一個關系R屬于1NF，且它的所有非主屬性都完全函數依賴于R的任一候選碼
• 推論：如果關系模式R-1NF，且它的每一個候選碼都是單碼

3.1.3【3NF】（所有非主屬性沒有部份依賴沒有傳遞依賴）

• 如果關系模式R屬于2NF，且它的每一個非主屬性都不傳遞依賴于任何候選碼
• 推論：如果關系模式R屬于1NF，且它的每一個非主屬性既不部分依賴，也不傳遞依賴于任何候選碼

3.1.4【BCNF】（所有屬性沒有部份依賴沒有傳遞依賴）

• 設關系模式R（U，F）屬于1NF，若F的任一函數依賴X->Y（Y不是X的子集）中X都包含了R的一個碼(也就是說X必須是超鍵)
• 推論：
  R中所有非主屬性對每一個碼都是完全函數依賴
  R中所有主屬性對每一個不包含它的碼，都是完全函數依賴
  R中沒有任何屬性完全函數依賴于非碼的任何一組屬性
  已實現了徹底的分離，消除了數據冗余、插入和刪除異常

3.2【判定關系模式的規范化程度的方法，能夠應用規范化的理論規范關系模式到第三范式。】

【重點例題】：

總結

以上是生活随笔為你收集整理的【数据库系统概论】考研第四部分重点分析【4.1】的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。