Comparing XML path expressions

13 years 5 months ago
Comparing XML path expressions
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type checking, XPath decision problems arise naturally. They notably include XPath comparisons such as equivalence (whether two queries always return the same result), and containment (whether for any tree the result of a particular query is included in the result of a second one). XPath decision problems have attracted a lot of research attention, especially for studying the computational complexity of various XPath fragments. However, what is missing at present is the constructive use of an expressive logic which would allow capturing these decision problems, while providing practically effective decision procedures. In this paper, we propose a logic-based framework for the static analysis of XPath. Specifically, we propose the alternation free modal µ-calculus with converse as the appropriate logic for effe...
Pierre Genevès, Nabil Layaïda
Added 13 Jun 2010
Updated 13 Jun 2010
Type Conference
Year 2006
Authors Pierre Genevès, Nabil Layaïda
Comments (0)