Functional dependency: Difference between revisions

Content deleted Content added
Line 118:
 
=== Closure of functional dependency ===
The closure of a set of values is essentially the full set of valuesattributes that can be determined fromusing aits setfunctional of known valuesdependencies for a given relationship using its functional dependencies. One uses [[Armstrong's axioms]] to provide a proof - i.e. reflexivity, augmentation, transitivity.
 
Given <math>R</math> and <math>F</math> a set of FDs that holds in <math>R</math>: