Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Complexity aspects of various semantics for disjunctive databases
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
XSB as an efficient deductive database engine
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Disjunctive stable models: unfounded sets, fixpoint semantics, and computation
Information and Computation
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Preferred answer sets for extended logic programs
Artificial Intelligence
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Declarative problem-solving in DLV
Logic-based artificial intelligence
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases
Proceedings of the 17th International Conference on Logic Programming
Data Exchange: Semantics and Query Answering
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Logic Programs for Querying Inconsistent Databases
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
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
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
A framework for compiling preferences in logic programs
Theory and Practice of Logic Programming
Locally consistent transformations and query answering in data exchange
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Optimization of bound disjunctive queries with constraints
Theory and Practice of Logic Programming
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Logic programs for consistently querying data integration systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Proceedings of the 2nd international conference on Semantics in databases
Database repairing using updates
ACM Transactions on Database Systems (TODS)
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
The consistency extractor system: Answer set programs for consistent query answering in databases
Data & Knowledge Engineering
Semantically correct query answers in the presence of null values
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
On the data complexity of consistent query answering
Proceedings of the 15th International Conference on Database Theory
Hi-index | 0.00 |
For several reasons a database may not satisfy certain integrity constraints (ICs), for example, when it is the result of integrating several independent data sources. However, most likely most of the information in it is still consistent with the ICs; and could be retrieved when queries are answered. Consistent answers with respect to a set of ICs have been characterized as answers that can be obtained from every possible minimal repair of the database. In this paper we show and analyze how specify those repairs using disjunctive logic program with a stable model semantics in the presence of referential ICs. In this case, repairs are obtained by introduction of null values that do not propagate through other constraints, which makes the problem of consistent query answering decidable. We also present results about cases where the implementation of consistent query answering can be made more efficient due to the fact that the program can be simplified into a non-disjunctive program. Finally, we discuss several research issues around the implementation of system for retrieving consistent answers to queries from a DBMS.