No contexto do projeto de bancos de dados, é possível derivar
novas dependências a partir de um conjunto inicial de
dependências funcionais, o que é feito por meio da aplicação de
axiomas de derivação.
Os axiomas que estabelecem essas regras de derivação são