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