Incomplete Information in Relational Databases
Journal of the ACM (JACM)
On the representation and querying of sets of possible worlds
Selected papers of the workshop on Deductive database theory
Recursively indefinite databases
ICDT Selected papers of the 4th international conference on Database theory
Constraint programming and database languages: a tutorial
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Answering queries using views (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Complexity of answering queries using materialized views
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logical approaches to incomplete information: a survey
Logics for databases and information systems
Constraint query languages (preliminary report)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Database states and their tableaux
ACM Transactions on Database Systems (TODS)
Problem of Incomplete Information in Relational Databases
Problem of Incomplete Information in Relational Databases
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Information Integration Using Logical Views
ICDT '97 Proceedings of the 6th International Conference on Database Theory
The GMAP: A Versatile Tool for Physical Data Independence
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Obtaining Complete Answers from Incomplete Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Querying Heterogeneous Information Sources Using Source Descriptions
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
The Implication Problem for Data Dependencies
Proceedings of the 8th Colloquium on Automata, Languages and Programming
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Consistent Answers from Integrated Data Sources
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Minimizing View Sets without Losing Query-Answering Power
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Algebraic Rewritings for Optimizing Regular Path Queries
ICDT '01 Proceedings of the 8th International Conference on Database Theory
New Rewritings and Optimizations for Regular Path Queries
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Description Logics for Information Integration
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Data Integration under Integrity Constraints
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Accessing Data Integration Systems through Conceptual Schemas
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
View-Based Query Answering and Query Containment over Semistructured Data
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Optimization Properties for Classes of Conjunctive Regular Path Queries
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Data Integration Needs Reasoning
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Expressive Power of Data Integration Systems
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
View-Based Query Processing and Constraint Satisfaction
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Fusion rules for merging uncertain information
Information Fusion
Rewriting queries using views in the presence of arithmetic comparisons
Theoretical Computer Science
Approximate Rewriting of Queries Using Views
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
Data correspondence, exchange and repair
Proceedings of the 13th International Conference on Database Theory
Towards a logical reconstruction of a theory for locally closed databases
ACM Transactions on Database Systems (TODS)
The Knowledge Engineering Review
Exploiting conflict structures in inconsistent databases
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
Proceedings of the 14th International Conference on Database Theory
View-based query answering in Description Logics: Semantics and complexity
Journal of Computer and System Sciences
An object-oriented framework for reconciliation and extraction in heterogeneous data federations
ADVIS'04 Proceedings of the Third international conference on Advances in Information Systems
On the local closed-world assumption of data-sources
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Privacy in GLAV information integration
ICDT'07 Proceedings of the 11th international conference on Database Theory
Finding equivalent rewritings in the presence of arithmetic comparisons
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
Privacy in database publishing
ICDT'05 Proceedings of the 10th international conference on Database Theory
Authorization views and conditional query containment
ICDT'05 Proceedings of the 10th international conference on Database Theory
View-based query processing: on the relationship between rewriting, answering and losslessness
ICDT'05 Proceedings of the 10th international conference on Database Theory
Consistent query answers in virtual data integration systems
Inconsistency Tolerance
Query answering in peer-to-peer data exchange systems
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
MQTree based query rewriting over multiple XML views
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
Query processing under GLAV mappings for relational and graph databases
Proceedings of the VLDB Endowment
On simplification of schema mappings
Journal of Computer and System Sciences
Constraint Propagation for First-Order Logic and Inductive Definitions
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |
The foundational homomorphism techniques introduced by Chandra and Merlin for testing containment of conjunctive queries have recently attracted renewed interest due to their central role in information integration applications. We show that generalizations of the classical tableau representation of conjunctive queries are useful for computing query answers in information integration systems where information sources are modeled as views defined on a virtual global schema. We consider a general situation where sources may or may not be known to be correct and complete. We characterize the set of answers to a global query and give algorithms to compute a finite representation of this possibly infinite set, as well as its certain and possible approximations. We show how to rewrite a global query in terms of the sources in two special cases, and show that one of these is equivalent to the Information Manifold rewriting of Levy et al.