Innehållsförteckning:
Definition - Vad betyder Armstrongs Axiom?
Armstrongs Axiom är en matematisk notation som används för att hitta funktionella beroenden i en databas. Tänkt av William W. Armstrong, är det en lista över axiomer eller inferensregler som kan implementeras i valfri databas. Det betecknas med symbolen F +.
Techopedia förklarar Armstrongs Axiom
Armstrongs Axiom används för att analysera, förfina och underhålla relationella databaser. Den har tre huvudlägen eller slutsatser tillämpade på en uppsättning data. De är som följer:
- Reflexivitetens axiom: Om användarnamn (A) och titel (B) representerar en persons namn, är förhållandet mellan båda (A och B) av liten betydelse.
- Förstärkningens axiom: Om ett användar-ID definierar en persons namn, definierar användar-ID med e-postkvot personens namn och e-postkvot.
- Axiom of Transitivity: Om ett användar-ID bestämmer en persons namn, och en persons namn definierar avdelningen, kan avdelningen definiera användar-ID.
