First page Back Continue Last page Graphics
Functional Dependency
Armstrong’s Axioms
Functional Dependency (reminder)
- Definition
- Inference rules
- Closure of F
- Set of all FDs obtained by applying inferences rules on a basic set of FDs
- Problem issues and solutions
Armstrong’s Axioms (reminder)
- 3 inferences rules for obtaining the closure of F
- Properties of the Armstrong’s Axioms
- They are a sound an complete set of inference rules
Proof of the completeness
Notes: