A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Algebraic optimization of object-oriented query languages
ICDT Selected papers of the 4th international conference on Database theory
Principles of programming with complex objects and collection types
ICDT '92 Selected papers of the fourth international conference on Database theory
Answering queries using views (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Query caching and optimization in distributed mediator systems
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Answering recursive queries using views
PODS '97 Proceedings of the sixteenth 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
Testing implications of data dependencies
ACM Transactions on Database Systems (TODS)
Horn clauses and database dependencies
Journal of the ACM (JACM)
The object data standard: ODMG 3.0
The object data standard: ODMG 3.0
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Reformulation of XML Queries and Constraints
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Data Exchange: Semantics and Query Answering
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Querying XML Views of Relational Data
Proceedings of the 27th 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
Data Integration under Integrity Constraints
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Query Rewriting with Symmetric Constraints
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
A Calculus for Collections and Aggregates
CTCS '97 Proceedings of the 7th International Conference on Category Theory and Computer Science
Physical Data Independence, Constraints, and Optimization with Universal Plans
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
The GMAP: a versatile tool for physical data independence
The VLDB Journal — The International Journal on Very Large Data Bases
Answering queries using views: A survey
The VLDB Journal — The International Journal on Very Large Data Bases
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Object/relational query optimization with chase and backchase
Object/relational query optimization with chase and backchase
Xml query reformulation over mixed and redundant storage
Xml query reformulation over mixed and redundant storage
Data exchange: getting to the core
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2003
Computing cores for data exchange: new algorithms and practical solutions
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
XML Queries and constraints, containment and reformulation
Theoretical Computer Science - Database theory
Data exchange: semantics and query answering
Theoretical Computer Science - Database theory
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
MARS: a system for publishing XML from mixed and redundant storage
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Extending dependencies with conditions
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Update exchange with mappings and provenance
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Interactive source registration in community-oriented information integration
Proceedings of the VLDB Endowment
The ORCHESTRA Collaborative Data Sharing System
ACM SIGMOD Record
Towards Rule-Based Minimization of RDF Graphs under Constraints
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Querying data sources that export infinite sets of views
Proceedings of the 12th International Conference on Database Theory
Size and treewidth bounds for conjunctive queries
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Equivalence of SQL queries in presence of embedded dependencies
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Computing certain answers in the presence of dependencies
Information Systems
On chase termination beyond stratification
Proceedings of the VLDB Endowment
Using semantics for XPath query transformation
International Journal of Web and Grid Services
Enabling ontology evolution in data integration
Proceedings of the 2010 EDBT/ICDT Workshops
Semantic XPath query transformation: opportunities and performance
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
Appropriate reasoning about data dependencies in fixed and undetermined universes
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Foundations of SPARQL query optimization
Proceedings of the 13th International Conference on Database Theory
Composition with target constraints
Proceedings of the 13th International Conference on Database Theory
Semantic query optimization in the presence of types
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the termination of the chase algorithm
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Ontology evolution in data integration: query rewriting to the rescue
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Design by example for SQL table definitions with functional dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
A calculus for propagating semantic annotations through scientific workflow queries
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Characterisations of multivalued dependency implication over undetermined universes
Journal of Computer and System Sciences
ACM Transactions on Database Systems (TODS)
Size and Treewidth Bounds for Conjunctive Queries
Journal of the ACM (JACM)
Ontology evolution without tears
Web Semantics: Science, Services and Agents on the World Wide Web
Scalable containment for unions of conjunctive queries under constraints
Proceedings of the Fifth Workshop on Semantic Web Information Management
Semantic query optimization in the presence of types
Journal of Computer and System Sciences
Collaborative data sharing via update exchange and provenance
ACM Transactions on Database Systems (TODS)
Extending inclusion dependencies with conditions
Theoretical Computer Science
| Hi-index | 0.00 |
Let Σ1, Σ2 be two schemas, which may overlap, C be a set of constraints on the joint schema Σ1 ∪ Σ2, and q1 be a Σ1-query. An (equivalent) reformulation of q1 in the presence of C is a Σ2-query, q2, such that q2 gives the same answers as q1 on any Σ1 ∪ Σ2-database instance that satisfies C. In general, there may exist multiple such reformulations and choosing among them may require, for example, a cost model.