A sound and sometimes complete query evaluation algorithm for relational databases with null values
Journal of the ACM (JACM)
Journal of Automated Reasoning
First-order logic and automated theorem proving
First-order logic and automated theorem proving
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Scalar Aggregation in FD-Inconsistent Databases
ICDT '01 Proceedings of the 8th International Conference on Database Theory
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
Querying Inconsistent Databases: Algorithms and Implementation
CL '00 Proceedings of the First International Conference on Computational Logic
A Tableau-Based Theorem Prover for a Decidable Subset of Default Logic
Proceedings of the 10th International Conference on Automated Deduction
Condensed Representation of Database Repairs for Consistent Query Answering
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Consistency preserving updates in deductive databases
Data & Knowledge Engineering
Database Repairs and Analytic Tableaux
Annals of Mathematics and Artificial Intelligence
Database repairing using updates
ACM Transactions on Database Systems (TODS)
Computational methods for database repair by signed formulae*
Annals of Mathematics and Artificial Intelligence
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
An tableau automated theorem proving method using logical reinforcement learning
ISICA'07 Proceedings of the 2nd international conference on Advances in computation and intelligence
| Hi-index | 0.00 |
In this article, we characterize in terms of analytic tableaux the repairs of inconsistent relational databases, that is databases that do not satisfy a given set of integrity constraints. For this purpose we provide closing and opening criteria for branches in tableaux that are built for database instances and their integrity constraints. We use the tableaux based characterization as a basis for consistent query answering, that is for retrieving from the database answers to queries that are consistent wrt the integrity constraints.