Table of Contents
Theory of Functional Dependencies
Notation
Example relations
Functional Dependencies
Armstrong’s Inference Axioms for FDs
Armstrong’s Axioms
Example derivation sequence
Another Example
Yet Another Example
Closure of a Set of FDs
Keys
Closure of a set of attributes under a set of FDs
Computing closures
Example closure
Testing Membership
Testing Equivalence of two FD sets
Covers of FD sets
Testing equivalence of sets of FDs (2)
Nonredundant covers
Nonredundant covers (2)
Nonredundant covers (3)
Nonredundant covers (4)
|