Kazalo:
Opredelitev - Kaj pomeni Axiom Armstronga?
Armstrongov Aksiom je matematični zapis, ki se uporablja za iskanje funkcionalnih odvisnosti v bazi podatkov. Zasnoval ga je William W. Armstrong, to je seznam aksiomov ali sklepnih pravil, ki jih je mogoče uporabiti v kateri koli relacijski bazi podatkov. Označen je s simbolom F +.
Tehopedija razlaga Armstrongov Aksiom
Armstrongov Axiom se uporablja za analizo, izboljšanje in vzdrževanje relacijskih baz podatkov. Ima tri glavne načine ali sklepe, uporabljene na naboru podatkov. To so:
- Aksiom odsevnosti: Če uporabniško ime (A) in naslov (B) predstavljata ime osebe, potem je razmerje med obema (A in B) malo pomembno.
- Aksiom povečanja: Če ID uporabnika določi ime osebe, potem ID uporabnika z e-poštno kvoto določi ime osebe in e-poštno kvoto.
- Aksiom tranzitivnosti: Če ID uporabnika določa ime osebe, ime osebe pa določa oddelek, potem lahko oddelek določi ID uporabnika.
