First page Back Continue Last page Graphics
Completeness of the
Armstrong’s Axioms
Idea
- To establish completeness, it is sufficient to show:
- if X Y cannot be deduced from Armstrong’s axioms
(so X Y not in F+)
then there is a relational instance r for R in which all the dependencies in F are true, but X Y does not hold
(so X Y not in F*)
Notes:
Introduction
--------------
Presentation
---------------