Definição – O que significa Axioma de Armstrong?
O Axioma de Armstrong é uma notação matemática usada para encontrar as dependências funcionais em um banco de dados. Concebido por William W. Armstrong, é uma lista de axiomas ou regras de inferência que podem ser implementados em qualquer banco de dados relacional. É denotado pelo símbolo F +.
Definirtec explica o Axioma de Armstrong
O Axioma de Armstrong é usado para analisar, refinar e manter bancos de dados relacionais. Ele tem três modos ou inferências principais aplicados a um conjunto de dados. Eles são os seguintes:
- Axioma da reflexividade: Se o nome do usuário (A) e o cargo (B) representam o nome de uma pessoa, então a relação entre ambos (A e B) é de pouca importância.
- Axioma de aumento: Se um ID de usuário define o nome de uma pessoa, então o ID de usuário com cota de email define o nome da pessoa e a cota de email.
- Axioma da transitividade: Se um ID de usuário determina o nome de uma pessoa, e o nome de uma pessoa define o departamento, então o departamento pode definir o ID do usuário.