Active Integrity Constraints

from Theory to Implementation

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

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Resumé

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.
OriginalsprogEngelsk
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
ForlagSpringer
Publikationsdato2017
Sider399-420
ISBN (Trykt)978-3-319-52757-4
ISBN (Elektronisk)978-3-319-52758-1
DOI
StatusUdgivet - 2017
Begivenhed7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Lisbon, Portugal
Varighed: 12. nov. 201514. nov. 2015

Konference

Konference7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management
LandPortugal
ByLisbon
Periode12/11/201514/11/2015
NavnCommunications in Computer and Information Science
Vol/bind631
ISSN1865-0929

Fingeraftryk

Repair
Semantics
Specifications

Citer dette

Cruz-Filipe, L., Franz, M., Hakhverdyan, A., Ludovico, M., Nunes, I., & Schneider-Kamp, P. (2017). Active Integrity Constraints: from Theory to Implementation. I A. Fred, J. L. G. Dietz, D. Aveiro, K. Liu, & J. Filipe (red.), Knowledge Discovery, Knowledge Engineering and Knowledge Management: Proceedings of 7th the International Join Conference on Knowledge Disvovery, Knowledge Engineering, and Knowledge Management (s. 399-420). Springer. Communications in Computer and Information Science, Bind. 631 https://doi.org/10.1007/978-3-319-52758-1_22
Cruz-Filipe, Luis ; Franz, Michael ; Hakhverdyan, Artavazd ; Ludovico, Marta ; Nunes, Isabel ; Schneider-Kamp, Peter. / Active Integrity Constraints : from Theory to Implementation. Knowledge Discovery, Knowledge Engineering and Knowledge Management: Proceedings of 7th the International Join Conference on Knowledge Disvovery, Knowledge Engineering, and Knowledge Management. red. / Ana Fred ; Jan L.G. Dietz ; David Aveiro ; Kecheng Liu ; Joaquim Filipe. Springer, 2017. s. 399-420 (Communications in Computer and Information Science, Bind 631).
@inproceedings{5136ceec05554abb95c0af0c11cf4799,
title = "Active Integrity Constraints: from Theory to Implementation",
abstract = "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.",
author = "Luis Cruz-Filipe and Michael Franz and Artavazd Hakhverdyan and Marta Ludovico and Isabel Nunes and Peter Schneider-Kamp",
year = "2017",
doi = "10.1007/978-3-319-52758-1_22",
language = "English",
isbn = "978-3-319-52757-4",
pages = "399--420",
editor = "Ana Fred and Dietz, {Jan L.G.} and David Aveiro and Kecheng Liu and Joaquim Filipe",
booktitle = "Knowledge Discovery, Knowledge Engineering and Knowledge Management",
publisher = "Springer",
address = "Germany",

}

Cruz-Filipe, L, Franz, M, Hakhverdyan, A, Ludovico, M, Nunes, I & Schneider-Kamp, P 2017, Active Integrity Constraints: from Theory to Implementation. i A Fred, JLG Dietz, D Aveiro, K Liu & J Filipe (red), Knowledge Discovery, Knowledge Engineering and Knowledge Management: Proceedings of 7th the International Join Conference on Knowledge Disvovery, Knowledge Engineering, and Knowledge Management. Springer, Communications in Computer and Information Science, bind 631, s. 399-420, 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, Lisbon, Portugal, 12/11/2015. https://doi.org/10.1007/978-3-319-52758-1_22

Active Integrity Constraints : from Theory to Implementation. / Cruz-Filipe, Luis; Franz, Michael; Hakhverdyan, Artavazd; Ludovico, Marta; Nunes, Isabel; Schneider-Kamp, Peter.

Knowledge Discovery, Knowledge Engineering and Knowledge Management: Proceedings of 7th the International Join Conference on Knowledge Disvovery, Knowledge Engineering, and Knowledge Management. red. / Ana Fred; Jan L.G. Dietz; David Aveiro; Kecheng Liu; Joaquim Filipe. Springer, 2017. s. 399-420 (Communications in Computer and Information Science, Bind 631).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

TY - GEN

T1 - Active Integrity Constraints

T2 - from Theory to Implementation

AU - Cruz-Filipe, Luis

AU - Franz, Michael

AU - Hakhverdyan, Artavazd

AU - Ludovico, Marta

AU - Nunes, Isabel

AU - Schneider-Kamp, Peter

PY - 2017

Y1 - 2017

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-52758-1_22

DO - 10.1007/978-3-319-52758-1_22

M3 - Article in proceedings

SN - 978-3-319-52757-4

SP - 399

EP - 420

BT - Knowledge Discovery, Knowledge Engineering and Knowledge Management

A2 - Fred, Ana

A2 - Dietz, Jan L.G.

A2 - Aveiro, David

A2 - Liu, Kecheng

A2 - Filipe, Joaquim

PB - Springer

ER -

Cruz-Filipe L, Franz M, Hakhverdyan A, Ludovico M, Nunes I, Schneider-Kamp P. Active Integrity Constraints: from Theory to Implementation. I Fred A, Dietz JLG, Aveiro D, Liu K, Filipe J, red., Knowledge Discovery, Knowledge Engineering and Knowledge Management: Proceedings of 7th the International Join Conference on Knowledge Disvovery, Knowledge Engineering, and Knowledge Management. Springer. 2017. s. 399-420. (Communications in Computer and Information Science, Bind 631). https://doi.org/10.1007/978-3-319-52758-1_22