Boyce-Codd 范式中的關系能否在主要屬性之間具有函數依賴關系？

Question

我的問題很簡單。 從我所見，似乎從 1NF、2NF、3NF 到 Boyce-Codd 形式的規范化似乎主要處理非主要屬性的問題。 如果我沒記錯的話，下表是 Boyce-Codd 形式：

R(A,B,C), F = {AB->C, A->B}

A,B 是復合主鍵，這對我來說似乎很奇怪。

我在這里錯過了什么嗎？

Answer 1

如果 A->B 則 {AB} 不可能是主鍵，因為它不是最小的。 因此假設A是唯一的鍵，那么 R 就依賴關系 AB->C、A->B 而言至少處於 BCNF 中。

Answer 2

如果 A 確定 B (A -> B)，那么說 AB 確定 C (AB -> C) 意味着 A 確定 C (A -> C)。

說 A -> B 意味着沒有兩條記錄，其中 B 列具有不同的值但 A 列具有相同的值。

說 AB -> C 意味着沒有兩條記錄，其中 C 列具有不同的值，但 A 和 B 列具有相同的值。 雖然，因為 A -> B，我們已經知道如果 A 列具有相同的值，那么 B 列也具有相同的值。 因此，我們可以這樣說，看到 A -> B 然后 AB -> C 意味着 A -> C。

因此，R 中的 FD 為：

1. A -> B
2. A -> C

對於在 BCNF 中的關系，必須滿足以下條件：

1. 它必須已經在 3NF 中
2. 在行列式不是超級鍵的情況下，不能有非平凡的函數依賴

正如您所說，由於您已經在 3NF 中建立了關系，因此我們滿足第一個條件。 在所有 R 的 FD 中，行列式都是超級鍵（A 是超級鍵），我們滿足第二個條件。

因此，R 在 BCNF 中。