Content deleted Content added
No edit summary |
Removing link(s) to "Database System Concepts": Removing links to deleted page Database System Concepts. |
||
Line 78:
== Properties and axiomatization of functional dependencies ==
{{Main article|Armstrong's axioms}}
Given that ''X'', ''Y'', and ''Z'' are sets of attributes in a relation ''R'', one can derive several properties of functional dependencies. Among the most important are the following, usually called [[Armstrong's axioms]]:<ref name="SilberschatzKorth2010a">{{cite book|author1-link=Abraham Silberschatz|author2-link=Henry F. Korth|author1=Abraham Silberschatz|author2=Henry Korth|author3=S. Sudarshan|title=
* '''Reflexivity''': If ''Y'' is a subset of ''X'', then ''X'' → ''Y''
* '''Augmentation''': If ''X'' → ''Y'', then ''XZ'' → ''YZ''
|