About us
Services
Products
Work
Contact
Feedback
In Focus
Flash XML slideshow
Database training
3.1.08. Dependency derivation
Rules of inference
reflexive: if X implies Y then X -> Y
augment: {X -> Y} then XZ -> YZ
transitive: {X -> Y,Y -> Z} then X -> Z
Armstrong demonstrated complete for closures
‹ 3.1.07. Functional dependency
up
3.1.09. Functional dependency ›
s5 slideshow