Magic sets and other strange ways to implement logic programs (extended abstract)
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Logic programming and databases
Logic programming and databases
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries
IEEE Transactions on Knowledge and Data Engineering
Logic Programs for Querying Inconsistent Databases
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Querying Inconsistent Databases: Algorithms and Implementation
CL '00 Proceedings of the First International Conference on Computational Logic
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
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
Computing consistent query answers using conflict hypergraphs
Proceedings of the thirteenth ACM international conference on Information and knowledge management
Consistent query answering under inclusion dependencies
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
ConQuer: efficient management of inconsistent databases
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Optimization of bound disjunctive queries with constraints
Theory and Practice of Logic Programming
Optimizing Repair Programs for Consistent Query Answering
SCCC '05 Proceedings of the XXV International Conference on The Chilean Computer Science Society
Consistent query answering in databases
ACM SIGMOD Record
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Magic Sets and their application to data integration
Journal of Computer and System Sciences
Optimizing and implementing repair programs for consistent query answering in databases
Optimizing and implementing repair programs for consistent query answering in databases
Handling inconsistency in databases and data integration systems
Handling inconsistency in databases and data integration systems
On the computational complexity of minimal-change integrity maintenance in relational databases
Inconsistency Tolerance
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 first-order reducibility of unions of conjunctive queries over inconsistent databases
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Information Sharing Agents in a Peer Data Exchange System
Globe '08 Proceedings of the 1st international conference on Data Management in Grid and Peer-to-Peer Systems
Designing, Specifying and Querying Metadata for Virtual Data Integration Systems
Globe '09 Proceedings of the 2nd International Conference on Data Management in Grid and Peer-to-Peer Systems
Active integrity constraints and revision programming
Theory and Practice of Logic Programming
Magic Sets for disjunctive Datalog programs
Artificial Intelligence
Efficient querying of inconsistent databases with binary integer programming
Proceedings of the VLDB Endowment
| Hi-index | 0.00 |
We present the Consistency Extractor System(ConsEx) that uses answer set programmingto compute consistent answers to first-order queries posed to relational databases that may be inconsistent wrt their integrity constraints. Among other features, ConsEximplements a magic setstechnique to evaluate queries via disjunctive logic programs with stable model semantics that specify the repair of the original database. We describe the methodology and the system; and also present some experimental results.