隐含的函数依赖?

Implied functional dependencies?

我遇到了这个问题,但我无法理解

implied functional dependencies

是什么意思?原题是:

List all the functional dependencies found in the spreadsheet. Remove any trivial or implied functional dependencies. Use FD rules if necessary to minimize the number of FDs needed to cover all FDs.

现在我知道如何找到函数依赖关系以及什么是微不足道的依赖关系,但什么是隐含的函数依赖关系?我尝试 google 但没有结果。谁能解释一下?谢谢。

从这些明确的函数依赖关系开始。

    A->B
    B->C

A->B 和 B->C,因此 A->C(传递性规则,来自阿姆斯特朗公理)。

FD A->C是隐式FD。这在逻辑上由两个显式 FD A->B 和 B->C 暗示。