First page Back Continue Last page Graphics
Functional Dependency
Problematic issue:
- representing set of ALL FDs for a relation R
Solution
- find a basic set of FDs
- Use axioms for infering
- represent the set of all FDs as the set of FDs that can be inferred from a basic set of FDs
Axioms
- they must be a sound and complete set of inference rules
Notes: