Question

我很难确切地想象出A-> BC意味着什么，主要是BC究竟做了什么例如，在表格“如果A - ＆gt; B和B - ＆gt; C，则A - ＆gt; C”看起来像这样，并且该陈述将为真：

A  |  B  |  C 
1  |  2  |  3 
1  |  2  |  3

A - ＆gt; BC看起来像？

你会如何展示“如果AB - ＆gt; C，那么A - ＆gt; BC”是假的？

谢谢！

编辑：
我的猜测是AB - ＆gt; C表示C依赖于A和B，因此表格如下所示：

A  |  B  |  C 
1  |  2  |  3 
1  |  2  |  3

或者这（这可能是我上述问题的一个反例）：

A  |  B  |  C 
1  |  2  |  4 
1  |  3  |  4

两者都是真的。但这是错误的：

A  |  B  |  C 
1  |  2  |  4 
1  |  3  |  5

这是正确的想法吗？

Answer 1

如果您还没有阅读this，那么可以正常介绍功能依赖项。它说：

Union：如果X→Y和X→Z，则X→YZ

分解：如果X→YZ，则X→Y和X→Z

我发现将A -> B视为“A确定B”并将A -> BC读为“A确定B和C”会很有帮助。换句话说，给定A，您可以唯一地确定B和C的值，但是给定B和C不一定是真的，您可以唯一地确定A的值。

这是一个简单的例子：一个至少包含3列的表，其中A是主键，B和C是任何其他列：

 id | x | y
------------
 1  | 7 | 4
 2  | 9 | 4
 3  | 7 | 6

要表明If AB -> C, then A -> BC是假的，你只需要提出一个反例。这是一个：AB是主键的表（因此根据定义，它满足AB -> C）：

 A | B | C
------------
 1 | 1 | 4
 1 | 2 | 5
 2 | 1 | 6
 2 | 2 | 4

但是，它不满足A -> B（因为对于A = 1，B = 1,2），因此，通过Union，它不满足A -> BC。（奖励积分：它是否满足A -> C？这有关系吗？）