First page Back Continue Last page Graphics
Completeness of the
Armstrong’s Axioms
Suppose one can not deduce X Y from Armstrong’s axioms
Consider the instances r for R with 2 tuples
- (make the two tuples agree on X+ but disagree elsewhere)
Notes:
Introduction
--------------
Presentation
---------------