Active integrity constraints and revision programming

Luciano Caroprese, Mirosław Truszczyński

Research output: Contribution to journalArticlepeer-review

24 Scopus citations


We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to enforce them. Unlike other more commonly accepted approaches, these two formalisms attempt to provide a declarative solution to the problem. However, the original semantics of founded repairs for active integrity constraints and justified revisions for revision programs differ. Our main goal is to establish a comprehensive framework of semantics for active integrity constraints, to find a parallel framework for revision programs, and to relate the two. By doing so, we demonstrate that the two formalisms proposed independently of each other and based on different intuitions when viewed within a broader semantic framework turn out to be notational variants of each other. That lends support to the adequacy of the semantics we develop for each of the formalisms as the foundation for a declarative approach to the problem of database update and repair. In the paper, we also study computational properties of the semantics we consider and establish results concerned with the concept of the minimality of change and the invariance under the shifting transformation.

Original languageEnglish
Pages (from-to)905-952
Number of pages48
JournalTheory and Practice of Logic Programming
Issue number6
StatePublished - Nov 2011

Bibliographical note

Funding Information:
The authors thank anonymous reviewers for many insightful comments that resulted in substantial improvements to the original manuscript. This work was partially supported by the NSF grants IIS-0325063 and IIS-0913459, and the KSEF grant KSEF-1036-RDE-008.


  • active integrity constraints
  • inconsistent databases
  • revision programming

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computational Theory and Mathematics
  • Artificial Intelligence


Dive into the research topics of 'Active integrity constraints and revision programming'. Together they form a unique fingerprint.

Cite this