Cuprins:
Definiție - Ce înseamnă Axiomul lui Armstrong?
Axioma lui Armstrong este o notație matematică folosită pentru a găsi dependențele funcționale dintr-o bază de date. Concepută de William W. Armstrong, este o listă de axiome sau reguli de inferență care pot fi implementate în orice bază de date relațională. Este notat prin simbolul F +.
Techopedia explică Axioma lui Armstrong
Axiomul Armstrong este folosit pentru a analiza, rafina și întreține bazele de date relaționale. Are trei moduri sau inferențe majore aplicate unui set de date. Acestea sunt următoarele:
- Axioma de reflexivitate: Dacă numele de utilizator (A) și titlul (B) reprezintă numele unei persoane, atunci relația dintre ambele (A și B) este de mică importanță.
- Axioma de mărire: Dacă un ID de utilizator definește numele unei persoane, atunci ID-ul de utilizator cu cota de e-mail definește numele persoanei și cota de e-mail.
- Axiomul de tranzitivitate: Dacă un ID de utilizator determină numele unei persoane, iar numele unei persoane definește departamentul, atunci departamentul poate defini identificatorul de utilizator.