Obsah:
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.
