First page Back Continue Last page Graphics
Armstrong’s Axioms
The theorem asserts that Armstrong’s axioms are a sound and complete set of inference rules
- Sound: the Armstrong’s rules generate only FDs in F*
- Complete: the Armstrong’s rules generate all FDs in F*
If complete and sound then F+ = F*
Here
- Proof of the completeness
Notes: