Active Integrity Constraints for Database Consistency Maintenance

Caroprese, Luciano; Greco, Sergio; Zumpano, Ester

doi:10.1109/tkde.2008.226

Cited by 32 publications

(25 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Note however that one motivation for developing IMPL is that attempting automatic repair may not always be a viable option to deal with inconsistency in a MCS. In order to specify repair strategies for inconsistent databases in a more flexible way, active integrity constraints (AICs) [7][8][9] and inconsistency management policies (IMPs) [21] have been proposed. AICs extend the notion of integrity constraints by introducing update actions, for inserting and deleting tuples, to be performed if the constraint is not satisfied; whereas an IMP is a function defined wrt.…”

Section: Resultsmentioning

confidence: 99%

The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems

Eiter

Fink

Ianni

et al. 2013

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Multi-context systems are a formalism for interlinking knowledge based system (contexts) which interact via (possibly nonmonotonic) bridge rules. Such interlinking provides ample opportunity for unexpected inconsistencies. These are undesired, and come in different categories: some are serious and must be inspected by a human operator, while some should simply be repaired automatically. However, no one-fits-all solution exists, as these categories depend on the application scenario. To tackle inconsistencies in a general way, we thus propose a declarative policy language for inconsistency management in multicontext systems. We define syntax and semantics, give methodologies for applying the language in real world applications, and discuss a possible implementation.

show abstract

Section: Resultsmentioning

confidence: 99%

The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems

Eiter

Fink

Ianni

et al. 2013

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…For example, specifying founded repairs [24] by means of repairs programs as used by ConsEx seems to be easy to do. It should be possible to specify the preferred repairs introduced in [57] by adding to repair programs global preference criteria on the intended models.…”

Section: Discussionmentioning

confidence: 99%

The consistency extractor system: Answer set programs for consistent query answering in databases

Caniupan

Bertossi

2010

Data & Knowledge Engineering

View full text Add to dashboard Cite

We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with respect to certain integrity constraints. In order to solve this task, ConsEx uses answers set programming. More precisely, ConsEx uses disjunctive logic programs with stable models semantics to specify and reason with the repairs, i.e. with the consistent virtual instances that minimally depart from the original database. The consistent information is invariant under all repairs. ConsEx achieves efficient query evaluation by implementing magic sets techniques. We describe the general methodology, its optimizations for query answering, and the architecture of the system. We also present encouraging experimental results.

show abstract

“…In this way, we specify both the constraint and its enforcement. In this direction, in [30] active integrity constraints were proposed. They extend traditional ICs with specifications of the actions to perform in order to restore their satisfaction, declaratively bringing ICs and active rules together.…”

Section: Active Integrity Constraintsmentioning

confidence: 99%

“…The founded repairs can be computed using logic programs with stable models semantics (cf. [30] for details).…”

Section: Active Integrity Constraintsmentioning

confidence: 99%

Generic and Declarative Approaches to Data Quality Management

Bertossi

Bravo

2013

Handbook of Data Quality

View full text Add to dashboard Cite

Data quality assessment and data cleaning tasks have traditionally been addressed through procedural solutions. Most of the time, those solutions have been applicable to specific problems and domains. In the last few years we have seen the emergence of more generic solutions; and also of declarative and rule-based specifications of the intended solutions of data cleaning processes. In this chapter we review some of those historical and recent developments.

show abstract

Active Integrity Constraints for Database Consistency Maintenance

Cited by 32 publications

References 27 publications

The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems

The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems

The consistency extractor system: Answer set programs for consistent query answering in databases

Generic and Declarative Approaches to Data Quality Management

Contact Info

Product

Resources

About