FD Concept
=>
FD Inference Rules
=>
FDs in DD Airport
=>
Key and Superkey
=>
Redundancy Reduction
=>
BCNF Demo
=>
Quiz
We define the following three inference rules for FDs, called
Armstrong's Axiom System
:
Example:
