非平凡依赖关系的推导
derivation of nontrivial dependencies
我正在寻求帮助。我被一个基于功能依赖的问题困住了。
考虑关系模式 R= (A, B, C, D, E, G) 和函数依赖集 F：
A → 公元前
BD→E
光盘→AB
一种。使用 Armstrong 公理从 F 导出非平凡的依赖关系：AD → E 和 CD → E。显示所有步骤。
我无法理解这个问题。根据我的理解，这里所有的功能依赖都是重要的。那么阿姆斯特朗公理AD → E 和CD → E 是什么意思呢
另外，非平凡依赖关系的推导是什么意思？
让我们尝试从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的推导留作练习。
我正在寻求帮助。我被一个基于功能依赖的问题困住了。
考虑关系模式 R= (A, B, C, D, E, G) 和函数依赖集 F： A → 公元前 BD→E 光盘→AB 一种。使用 Armstrong 公理从 F 导出非平凡的依赖关系：AD → E 和 CD → E。显示所有步骤。
我无法理解这个问题。根据我的理解，这里所有的功能依赖都是重要的。那么阿姆斯特朗公理AD → E 和CD → E 是什么意思呢
另外，非平凡依赖关系的推导是什么意思？
让我们尝试从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的推导留作练习。