Un marco basado en lógica para reparaciones de bases de datos