數據庫范式：從定義到第五范式

1. 數據庫范式定義

數據庫范式是數據庫設計的理論框架，用于規范數據在關系型數據庫中的組織和存儲。它幫助避免數據冗余，保證數據的完整性和一致性。通過遵循這些范式，可以設計出結構良好、性能優越的數據庫。

2. 第一范式（1F）

第一范式是最基本的規范化形式，要求數據庫表的每一列都是不可分割的基本數據項。換句話說，它要求列都是原子性的，不能再分解為更小的部分。滿足1F是其他更高級范式的基礎。

3. 第二范式（2F）

第二范式是在第一范式的基礎上，要求表中的所有非主屬性都完全函數依賴于整個主鍵。換句話說，如果一個表有一個復合主鍵，那么其他列必須依賴于這個復合主鍵的整個值，而不是僅依賴于這個復合主鍵的一部分。

4. 第三范式（3F）

第三范式是在第二范式的基礎上，要求非主屬性之間不存在傳遞依賴。也就是說，非主屬性之間的依賴關系必須直接與主鍵相關，而不是間接地通過其他非主屬性。滿足第三范式的數據庫表中的每個非主屬性只依賴于主鍵，而不是其他非主屬性。

5. 第四范式（4F）

第四范式要求表中的每一個組都能決定每一個可能的組。這實際上意味著，在表中沒有冗余的數據組，每組的數據都可以唯一地由主鍵確定。

6. 第五范式（5F）

第五范式是最高級的范式，它要求表中的每一個決定因素都包含候選鍵。這意味著如果一個屬性集能夠決定一個屬性，那么這個屬性集必須包含候選鍵。滿足第五范式的數據庫表具有最少的冗余數據，且所有數據依賴都是直接的。

7. 范式之間的轉換