Reasoning about pattern-based XML queries

Authors:
Amélie Gheerbrant;Leonid Libkin;Cristina Sirangelo
Affiliations:
School of Informatics, University of Edinburgh, UK;School of Informatics, University of Edinburgh, UK;LSV, ENS-Cachan INRIA & CNRS, France
Venue:
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Year:
2013

Citing 26
Cited 0

Incomplete Information in Relational Databases

Journal of the ACM (JACM)
Equivalences Among Relational Expressions with the Union and Difference Operators

Journal of the ACM (JACM)
Data integration: a theoretical perspective

Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On XML integrity constraints in the presence of DTDs

Journal of the ACM (JACM)
Tree pattern query minimization

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
Containment and equivalence for a fragment of XPath

Journal of the ACM (JACM)
XPath query containment

ACM SIGMOD Record
Conjunctive queries over trees

Journal of the ACM (JACM)
Representing and querying XML with incomplete information

ACM Transactions on Database Systems (TODS)
A system for the static analysis of XPath

ACM Transactions on Information Systems (TOIS)
Reasoning about XML update constraints

Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Simple off the shelf abstractions for XML schema

ACM SIGMOD Record
XML data exchange: Consistency and query answering

Journal of the ACM (JACM)
On the Complexity of Verifying Consistency of XML Specifications

SIAM Journal on Computing
Optimizing Conjunctive Queries over Trees Using Schema Information

MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
XML schema mappings

Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Satisfiability of downward XPath with data equality tests

Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Certain answers for XML queries

Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
XML with incomplete information

Journal of the ACM (JACM)
Solutions in XML data exchange

Proceedings of the 14th International Conference on Database Theory
Relational and XML Data Exchange

Relational and XML Data Exchange
Conjunctive query containment over trees

Journal of Computer and System Sciences
Incomplete information and certain answers in general data models

Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the complexity of query answering over incomplete XML documents

Proceedings of the 15th International Conference on Database Theory
Containment of pattern-based queries over data trees

Proceedings of the 16th International Conference on Database Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

We survey results about static analysis of pattern-based queries over XML documents. These queries are analogs of conjunctive queries, their unions and Boolean combinations, in which tree patterns play the role of atomic formulae. As in the relational case, they can be viewed as both queries and incomplete documents, and thus static analysis problems can also be viewed as finding certain answers of queries over such documents. We look at satisfiability of patterns under schemas, containment of queries for various features of XML used in queries, finding certain answers, and applications of pattern-based queries in reasoning about schema mappings for data exchange.