A definição "Eliminar as dependências multivaloradas não triviais de uma tabela, projetando-as para tabelas menores separadas para assim eliminar as anomalias de atualização associadas às dependências multivaloradas”, é objetivo da: