非平凡依赖的推导答案

【问题标题】：derivation of nontrivial dependencies非平凡依赖的推导
【发布时间】：2021-12-30 10:05:59
【问题描述】：

我正在寻求帮助。我被一个基于功能依赖的问题困住了。

考虑关系模式 R= (A, B, C, D, E, G) 和函数依赖的集合 F： A → 公元前 BD → E CD → AB 一种。使用 Armstrong 公理从 F 中推导出非平凡的依赖关系：AD → E 和 CD → E。显示所有步骤。

我无法理解这个问题。根据我的理解，这里所有的功能依赖都不是微不足道的。那么阿姆斯特朗公理的含义是什么：AD → E 和 CD → E。

另外，非平凡依赖的推导是什么意思？

【问题讨论】：

标签： database functional-dependencies

【解决方案1】：

让我们尝试从Armstrong’s axioms 推导出AD → E（我认为这是练习的要求）。

推导步骤如下：

1. A → BC (given)
2. BD → E (given)
3. AD → BCD (for augmentation from 1)
4. BCD → BD (for reflexivity)
5. AD → BD (for transitivity from 3 and 4)
6. AD → E (for transitivity from 5 and 2)

我把CD→E的推导留作练习。

【讨论】：

非常感谢先生，所以推导意味着给定 FD，A → BC BD → E CD → AB 我需要找出如何到达 AD->E 和 CD->E？我对吗？它可以帮助我从你的推导中学习。
是的，练习询问如何使用阿姆斯壮公理推导出 AD->E 和 CD->E。
如何获得 BCD->BD？哪个函数依赖有助于实现这一点？
reflexivity axiom 表示：如果 Y 是 X 的子集，则 X -> Y 成立。这里 BD 是 BCD 的一个子集。
是的，没错。