No âmbito do projeto de bancos de dados, os Axiomas de Armstrong têm um importante papel porque permitem a derivação de dependências funcionais. Uma derivação que NÃO é válida é: