使用阿姆斯特朗公理证明 AD->B

Question

R(A,B,C,D) F={A->C, D->B}

使用阿姆斯特朗公理如何证明 AD->B？

我目前拥有的是：如果 D->B 和 A 是 U 的任何子集，则使用扩充，则 AD->AB 但我对这个答案没有信心

Answer 1

这里有一个简单的证明：

1. D -> B by hypothesis
2. AD -> AB by augmentation of 1
3. AB -> B by reflexivity
4. AD -> B by transitivity of 2 and 3

Prove that AD->B using armstrong's axioms