如何从表中派生函数依赖项

Question

我有一个功课，试图从here派生一个表的功能依赖。有七个属性名为[A-G]，在表格中，属性[A-F]的所有组合都列在表格中，最后一列G依赖于列[A-F]。 那么如何导出函数依赖？ 我尝试通过强力方法挖掘关系，并且只找到可以确定最后一个属性的所有六个属性。有人有什么好主意吗？

Answer 1

实际上，函数依赖项ABCDEF → G是数据中唯一存在的非平凡依赖项。

这可以通过强力证明，因为对于每个不同属性组合的相等值，我们总能为每个剩余属性找到不同的值。

由于这是通过挖掘数据找到的唯一依赖关系，因此对于每个属性X → Y的组合，X，不存在其他依赖关系，这是明显的简单依赖关系Y ⊆ X的一部分。 }}

Answer 2

鉴于一些FD持有，所有可以通过阿姆斯特朗公理得出的FD也都存在。

如果你知道唯一持有的FD是那些持有的FD，即那些给定的FD持有，那么阿姆斯特朗的公理会给你所有持有的FD。