First page Back Continue Last page Graphics
Completeness of the
Armstrong’s Axioms
Confirm that X Y does not hold in r:
- Recall that we can deduce that X Y for some set Y by consulting Armstrong’s axioms if and only if Y X+
- By assumption, we can’t deduce that X Y holds in r
- Hence Y contains an attribute not in the subset X+, confirming that X Y does not hold in r
Notes:
Introduction
--------------
Presentation
---------------