A System for the Static Analysis of XPath

Pierre Genevès 1 Nabil Layaïda 1
1 WAM - Web, adaptation and multimedia
Inria Grenoble - Rhône-Alpes
Abstract : XPath is the standard language for navigating XML documents and returning a set of matching nodes. We present a sound and complete decision procedure for containment of XPath queries as well as other related XPath decision problems such as satisfiability, equivalence, overlap and coverage. The considered XPath fragment covers most of the language features used in practice. Specifically, we propose a unifying logic for XML, namely the alternation-free modal µ-calculus with converse. We show how to translate major XML concepts such as XPath and regular XML types (including DTDs) into this logic. Based on these embeddings, we show how XPath decision problems, in the presence or the absence of XML types, can be solved using a decision procedure for µ-calculus satisfiability. We provide a complexity analysis together with practical experiments of our system that illustrate the efficiency of the approach for realistic scenarios.
Type de document :
Article dans une revue
ACM Transactions on Information Systems, Association for Computing Machinery, 2006, 24 (4), pp.475--502
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00189137
Contributeur : Pierre Genevès <>
Soumis le : mardi 20 novembre 2007 - 17:31:32
Dernière modification le : mercredi 21 novembre 2007 - 08:09:12
Document(s) archivé(s) le : lundi 12 avril 2010 - 02:48:02

Fichier

geneves-tois06.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00189137, version 1

Collections

Citation

Pierre Genevès, Nabil Layaïda. A System for the Static Analysis of XPath. ACM Transactions on Information Systems, Association for Computing Machinery, 2006, 24 (4), pp.475--502. <hal-00189137>

Partager

Métriques

Consultations de
la notice

183

Téléchargements du document

128