can anyone help me with this?

"Argue that if we replace transitivity with pseudo-transitivity in the Armstrong’s axioms, we still have a set of axioms that is complete"

Is the proof suppose to use other Armstrong axiom to show that pseudo-transitivity will result in transitivity?

  • Yes, basically you have to prove that from the other two axioms, reflexivity and augmentation, plus pseudo-transitivy, you can prove the transitivity rule. This is because a set of axioms is complete basically means that from it you can derive all the functional dependency that holds. And since the three classical axioms are complete, if you can derive the transitivity rule you know that you can derive any functional dependency that holds. The proof is not particularly difficult. – Renzo Oct 21 at 8:02

Your Answer


By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.