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