Skip to Main content Skip to Navigation
New interface
Conference papers

Containment of XPath expressions: an Inference and Rewriting based approach

Jean-Yves Vion-Dury 1 Nabil Layaïda 1 
1 WAM - Web, adaptation and multimedia
Inria Grenoble - Rhône-Alpes
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.
Document type :
Conference papers
Complete list of metadata
Contributor : Vincent Quint Connect in order to contact the contributor
Submitted on : Friday, October 9, 2009 - 5:43:32 PM
Last modification on : Wednesday, April 6, 2022 - 3:48:19 PM
Long-term archiving on: : Tuesday, June 15, 2010 - 10:36:59 PM


Files produced by the author(s)


  • HAL Id : inria-00423413, version 1



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. ⟨inria-00423413⟩



Record views


Files downloads