Quando se modela um banco de dados, para evitar a redundância dos dados nas tabelas devem-se eliminar as tabelas aninhadas,
a dependência funcional parcial de atributos e a dependência funcional transitiva de atributos. Para conseguir isso utiliza-se
um processo conhecido como