Acasă Baze de date Care este axioma lui Armstrong? - definiție din techopedia

Care este axioma lui Armstrong? - definiție din techopedia

Cuprins:

Anonim

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.
Care este axioma lui Armstrong? - definiție din techopedia