What Does Armstrong’s Axiom Mean?
Armstrong’s Axiom is a mathematical notation used to find the functional dependencies in a database. Conceived by William W. Armstrong, it is a list of axioms or inference rules that can be implemented on any relational database. It is denoted by the symbol F+.
Techopedia Explains Armstrong’s Axiom
Armstrong’s Axiom is used to analyze, refine and maintain relational databases. It has three major modes or inferences applied on a set of data. They are as follows:
