Functional dependencies and Armstrong's axioms
The formal definition of a functional dependency, trivial vs non-trivial dependencies, and the three inference rules that let you derive every dependency implied by a given set.
10 min readUpdated 2026-09-04dbmsfunctional-dependenciesarmstrongs-axioms