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.
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 language | English |
|---|---|
| Title of host publication | Knowledge Discovery, Knowledge Engineering and Knowledge Management : Proceedings of 7th the International Join Conference on Knowledge Disvovery, Knowledge Engineering, and Knowledge Management |
| Editors | Ana Fred, Jan L.G. Dietz, David Aveiro, Kecheng Liu, Joaquim Filipe |
| Publisher | Springer |
| Publication date | 2017 |
| Pages | 399-420 |
| ISBN (Print) | 978-3-319-52757-4 |
| ISBN (Electronic) | 978-3-319-52758-1 |
| DOIs | |
| Publication status | Published - 2017 |
| Event | 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Lisbon, Portugal Duration: 12. Nov 2015 → 14. Nov 2015 |
Conference
| Conference | 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management |
|---|---|
| Country/Territory | Portugal |
| City | Lisbon |
| Period | 12/11/2015 → 14/11/2015 |
| Series | Communications in Computer and Information Science |
|---|---|
| Volume | 631 |
| ISSN | 1865-0929 |