A Decision Procedure for XPath Containment - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2006

A Decision Procedure for XPath Containment

Pierre Genevès
Nabil Layaïda

Abstract

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-5867.pdf (389.38 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00070159 , version 1 (19-05-2006)

Identifiers

  • HAL Id : inria-00070159 , version 1

Cite

Pierre Genevès, Nabil Layaïda. A Decision Procedure for XPath Containment. [Research Report] RR-5867, INRIA. 2006, pp.41. ⟨inria-00070159⟩
112 View
105 Download

Share

Gmail Facebook X LinkedIn More