Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
On the semantics of rule-based expert systems with uncertainty
Lecture notes in computer science on ICDT '88
ACM Transactions on Database Systems (TODS)
A semantics for reasoning consistently in the presence of inconsistency
Artificial Intelligence
ACM Transactions on Database Systems (TODS)
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
ACM Computing Surveys (CSUR)
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Understanding the global semantics of referential actions using logic rules
ACM Transactions on Database Systems (TODS)
Reasoning in Inconsistent Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Conflict Resolution Using Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Condensed Representation of Database Repairs for Consistent Query Answering
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Deriving Production Rules for Constraint Maintainance
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Revision Programming = Logic Programming + Integrity Constraints
Proceedings of the 12th International Workshop on Computer Science Logic
A Logical Framework for Querying and Repairing Inconsistent Databases
IEEE Transactions on Knowledge and Data Engineering
Declarative semantics for active rules
Theory and Practice of Logic Programming
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Querying inconsistent databases
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
A three-valued semantics for querying and repairing inconsistent databases
Annals of Mathematics and Artificial Intelligence
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
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Querying and repairing inconsistent databases under three-valued semantics
ICLP'07 Proceedings of the 23rd international conference on Logic programming
View updating through active integrity constraints
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Prioritized active integrity constraints for database maintenance
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
Logic programming languages for databases and the web
A 25-year perspective on logic programming
Active integrity constraints and revision programming
Theory and Practice of Logic Programming
| Hi-index | 0.00 |
This paper presents a declarative semantics for the maintenance of integrity constraints expressed by means of production rules. A production rule is a special form of active rule, called active integrity constraint, whose body contains an integrity constraint (conjunction of literals which must be false) and whose head contains a disjunction of update atoms, i.e. actions to be performed if the corresponding constraint is not satisfied (i.e. is true). The paper introduces i) a formal declarative semantics allowing the computation of founded repairs, that is repairs whose actions are specified and supported by active integrity constraint, ii) an equivalent semantics obtained by rewriting production rules into disjunctive logic rules, so that repairs can be derived from the answer sets of the logic program and finally iii) a characterization of production rules allowing a methodology for integrity maintenance.