First page Back Continue Last page Graphics
Completeness of the
Armstrong’s Axioms
Idea
- If X Y cannot be deduced from Armstrong’s axioms then there is a relational instance r for R in which all the dependencies in F are true, but X Y does not hold
Notes:
Introduction
--------------
Presentation
---------------