Table of Contents
Theory of Functional Dependencies
Extraneous Attributes
Leftreduced FDs
Leftreduced covers (2)
Extraneous Attributes (2)
Rightreduced FDs
Rightreduced covers (2)
Reduced covers
Reduced covers -- Examples
Canonical covers
Minimal covers
Optimal covers
Testing lossless joins
Lossless join test
Testing lossless join (Example)
Testing Lossless Join (Example)
Testing lossless joins (proof sketch)
|