要判斷表格 R 符合第幾正規型式(Normal Form),需要逐步檢查 1NF、2NF 和 3NF。下面是詳細的步驟和理由:
1. 第一正規型(1NF)
定義:
表格的每一列都是不可分割的原子值。
沒有重複的行。
檢查:
假設表格 R 符合 1NF,因為問題中沒有提到重複值或非原子值。
2. 第二正規型(2NF)
定義:
表格必須先符合 1NF。
每個非主鍵屬性都完全依賴於主鍵,而不是部分依賴於主鍵的一部分。
檢查:
表格 R 的主鍵是 A。
根據功能相依:
A → B, C, D
D → B
所有的非主鍵屬性 B、C 和 D 都是完全依賴於主鍵 A,沒有部分依賴,因此 R 符合 2NF。
3. 第三正規型(3NF)
定義:
表格必須先符合 2NF。
每個非主鍵屬性都直接依賴於主鍵,而不依賴於其他非主鍵屬性(即,沒有傳遞依賴)。
檢查:
在表格 R 中,存在 D → B 的傳遞依賴(A → D 和 D → B,因此 A → B 是通過 D 的傳遞依賴)。
由於存在傳遞依賴,表格 R 不符合 3NF。
結論
表格 R 符合 第二正規型(2NF),但不符合第三正規型(3NF)。
理由:
表格 R 符合 1NF,因為沒有重複的行且每一列都是原子值。
表格 R 符合 2NF,因為所有非主鍵屬性完全依賴於主鍵 A,沒有部分依賴。
表格 R 不符合 3NF,因為存在傳遞依賴(D → B)。