First page Back Continue Last page Graphics
Completeness of the
Armstrong’s Axioms
First define X+, the closure of X with respect to F:
- X+ is the set of attributes A such that X A can be deduced from Armstrong’s axioms
Note that we can deduce that X Y for some set Y by consulting Armstrong’s axioms if and only if Y X+
Notes:
Introduction
--------------
Presentation
---------------
Example
----------