First page Back Continue Last page Graphics
Completeness of the
Armstrong’s Axioms
We have proved the correctness (last colstructie) and the completeness of Armstrong’s Axioms:
- How to prove the soundness of another set of rules?
- From the definition
- Deduce from the Armstrong’s Axioms
- How to disprove their soundness
Notes:
Introduction
--------------
Presentation
---------------