Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
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
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Reasoning in Inconsistent Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Conflict Resolution Using Logic Programming
IEEE Transactions on Knowledge and Data Engineering
XSB: A System for Effciently Computing WFS
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
On the decidability and complexity of query answering over inconsistent and incomplete databases
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Measuring inconsistency in knowledge via quasi-classical models
Eighteenth national conference on Artificial intelligence
Scalar aggregation in inconsistent databases
Theoretical Computer Science - Database theory
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
A cost-based model and effective heuristic for repairing constraints by value modification
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Database repairing using updates
ACM Transactions on Database Systems (TODS)
Clean Answers over Dirty Databases: A Probabilistic Approach
ICDE '06 Proceedings of the 22nd International Conference on Data Engineering
Consistent query answering in databases
ACM SIGMOD Record
Measuring inconsistency in knowledgebases
Journal of Intelligent Information Systems
First-order query rewriting for inconsistent databases
Journal of Computer and System Sciences
How Dirty Is Your Relational Database? An Axiomatic Approach
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Evaluating significance of inconsistencies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
On the semantics of knowledge update
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Querying inconsistent databases
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Querying and repairing inconsistent databases under three-valued semantics
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Consistent query answering: five easy pieces
ICDT'07 Proceedings of the 11th international conference on Database Theory
Representation of partial knowledge and query answering in locally complete databases
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Consistent query answers on numerical databases under aggregate constraints
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Declarative semantics of production rules for integrity maintenance
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Approaches to measuring inconsistent information
Inconsistency Tolerance
Preference-driven querying of inconsistent relational databases
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
On approximating optimum repairs for functional dependency violations
Proceedings of the 12th International Conference on Database Theory
Qualitative effects of knowledge rules and user feedback in probabilistic data integration
The VLDB Journal — The International Journal on Very Large Data Bases
Partial repairs that tolerate inconsistency
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
Probabilistic query answering over inconsistent databases
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
The problem of managing and querying inconsistent databases has been deeply investigated in the last few years. As the problem of consistent query answering is hard in the general case, most of the techniques proposed so far have an exponential complexity. Polynomial techniques have been proposed only for restricted forms of constraints (such as functional dependencies) and queries. In this paper, a technique for computing "approximate" consistent answers in polynomial time is proposed, which works in the presence of a wide class of constraints (namely, full constraints) and Datalog queries. The proposed approach is based on a repairing strategy where update operations assigning an undefined truth value to the "reliability" of tuples are allowed, along with updates inserting or deleting tuples. The result of a repair can be viewed as a three-valued database which satisfies the specified constraints. In this regard, a new semantics (namely, partial semantics) is introduced for constraint satisfaction in the context of three-valued databases, which aims at capturing the intuitive meaning of constraints under three-valued logic. It is shown that, in order to compute "approximate" consistent query answers, it suffices to evaluate queries by taking into account a unique repair (called deterministic repair), which in some sense "summarizes" all the possible repairs. The so obtained answers are "approximate" in the sense that are safe (true and false atoms in the answers are, respectively, true and false under the classical two-valued semantics), but not complete.