函数依赖项

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