Authors:
Luís Cruz-Filipe
1
;
Michael Franz
1
;
Artavazd Hakhverdyan
1
;
Marta Ludovico
2
;
Isabel Nunes
2
and
Peter Schneider-Kamp
1
Affiliations:
1
University of Southern Denmark, Denmark
;
2
Faculdade de Ciências da Universidade de Lisboa, Portugal
Keyword(s):
Active Integrity Constraints, Database Repair, Implementation.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
KM Strategies and Implementations
;
Knowledge Management and Information Sharing
;
Knowledge-Based Systems
;
Symbolic Systems
;
Tools and Technology for Knowledge Management
Abstract:
Consistency of knowledge repositories is of prime importance in organization management. Integrity constraints
are a well-known vehicle for specifying data consistency requirements in knowledge bases; in particular,
active integrity constraints go one step further, allowing the specification of preferred ways to overcome
inconsistent situations in the context of database management.
This paper describes a tool to validate an SQL database with respect to a given set of active integrity constraints,
proposing possible repairs in case the database is inconsistent. The tool is able to work with the
different kinds of repairs proposed in the literature, namely simple, founded, well-founded and justified repairs.
It also implements strategies for parallelizing the search for them, allowing the user both to compute
partitions of independent or stratified active integrity constraints, and to apply these partitions to find repairs
of inconsistent databases efficiently in parallel.