In dit project wordt onderzocht hoe integriteitsregels gebruikt kunnen worden in het opschonen van data. In het bijzonder onderzoeken we:

- een afweging tussen expressiviteit van regels en complexiteit van de bijhorende algoritmen (bvb., implicatie)

- het herstel probleem: hoe kan inconsistente data kan worden omgezet naar consistente data op een kost-optimale manier

- de rol van kostmodellen in het genereren van verklaarbare consistente data