20 search results - page 2 / 4 » Tree Automata and XPath on Compressed Trees |
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...
CORR
2008
Springer
13 years 6 months ago
2008
Springer
JACM
2010
13 years 4 months ago
2010
ICDT
2010
ACM
14 years 3 months ago
2010
ACM
We consider a fragment of XPath named `forward-XPath', which contains all descendant and rightwards sibling axes as well as data equality and inequality tests. The satisfiabi...
XIMEP
2004
ACM
13 years 11 months ago
2004
ACM
We argue that efficient support for schema validation and type annotation in XQuery processors deserves as much attention as efficient evaluation techniques for XPath queries have...