Sciweavers

DKE
2007

Deciding XPath containment with MSO

13 years 6 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 fragment covers most of the language features used in practice. Specifically, we show how XPath queries can be translated into equivalent formulas in monadic second-order logic. Using this translation, we construct an optimized logical formulation of the containment problem, which is decided using tree automata. When the containment relation does not hold between two XPath expressions, a counter-example XML tree is generated. We provide practical experiments that illustrate the efficiency of the decision procedure for realistic scenarios. Key words: Containment, Query, XML, XPath, Architectures of database systems, Construction of data/knowledge bases, Tools
Pierre Genevès, Nabil Layaïda
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where DKE
Authors Pierre Genevès, Nabil Layaïda
Comments (0)