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