Containment of XPath expressions: an Inference and Rewriting based approach

Abstract : XPath is a simple query language for XML documents which allows navigating in XML trees and returning a set of matching nodes. It is used in XML Schema to define keys an in XLink and XPointer to reference portions of documents. XPath is a fundamental part of XSLT and XQuery languages as it allows to define matching expressions for patterns and provides node selectors to filter elements in the transformations. We propose to study the containment and equivalence of XPath expressions using an inference system combined with a rewriting system. The inference system allows to assert and prove properties on a class of expressions. In order to keep the proof system compact, we propose a re-writing architecture which allows to transform remaining expressions in a disjunctive normal form compatible with this class. In contrast with model based approaches, the inference and rewriting systems are applied to the XPath language directly. We believe this will help understanding the underlying issues of deciding containment on the language itself.
Type de document :
Communication dans un congrès
Extreme Markup Languages, Aug 2003, Montréal, Canada. IDEAlliance, 2003
Liste complète des métadonnées

https://hal.inria.fr/inria-00423413
Contributeur : Vincent Quint <>
Soumis le : vendredi 9 octobre 2009 - 17:43:32
Dernière modification le : mercredi 30 décembre 2009 - 15:33:16
Document(s) archivé(s) le : mardi 15 juin 2010 - 22:36:59

Fichier

xtrem2003.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00423413, version 1

Collections

Citation

Jean-Yves Vion-Dury, Nabil Layaïda. Containment of XPath expressions: an Inference and Rewriting based approach. Extreme Markup Languages, Aug 2003, Montréal, Canada. IDEAlliance, 2003. <inria-00423413>

Partager

Métriques

Consultations de
la notice

255

Téléchargements du document

84