功能依赖期限

Question

我正在尝试找出有关功能依赖性（数据库）的一些问题。这种含义是真是假，为什么？

如果A-> B，则AC-> B

非常感谢你！

我的解决方案：

假设A是B的子集，然后是B-> A（Armstrong规则）。因此AC-> B，因为A是AC的子集。如果AC-> A和A-> B，则AC-> B，根据及物性规则。

Answer 1

如果A单独在功能上确定B，那么在关系的左侧添加冗余属性将不会改变原始依赖关系的真实性。

基本上这是增强规则形式Armstrons Axioms，它表明如果A - >; B然后A，C - >公元前。然后通过分解A，C - >乙