logo
  • 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 dependencyup3.1.09. Functional dependency ›
  • s5 slideshow
 

 

 

Copyright 2007 Lightenna Limited

  • About us
  • Services
  • Products
  • Work
  • Contact