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