Sommario:
Definizione - Cosa significa Axiom di Armstrong?
L'assioma di Armstrong è una notazione matematica utilizzata per trovare le dipendenze funzionali in un database. Concepito da William W. Armstrong, è un elenco di assiomi o regole di inferenza che possono essere implementati su qualsiasi database relazionale. È indicato dal simbolo F +.
Techopedia spiega Axiom di Armstrong
Axiom di Armstrong viene utilizzato per analizzare, perfezionare e mantenere database relazionali. Ha tre principali modalità o inferenze applicate su un insieme di dati. Sono i seguenti:
- Assioma della riflessività: se il nome utente (A) e il titolo (B) rappresentano il nome di una persona, la relazione tra entrambi (A e B) è di scarsa importanza.
- Assioma dell'aumento: se un ID utente definisce il nome di una persona, l'ID utente con quota e-mail definisce il nome e la quota e-mail della persona.
- Assioma della transitività: se un ID utente determina il nome di una persona e il nome di una persona definisce il reparto, il reparto può definire l'ID utente.
