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