Verificación forma normal de una base de datos