Armstrong's axioms

noun

A set of references (or, more precisely, inference rules) used to infer all the functional dependencies on a relational database.

Meanings

nounArmstrong's axioms pl (plural only)
  1. pluralplural onlycomputingA set of references (or, more precisely, inference rules) used to infer all the functional dependencies on a relational database.

Origin

Developed by William W. Armstrong in a 1974 paper.

Full word history & related roots →
Cite this entry
APA

Armstrong's axioms. (n.d.). In WatkinsX Dictionary. Retrieved November 5, 2026, from https://dictionary.watkinsx.com/word/Armstrong's%20axioms

MLA

“Armstrong's axioms.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Armstrong's%20axioms. Accessed November 5, 2026.

Chicago

WatkinsX Dictionary, s.v. “Armstrong's axioms,” accessed November 5, 2026, https://dictionary.watkinsx.com/word/Armstrong's%20axioms.

Source: Armstrong's axioms on Wiktionary, CC BY-SA 4.0.