Inhoudsopgave:
Definitie - Wat betekent Armstrong's Axiom?
Axiom van Armstrong is een wiskundige notatie die wordt gebruikt om de functionele afhankelijkheden in een database te vinden. Bedacht door William W. Armstrong, het is een lijst met axioma's of inferentieregels die kunnen worden geïmplementeerd in elke relationele database. Het wordt aangeduid met het symbool F +.
Techopedia verklaart Axiom van Armstrong
Axiom van Armstrong wordt gebruikt om relationele databases te analyseren, verfijnen en onderhouden. Het heeft drie belangrijke modi of gevolgtrekkingen toegepast op een set gegevens. Ze zijn als volgt:
- Axioma van reflexiviteit: als gebruikersnaam (A) en titel (B) de naam van een persoon vertegenwoordigen, dan is de relatie tussen beide (A en B) van weinig belang.
- Axioma van augmentatie: als een gebruikers-ID de naam van een persoon definieert, definieert het gebruikers-ID met e-mailquotum de naam van de persoon en het e-mailquotum.
- Axioma of Transitivity: als een gebruikers-ID de naam van een persoon bepaalt en de naam van een persoon de afdeling definieert, kan de afdeling de gebruikers-ID definiëren.
