Active Integrity Constraints: from Theory to Implementation

Luis Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


The problem of database consistency relative to a set of integrity constraints has been extensively studied since the 1980s, and is still recognized as one of the most important and complex in the field. In recent years, with the proliferation of knowledge repositories (not only databases) in practical applications, there has also been an effort to develop implementations of consistency maintenance algorithms that have a solid theoretical basis.

The framework of active integrity constraints (AICs) is one example of such an effort, providing theoretical grounds for rule-based algorithms for ensuring database consistency. An AIC consists of an integrity constraint together with a specification of actions that may be taken to repair a database that does not satisfy it. Both denotational and operational semantics have been proposed for AICs. In this paper, we describe repAIrC, a prototype implementation of the algorithms previously proposed targetting SQL databases, i.e., the most prolific type of databases. Using repAIrC, we can both validate an SQL database with respect to a given set of AICs and compute possible repairs in case the database is inconsistent; the tool is able to work with the different kinds of repairs that have been considered, and achieves optimal asymptotic complexity in their computation. It also implements strategies for parallelizing the search for repairs, which in many cases can make untractable problems become easily solvable.
Original languageEnglish
Title of host publicationKnowledge Discovery, Knowledge Engineering and Knowledge Management : Proceedings of 7th the International Join Conference on Knowledge Disvovery, Knowledge Engineering, and Knowledge Management
EditorsAna Fred, Jan L.G. Dietz, David Aveiro, Kecheng Liu, Joaquim Filipe
Publication date2017
ISBN (Print)978-3-319-52757-4
ISBN (Electronic)978-3-319-52758-1
Publication statusPublished - 2017
Event7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Lisbon, Portugal
Duration: 12. Nov 201514. Nov 2015


Conference7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management
SeriesCommunications in Computer and Information Science


Dive into the research topics of 'Active Integrity Constraints: from Theory to Implementation'. Together they form a unique fingerprint.

Cite this