Os axiomas de Armstrong permitem a derivação de novas dependências funcionais a partir de um conjunto inicial. Supondo-se que A,B,C,D,E,F,G,H sejam atributos e que as dependências
e verifiquem, o conjunto de dependências que contém alguma dependência incorretamente derivada através desses axiomas é:
