Ordered and Unordered Tree Inclusion
SIAM Journal on Computing
Journal of the ACM (JACM)
Typechecking for XML transformers
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Expressive and efficient pattern languages for tree-structured data (extended abstract)
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Extended path expressions of XML
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Minimization of tree pattern queries
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Containment and equivalence for an XPath fragment
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Dynamic Logic
Efficient algorithms for minimizing tree pattern queries
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
A formal model for an expressive fragment of XSLT
Information Systems - Databases: Creation, management and utilization
EDBT '02 Proceedings of the Worshops XMLDM, MDDE, and YRWS on XML-Based Data Management and Multimedia Engineering-Revised Papers
On the Equivalence of XML Patterns
CL '00 Proceedings of the First International Conference on Computational Logic
Efficient filtering of XML documents with XPath expressions
The VLDB Journal — The International Journal on Very Large Data Bases
Reasoning in expressive description logics
Handbook of automated reasoning
Efficient algorithms for processing XPath queries
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
XPath Containment in the Presence of Disjunction, DTDs, and Variables
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Information Systems
ACM SIGMOD Record
Specifying access control policies for XML documents with XPath
Proceedings of the ninth ACM symposium on Access control models and technologies
Best-match querying from document-centric XML
Proceedings of the 7th International Workshop on the Web and Databases: colocated with ACM SIGMOD/PODS 2004
Conditional XPath, the first order complete XPath dialect
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Conjunctive queries over trees
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Generalized XML security views
Proceedings of the tenth ACM symposium on Access control models and technologies
XML data exchange: consistency and query answering
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
XPath satisfiability in the presence of DTDs
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
ACM Transactions on Database Systems (TODS)
Rewriting XPath queries using materialized views
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Semantic characterizations of navigational XPath
ACM SIGMOD Record
Structured queries in XML retrieval
Proceedings of the 14th ACM international conference on Information and knowledge management
LiXQuery: a formal foundation for XQuery research
ACM SIGMOD Record
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2004
Conjunctive queries over trees
Journal of the ACM (JACM)
Processing queries on tree-structured data efficiently
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Structural characterizations of the semantics of XPath as navigation tool on a document
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Answering tree pattern queries using views
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Answering xpath queries over networks by sending minimal views
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Taming XPath queries by minimizing wildcard steps
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Filtering unsatisfiable XPath queries
Data & Knowledge Engineering
On the minimization of XPath queries
Journal of the ACM (JACM)
Navigational XPath: calculus and algebra
ACM SIGMOD Record
XML data exchange: Consistency and query answering
Journal of the ACM (JACM)
Data & Knowledge Engineering
On the expressibility of functions in XQuery fragments
Information Systems
Structural summaries for efficient XML query processing
Ph.D. '08 Proceedings of the 2008 EDBT Ph.D. workshop
ACM Computing Surveys (CSUR)
On the expressiveness of generalization rules for XPath query relaxation
Proceedings of the Fourteenth International Database Engineering & Applications Symposium
Relative expressive power of navigational querying on graphs
Proceedings of the 14th International Conference on Database Theory
Policy classes and query rewriting algorithm for XML security views
DBSEC'06 Proceedings of the 20th IFIP WG 11.3 working conference on Data and Applications Security
Hidden conditioned homomorphism for XPath fragment containment
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
Satisfiability of XPath queries with sibling axes
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
On the expressive power of XQuery fragments
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
First order paths in ordered trees
ICDT'05 Proceedings of the 10th international conference on Database Theory
Web and semantic web query languages: a survey
Proceedings of the First international conference on Reasoning Web
Query translation for XPath-based security views
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
High Performance Static Analysis for Industry
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
We study structural properties of each of the main sublanguages of XPath [8] commonly used in practice. First, we characterize the expressive power of these language fragments in terms of both logics and tree patterns. Second, we investigate closure properties, focusing on the ability to perform basic Boolean operations while remaining within the fragment. We give a complete picture of the closure properties of these fragments, treating XPath expressions both as functions of arbitrary nodes in a document tree, and as functions that are applied only at the root of the tree. Finally, we provide sound and complete axiom systems and normal forms for several of these fragments. These results are useful for simplification of XPath expressions and optimization of XML queries.