A normalização de esquemas de bancos de dados é feita a partir
das dependências funcionais existentes entre as colunas de uma
tabela. Além disso, é possível combinar dependências e derivar
novas dependências a partir de axiomas preestabelecidos.
Considerando uma tabela hipotética, com colunas X, Y e Z, o
axioma da transitividade é definido como segue: