Deciding XPath Containment with MSO

Pierre Genevès 1 Nabil Layaïda 1
1 WAM - Web, adaptation and multimedia
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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.
Type de document :
Article dans une revue
Data and Knowledge Engineering, Elsevier, 2007, 63 (1), p. 108-136
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00189134
Contributeur : Pierre Genevès <>
Soumis le : mardi 20 novembre 2007 - 17:32:16
Dernière modification le : vendredi 14 décembre 2007 - 12:13:27
Document(s) archivé(s) le : lundi 12 avril 2010 - 02:47:50

Fichier

containment-mso.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00189134, version 1

Collections

INRIA | LIG | UGA

Citation

Pierre Genevès, Nabil Layaïda. Deciding XPath Containment with MSO. Data and Knowledge Engineering, Elsevier, 2007, 63 (1), p. 108-136. <hal-00189134>

Partager

Métriques

Consultations de
la notice

316

Téléchargements du document

112