Dependências funcionais podem ser combinadas de modo que novas dependências sejam derivadas a partir de um conjunto inicial de dependências. Essas regras de derivação são conhecidas como Axiomas de Armstrong. Assim, a partir das dependências funcionais
F
G
G
H
I
J
é possível, por meio desses axiomas, derivar
F
G G
H I
J é possível, por meio desses axiomas, derivar
Provas
Questão presente nas seguintes provas