Os axiomas de Armstrong suportam a derivação de dependências funcionais. Considere as seguintes regras de derivação:
Pode-se concluir que são corretas somente as regras:
Pode-se concluir que são corretas somente as regras:
