如果 A -> B 用 C 擴充，那麼 AC -> B 合法嗎？

給定增強公理和函式依賴的分解公理以及 R(A,B,C) 與 FD 的關係：A -> B

我可以用 C 增加 A -> B 以獲得 AC -> BC。

然後我可以分解 AC -> BC 得到 AC -> B 嗎？

社區維基回答：

是的。你可以分解得到AC -> B和AC -> C。

引用自：https://dba.stackexchange.com/questions/198432