Definición: ¿Qué significa el axioma de Armstrong?
Axiom de Armstrong es una notación matemática que se utiliza para encontrar las dependencias funcionales en una base de datos. Concebido por William W. Armstrong, es una lista de axiomas o reglas de inferencia que se pueden implementar en cualquier base de datos relacional. Se denota con el símbolo F +.
Techinfo explica el axioma de Armstrong
Axiom de Armstrong se utiliza para analizar, perfeccionar y mantener bases de datos relacionales. Tiene tres modos principales o inferencias aplicadas a un conjunto de datos. Son los siguientes:
- Axioma de reflexividad: si el nombre de usuario (A) y el título (B) representan el nombre de una persona, entonces la relación entre ambos (A y B) es de poca importancia.
- Axioma de aumento: si un ID de usuario define el nombre de una persona, entonces el ID de usuario con cuota de correo electrónico define el nombre de la persona y la cuota de correo electrónico.
- Axioma de la transitividad: si una identificación de usuario determina el nombre de una persona y el nombre de una persona define el departamento, entonces el departamento puede definir la identificación de usuario.