函數依賴項

Question

我想弄清楚一些關於函數依賴關係（數據庫）的問題。這是暗示真實還是錯誤，爲什麼？

如果A-> B則AC-> B

非常感謝！

我的解決辦法：

假設A是B的子集，然後B-> A（阿姆斯特朗規則）。因此AC-> B是因爲A是AC的一個子集。如果AC-> A和A-> B，則AC-> B，根據傳遞規則。

Answer 1

如果A單獨在功能上確定B，那麼向關係的左側添加冗餘屬性將不會改變原始依賴關係的真實性。

基本上這是擴充規則表格Armstrons Axioms其中規定如果A - > B然後A，C - > B，C。然後通過分解A，C - > B