Índice:
Definição - O que significa Axiom de Armstrong?
O Axioma de Armstrong é uma notação matemática usada para encontrar as dependências funcionais em um banco de dados. Concebida por William W. Armstrong, é uma lista de axiomas ou regras de inferência que podem ser implementadas em qualquer banco de dados relacional. É indicado pelo símbolo F +.
Techopedia explica o Axioma de Armstrong
O Axiom de Armstrong é usado para analisar, refinar e manter bancos de dados relacionais. Possui três modos principais ou inferências aplicadas a um conjunto de dados. Eles são os seguintes:
- Axioma da reflexividade: se o nome de usuário (A) e o título (B) representam o nome de uma pessoa, o relacionamento entre ambos (A e B) é de pouca importância.
- Axioma de Ampliação: Se um ID do usuário define o nome de uma pessoa, o ID do usuário com cota de email define o nome da pessoa e a cota de email.
- Axioma da transitividade: se um ID do usuário determina o nome de uma pessoa e o nome da pessoa define o departamento, o departamento pode definir o ID do usuário.
