Sciweavers

1445 search results - page 1 / 289
» XPath query containment
Sort
View
SIGMOD
2004
ACM
99views Database» more  SIGMOD 2004»
14 years 4 months ago
XPath query containment
Thomas Schwentick
DKE
2007
136views more  DKE 2007»
13 years 4 months ago
Deciding XPath containment with MSO
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...
Pierre Genevès, Nabil Layaïda
DATESO
2007
103views Database» more  DATESO 2007»
13 years 6 months ago
Using BMH Algorithm to Solve Subset of XPath Queries
Boyer-Moore-Horspool (BMH) algorithm is commonly used to solve text searching problems. In this paper is used to solve the constraint subset of XPath queries offering effective alg...
David Toth
WISE
2002
Springer
13 years 9 months ago
Optimized Translation of XPath into Algebraic Expressions Parameterized by Programs Containing Navigational Primitives
We propose a new approach for the efficient evaluation of XPath expressions. This is important, since XPath is not only used as a simple, stand-alone query language, but is also ...
Sven Helmer, Carl-Christian Kanne, Guido Moerkotte
ICDE
2010
IEEE
192views Database» more  ICDE 2010»
13 years 11 months ago
XML reasoning made practical
— We present a tool for the static analysis of XPath queries and XML Schemas. The tool introduces techniques used in the field of verification (such as binary decision diagrams...
Pierre Genevès, Nabil Layaïda