Deciding XPath Containment with MSO - Archive ouverte HAL Access content directly
Journal Articles Data and Knowledge Engineering Year : 2007

Deciding XPath Containment with MSO

Pierre Genevès
Nabil Layaïda


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 a complexity analysis together with practical experiments that illustrate the efficiency of the decision procedure for realistic scenarios.
Fichier principal
Vignette du fichier
containment-mso.pdf (359.13 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00189134 , version 1 (20-11-2007)


  • HAL Id : hal-00189134 , version 1


Pierre Genevès, Nabil Layaïda. Deciding XPath Containment with MSO. Data and Knowledge Engineering, 2007, 63 (1), p. 108-136. ⟨hal-00189134⟩
270 View
145 Download


Gmail Facebook Twitter LinkedIn More