Table des matières:
Définition - Que signifie Axiom d'Armstrong?
L'Axiom d'Armstrong est une notation mathématique utilisée pour trouver les dépendances fonctionnelles dans une base de données. Conçue par William W. Armstrong, c'est une liste d'axiomes ou de règles d'inférence qui peuvent être implémentées sur n'importe quelle base de données relationnelle. Il est désigné par le symbole F +.
Techopedia explique Axiom d'Armstrong
L'Axiom d'Armstrong est utilisé pour analyser, affiner et maintenir des bases de données relationnelles. Il a trois modes principaux ou inférences appliqués sur un ensemble de données. Ils sont les suivants:
- Axiome de réflexivité: si le nom d'utilisateur (A) et le titre (B) représentent le nom d'une personne, alors la relation entre les deux (A et B) a peu d'importance.
- Axiome d'augmentation: si un ID utilisateur définit le nom d'une personne, alors l'ID utilisateur avec quota de messagerie définit le nom de la personne et le quota de messagerie.
- Axiome de transitivité: si un ID utilisateur détermine le nom d'une personne et que le nom d'une personne définit le département, alors le département peut définir l'ID utilisateur.
