Axiomele lui Armstrong - Un set de axiome care precizeaza modul in care, pornind de la o multime de dependente functionale date, se pot obtine noi dependente functionale.
Enciclopedia universală: articole și definiții cu litera A