Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Heuristic search in database systems
Proceedings from the first international workshop on Expert database systems
Modeling class hierarchies with contradictions
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
IEEE Transactions on Software Engineering
RI: A logic for reasoning with inconsistency
Proceedings of the Fourth Annual Symposium on Logic in computer science
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Universality of data retrieval languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The R+-Tree: A Dynamic Index for Multi-Dimensional Objects
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
On the efficient implementation of production systems.
On the efficient implementation of production systems.
PARDES: a data-driven oriented active database model
ACM SIGMOD Record
ACM Transactions on Database Systems (TODS)
Extending temporal logic to support high-level simulations
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A structured approach for the definition of the semantics of active databases
ACM Transactions on Database Systems (TODS)
Managing conflicts between rules (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Reasoning in Inconsistent Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
On Maintaining Priorities in a Production Rule System
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Coordinating Distributed Decision Making Using Reusable Interaction Specifications
PRIMA '00 Proceedings of the Third Pacific Rim International Workshop on Multi-Agents: Design and Applications of Intelligent Agents
Consistent belief reasoning in the presence of inconsistency
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Spatial security policies for mobile agents in a sentient computing environment
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
ICCSA'10 Proceedings of the 2010 international conference on Computational Science and Its Applications - Volume Part IV
| Hi-index | 0.00 |
In the majority of research work done on logic programming and deductive databases, it is assumed that the set of rules defined by the user is consistent, i.e., that no contradictory facts can be inferred by the rules. In this paper, we address the problem of resolving conflicts of rules that assign values to virtual attributes. We devise a general framework for the study of the problem, and we propose an approach that subsumes all previously suggested solutions. Moreover, it suggests several additional solutions, which very often capture the semantics of the data more accurately than the known approaches. Finally, we address the issue of how to index rules so that conflicts are resolved efficiently, i.e., only one of the applicable rules is processed at query time.