37 search results - page 1 / 8 » Containment and Equivalence for an XPath Fragment |
PODS
2002
ACM
14 years 6 months ago
2002
ACM
JAPLL
2010
13 years 4 months ago
2010
We provide complete axiomatizations for several fragments of XPath: sets of equivalences from which every other valid equivalence is derivable. Specifically, we axiomatize downwar...
DKE
2007
13 years 6 months ago
2007
XPath is the standard language for addressing parts of an XML document. We present a sound and complete decision procedure for containment of XPath queries. The considered XPath f...
DOCENG
2006
ACM
14 years 3 days ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
CORR
2006
Springer
13 years 6 months ago
2006
Springer
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 frag...