Normalization
如果 AB->C 是數據庫的 FD，那麼這是否意味著 A->C
從下面關於 FD Axioms(Armstrong’s) 下的功能依賴的
我開始知道 ab→ c 並不意味著 a → c 和 b → c
但是，當我閱讀 CJDate 的“數據庫系統簡介”一書時，在第 279 頁，有一個範例講述了以下一組 FD 的減少：
A -> BC
B -> C
A -> B
AB -> C
AC -> D
在歸約過程的第 3 點下，它進一步提到：接下來，我們觀察到 FD AB -> C 可以被消除，因為我們再次有 A -> C，所以 AB -> CB 通過增廣，所以 AB -> C通過分解。
所以，這意味著如果 A -> C，那麼我們可以暗示 AB -> C。
假設我們在一個單獨的情況下給出了 FD AB -> C，那麼讓我們假設 A -> C，所以 AB -> C 通過上述推論，因此我們的假設是正確的。那麼，就證明上面連結中的數據是假的！這種數學方法是不正確的還是我以不同的方式錯了？請從每個角度出發！
我開始知道這
ab → c並不意味著a → c和b → c正確的。這也不意味著。
….
所以，這意味著如果 A -> C，那麼我們可以暗示 AB -> C。
是，對的。但以下內容：
假設……這種數學方法是不正確的還是我以不同的方式錯了？
不，
A -> C是從 中扣除的A -> BC，而不是從中扣除的AB -> C。
A -> BC只是一個簡寫符號A -> B and A -> C
我從以下問題中了解到：
並得出結論，我錯在哪裡，在哪裡，我走反了！因此，AB->C 並不意味著 A->C 僅通過假設 A->C 並以與上述問題類似的方式證明 AB->C 來暗示 A->C，其中 AX->BX 不能暗示 A->B)