First page Back Continue Last page Graphics
Completeness of the
Armstrong’s Axioms
- How to prove completeness of another set of rules?
- Repeat the given proof
- Deduce Armstrong’s Axioms from them
- How to disprove completeness
- By showing (via a counterexample)
that some consequence of Armstrong's rules
cannot be deduced from them
Notes:
Introduction
--------------
Presentation
---------------