Armstrong's axioms

（重定向自Armstrong axioms）

Armstrong's axioms are a set of axioms (or, more precisely, inference rules) used to infer all the functional dependencies on a relational database. They were developed by William W. Armstrong on his 1974 paper. The axioms are sound in generating only functional dependencies in the closure of a set of functional dependencies (denoted as $F^{+}$ ) when applied to that set (denoted as $F$ ). They are also complete in that repeated application of these rules will generate all functional dependencies in the closure $F^+$ .

单词	Armstrong axioms
释义	Armstrong axioms 英语百科 Armstrong's axioms （重定向自Armstrong axioms） Armstrong's axioms are a set of axioms (or, more precisely, inference rules) used to infer all the functional dependencies on a relational database. They were developed by William W. Armstrong on his 1974 paper. The axioms are sound in generating only functional dependencies in the closure of a set of functional dependencies (denoted as $F^{+}$ ) when applied to that set (denoted as $F$ ). They are also complete in that repeated application of these rules will generate all functional dependencies in the closure $F^+$ .
随便看	standard length rail standard length system Standard lens standardless standardlessness standard letter standard letters standard level standard lever Standard library standard light and medium duty engine lathe standard light Antarctic precipitation standard lightning impulse standard lightning impulse sparkover voltage standard lightning impulse sparkover voltage of arrester standard lightning impulse withstand voltage standard light source standard light sources standardlike standard limb leads standard limit standard line standard linear atmosphere standard linear model standard linear programming