Logic-based approach to semantic query optimization
ACM Transactions on Database Systems (TODS)
Updating logical databases
Journal of the ACM (JACM)
Theoretical Computer Science - Special issue: database theory
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Managing conflicts between rules
Journal of Computer and System Sciences
Revision Specifications by Means of Programs
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Revision Programming = Logic Programming + Integrity Constraints
Proceedings of the 12th International Workshop on Computer Science Logic
Revision programming: a knowledge representation formalism
Revision programming: a knowledge representation formalism
A Logical Framework for Querying and Repairing Inconsistent Databases
IEEE Transactions on Knowledge and Data Engineering
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
Consistent Query Answering By Minimal-Size Repairs
DEXA '06 Proceedings of the 17th International Conference on Database and Expert Systems Applications
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Declarative Semantics for Active Integrity Constraints
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Consistent query answering: five easy pieces
ICDT'07 Proceedings of the 11th international conference on Database Theory
Declarative semantics of production rules for integrity maintenance
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Semantically correct query answers in the presence of null values
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Hi-index | 0.00 |
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.