L-21.5: Normalization (Part-5) [Armstrong axioms (Rule)]

Inference rules for functional dependency
Armstrong axioms (Rule)
Properties of Functional dependency
Inference rules
Axiom of reflexivity
Augmentation Rule
Transitive Rule
Union Rule
Decomposition Rule
Pseudo transitive Rule
Composition