XPath leashed
This survey gives an overview of formal results on the XML query language XPath. We
identify several important fragments of XPath, focusing on subsets of XPath 1.0. We then …
identify several important fragments of XPath, focusing on subsets of XPath 1.0. We then …
Logics for unranked trees: An overview
L Libkin - Logical Methods in Computer Science, 2006 - lmcs.episciences.org
Labeled unranked trees are used as a model of XML documents, and logical languages for
them have been studied actively over the past several years. Such logics have different …
them have been studied actively over the past several years. Such logics have different …
Efficient algorithms for processing XPath queries
Our experimental analysis of several popular XPath processors reveals a striking fact: Query
evaluation in each of the systems requires time exponential in the size of queries in the …
evaluation in each of the systems requires time exponential in the size of queries in the …
Monadic datalog and the expressive power of languages for web information extraction
Research on information extraction from Web pages (wrap**) has seen much activity
recently (particularly systems implementations), but little work has been done on formally …
recently (particularly systems implementations), but little work has been done on formally …
XPath containment in the presence of disjunction, DTDs, and variables
XPath is a simple language for navigating an XML tree and returning a set of answer nodes.
The focus in this paper is on the complexity of the containment problem for various …
The focus in this paper is on the complexity of the containment problem for various …
Web and semantic web query languages: A survey
A number of techniques have been developed to facilitate powerful data retrieval on the
Web and Semantic Web. Three categories of Web query languages can be distinguished …
Web and Semantic Web. Three categories of Web query languages can be distinguished …
Conditional xpath
M Marx - ACM Transactions on Database Systems (TODS), 2005 - dl.acm.org
XPath 1.0 is a variable free language designed to specify paths between nodes in XML
documents. Such paths can alternatively be specified in first-order logic. The logical …
documents. Such paths can alternatively be specified in first-order logic. The logical …
Conjunctive queries over trees
We study the complexity and expressive power of conjunctive queries over unranked
labeled trees represented using a variety of structure relations such as “child”,“descendant” …
labeled trees represented using a variety of structure relations such as “child”,“descendant” …
Semantic characterizations of navigational XPath
We give semantic characterizations of the expressive power of navigational XPath (aka Core
XPath) in terms of first order logic. XPath can be used to specify sets of nodes and sets of …
XPath) in terms of first order logic. XPath can be used to specify sets of nodes and sets of …
XPath with conditional axis relations
M Marx - International Conference on Extending Database …, 2004 - Springer
This paper is about the W3C standard node-addressing language for XML documents,
called XPath. XPath is still under development. Version 2.0 appeared in 2001 while the …
called XPath. XPath is still under development. Version 2.0 appeared in 2001 while the …