Armstrong's axioms

Armstrong's axioms are a set of rules used in the field of database normalization, specifically within the context of functional dependencies in relational databases. They were introduced by William W. Armstrong in 1974 to provide a formal basis for reasoning about functional dependencies and to infer additional functional dependencies from a given set.