Spisu treści:
Definicja - Co oznacza Axiom Armstronga?
Axiom Armstronga to notacja matematyczna używana do znajdowania zależności funkcjonalnych w bazie danych. Opracowana przez Williama W. Armstronga jest to lista aksjomatów lub reguł wnioskowania, które można zaimplementować w dowolnej relacyjnej bazie danych. Jest oznaczony symbolem F +.
Techopedia wyjaśnia Axiom Armstronga
Axiom firmy Armstrong służy do analizy, udoskonalania i utrzymywania relacyjnych baz danych. Ma trzy główne tryby lub wnioskowania zastosowane do zestawu danych. Są to:
- Aksjomat zwrotności: jeśli nazwa użytkownika (A) i tytuł (B) reprezentują imię osoby, to związek między obiema (A i B) ma niewielkie znaczenie.
- Axiom of Augmentation: Jeśli identyfikator użytkownika definiuje nazwisko osoby, to identyfikator użytkownika z przydziałem e-mail określa imię i nazwisko oraz przydział e-maila.
- Aksjomat przechodniości: Jeśli identyfikator użytkownika określa nazwisko osoby, a nazwisko osoby określa dział, wówczas dział może zdefiniować identyfikator użytkownika.