Active Integrity Constraints: from Theory to Implementation

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

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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.
TitelKnowledge Discovery, Knowledge Engineering and Knowledge Management : Proceedings of 7th the International Join Conference on Knowledge Disvovery, Knowledge Engineering, and Knowledge Management
RedaktørerAna Fred, Jan L.G. Dietz, David Aveiro, Kecheng Liu, Joaquim Filipe
ISBN (Trykt)978-3-319-52757-4
ISBN (Elektronisk)978-3-319-52758-1
StatusUdgivet - 2017
Begivenhed7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Lisbon, Portugal
Varighed: 12. nov. 201514. nov. 2015


Konference7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management
NavnCommunications in Computer and Information Science


Dyk ned i forskningsemnerne om 'Active Integrity Constraints: from Theory to Implementation'. Sammen danner de et unikt fingeraftryk.