Aksjomaty Armstronga to zbiór aksjomatów używanych do modelowania zależności funkcyjnych w relacyjnych bazach danych. Ich autorem jest William W. Armstrong.
Aksjomaty Niech będzie schematem relacji opisanym na zbiorze atrybutów Symbole niech oznaczają dowolne podzbiory Niech zapis oznacza sumę zbiorów atrybutów i według standardowej notacji używanej w teorii baz danych.
Aksjomat zwrotności
Aksjomat powiększenia
Aksjomat przechodniości
Reguły Z powyższych aksjomatów można wyprowadzić następujące reguły:
Suma
Rozkład
Pseudoprzechodniość
Kategoria:Bazy danych