F +（F的关闭）和F *（F的封面）之间的功能依赖关系有什么区别？

Question

F +和F *定义如下：

• F +：关闭F

  • F + = {fd | F | = fd}
  • 从推理规则推导出的所有FD的集合（通常为：Armstrong公理）

• F：F

  的封面
  • {fd | F | - fd} F
  的封面
  • F所有FD的集合（所有FD都是真的）

所以我的问题是：F +和F *有什么区别？你能举一个例子来证明它的区别。

Answer 1

阿姆斯特朗公理的一个重要特性（以及类似的公理集），它们是完整的（例如this）。

这个数量可以说F ⁺ = F ^* 。换句话说，从这些公理中得到的所有FD在逻辑上都是由F引起的，并且F在逻辑上所需的所有FD依赖性都可以通过重复应用公理来推导出来。