Functional Dependencies

• Definition. Instance of a relation valid under a set of functional dependencies.
• Closure of a set of functional dependencies. Armstrong's axioms.
• Algorithm for computing the closure of a set of attributes under a set of functional dependencies.
• Schema refinement. Criteria. Lossless join decomposition. Dependency preserving decomposition.