Définition - Que signifie l'axiome d'Armstrong?
L'Axiome d'Armstrong est une notation mathématique utilisée pour trouver les dépendances fonctionnelles dans une base de données. Conçu par William W. Armstrong, il s'agit d'une liste d'axiomes ou de règles d'inférence pouvant être implémentées sur n'importe quelle base de données relationnelle. Il est désigné par le symbole F +.
Definir Tech explique Axiom d'Armstrong
Axiom d'Armstrong est utilisé pour analyser, affiner et maintenir des bases de données relationnelles. Il comporte trois modes ou inférences principaux appliqués à 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) est de 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 la 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.