Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Proceedings of the 1990 North American conference on Logic programming
ACM Transactions on Database Systems (TODS)
Integration of weighted knowledge bases
Artificial Intelligence
A semantics for reasoning consistently in the presence of inconsistency
Artificial Intelligence
ACM Transactions on Database Systems (TODS)
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Combining Multiple Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Reasoning in Inconsistent Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Flexible Relation: An Approach for Integrating Data from Multiple, Possibly Inconsistent Databases
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
Binding Propagation in Disjunctive Databases
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
A Deductive System for Non-Monotonic Reasoning
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Combining Knowledge Bases Consisting of First Order Theories
ISMIS '91 Proceedings of the 6th International Symposium on Methodologies for Intelligent Systems
Query Answering in Information Systems with Integrity Constraints
Proceedings of the IFIP TC11 Working Group 11.5, First Working Conference on Integrity and Internal Control in Information Systems: Increasing the confidence in Information Systems
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
Integrating data from possibly inconsistent databases
COOPIS '96 Proceedings of the First IFCIS International Conference on Cooperative Information Systems
Conflict Resolution Using Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries
IEEE Transactions on Knowledge and Data Engineering
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases
Proceedings of the 17th International Conference on Logic Programming
Coherent Composition of Distributed Knowledge-Bases Through Abduction
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
A Logic Framework for the Integration of Databases
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Integrating and Managing Conflicting Data
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
A technique for information system integration
ISTA '01 Proceedings of the 2001 international conference on Information systems technology and its applications - Volume P-2
Consistent queries over databases with integrity constraints
Database integrity
Repairing and querying inconsistent databases
Effective databases for text & document management
A Logical Framework for Querying and Repairing Inconsistent Databases
IEEE Transactions on Knowledge and Data Engineering
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Computational methods for database repair by signed formulae*
Annals of Mathematics and Artificial Intelligence
Foundational Challenges in Automated Semantic Web Data and Ontology Cleaning
IEEE Intelligent Systems
Distance semantics for database repair
Annals of Mathematics and Artificial Intelligence
A three-valued semantics for querying and repairing inconsistent databases
Annals of Mathematics and Artificial Intelligence
Polynomial Time Queries over Inconsistent Databases
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Querying and repairing inconsistent databases under three-valued semantics
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
Polynomial time queries over inconsistent databases with functional dependencies and foreign keys
Data & Knowledge Engineering
Distance-Based repairs of databases
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Querying and repairing inconsistent XML data
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Declarative semantics of production rules for integrity maintenance
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
On the computational complexity of minimal-change integrity maintenance in relational databases
Inconsistency Tolerance
A framework for merging, repairing and querying inconsistent databases
ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems
Probabilistic query answering over inconsistent databases
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
In this paper we consider the problem of answering queries consistently in the presence of inconsistent data, i.e. data violating integrity constraints. We propose a technique based on the rewriting of integrity constraints into disjunctive rules with two different forms of negation (negation as failure and classical negation). The disjunctive program can be used i) to generate 'repairs' for the database and ii) to produce consistent answers, i.e. maximal set of atoms which do not violate the constraints. We show that our technique is sound, complete and more general than techniques previously proposed.