Active integrity constraints and revision programming

DOI10.1017/S1471068410000475MaRDI QIDQ2884257zbMATH OpenFDO

Authors Luciano Caroprese, Mirosław Truszczyński

Publication date 24 May 2012

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1009.2270

zbMATH Keywords

active integrity constraintsinconsistent databasesrevision programming

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Semantics in the theory of computing (68Q55)

Abstract: 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.

Recommendations

• Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
• Declarative Semantics for Active Integrity Constraints
• A dynamic view of active integrity constraints
• A dynamic logic account of active integrity constraints
• Fixpoint semantics for active integrity constraints

Cites work

• Autoepistemic logic
• Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
• Managing conflicts between results
• On the computational cost of disjunctive logic programming: Propositional case
• Revision programming

Cited in

(14)

• Revision programming
• Fixpoint semantics for active integrity constraints
• Minimal-change integrity maintenance using tuple deletions
• Active integrity constraints for general-purpose knowledge bases
• Database repair via event-condition-action rules in dynamic logic
• A dynamic view of active integrity constraints
• Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
• A dynamic logic account of active integrity constraints
• Grounded fixpoints and active integrity constraints
• Optimizing computation of repairs from active integrity constraints
• Declarative Semantics of Production Rules for Integrity Maintenance
• Declarative Semantics for Active Integrity Constraints
• Inconsistency-tolerant semantics based on (preferred) repairs (invited paper)
• Enforcing structural regularities in software using intensive

This page was built for publication: Active integrity constraints and revision programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2884257)