Tabla de contenido:
Definición: ¿Qué significa Axioma de Armstrong?
Armstrong's Axiom es una notación matemática utilizada 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 +.
Techopedia explica el axioma de Armstrong
Armstrong's Axiom se utiliza para analizar, refinar y mantener bases de datos relacionales. Tiene tres modos principales o inferencias aplicadas en 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 una ID de usuario define el nombre de una persona, entonces la ID de usuario con cuota de correo electrónico define el nombre de la persona y la cuota de correo electrónico.
- Axioma de transitividad: si una ID de usuario determina el nombre de una persona y el nombre de una persona define el departamento, entonces el departamento puede definir la ID de usuario.
