First page Back Continue Last page Graphics
Completeness of the
Armstrong’s Axioms
Check that all the dependencies in F are true
- Illustration
- O N is a dependency in F but O is not a subset of X+, the dependency holds in r
- M N is a dependency in F and M is a subset of X+, then both L M, and L N can be deduced by Armstrong’s axioms. This means that N is a subset of X+, and thus M N holds in r
Notes:
Introduction
--------------
Presentation
---------------