Domov Databáze Co je Armstrongův axiom? - definice z techopedie

Co je Armstrongův axiom? - definice z techopedie

Obsah:

Anonim

Definice - Co znamená Armstrongův Axiom?

Armstrongův Axiom je matematický zápis používaný k nalezení funkčních závislostí v databázi. Koncipován Williamem W. Armstrongem, jedná se o seznam axiomů nebo odvozovacích pravidel, které lze implementovat do jakékoli relační databáze. Označuje se symbolem F +.

Techopedia vysvětluje Armstrongův Axiom

Armstrongův Axiom se používá k analýze, upřesnění a údržbě relačních databází. Má tři hlavní režimy nebo závěry aplikované na soubor dat. Jsou to následující:

  • Axio of Reflexivity: Pokud uživatelské jméno (A) a titul (B) představují jméno osoby, pak vztah mezi oběma (A a B) má malý význam.
  • Axiom augmentace: Pokud ID uživatele definuje jméno osoby, pak ID uživatele s e-mailovou kvótou definuje jméno osoby a e-mailovou kvótu.
  • Axio of Transitivity: Pokud ID uživatele určuje jméno osoby a jméno osoby definuje oddělení, pak oddělení může definovat ID uživatele.
Co je Armstrongův axiom? - definice z techopedie