Obsah:
Definícia - Čo znamená Armstrongov Axiom?
Armstrong's Axiom je matematický zápis, ktorý sa používa na nájdenie funkčných závislostí v databáze. Koncipovaný Williamom W. Armstrongom, je to zoznam axiómov alebo inferenčných pravidiel, ktoré je možné implementovať do akejkoľvek relačnej databázy. Označuje sa symbolom F +.
Techopedia vysvetľuje Armstrongov Axiom
Armstrong's Axiom sa používa na analýzu, zdokonaľovanie a udržiavanie relačných databáz. Má tri hlavné režimy alebo závery aplikované na súbor údajov. Sú to tieto:
- Axiom reflexivity: Ak meno používateľa (A) a názov (B) predstavujú meno osoby, potom je vzťah medzi obidvomi (A a B) malý.
- Axiom augmentácie: Ak ID používateľa definuje meno osoby, potom ID užívateľa s e-mailovou kvótou definuje meno osoby a e-mailovú kvótu.
- Axióma transitivity: Ak ID užívateľa určuje meno osoby a meno osoby definuje oddelenie, potom oddelenie môže definovať ID užívateľa.
