On the analysis of queries with counting constraints

13 years 4 months ago
On the analysis of queries with counting constraints
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select portions of documents subject to transformations. We explore how recent results on the static analysis of navigational aspects of XPath can be extended to counting constraints. The static analysis of this combined XPath fragment allows to detect bugs in transformations and to perform many kinds of optimizations of document transformations. More precisely, we study how a logic for finite trees capable of expressing upward and downward recursive navigation, can be equipped with a counting operator along regular path expressions. Categories and Subject Descriptors H.2.3 [Database Management]: Languages—Query Languages; F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic—modal logic General Terms Algorithms, Languages, Theory, Verification Keywords XML, XPath, Type Checking, Counting Constraints,...
Everardo Bárcenas, Pierre Genevès, N
Added 28 May 2010
Updated 28 May 2010
Type Conference
Year 2009
Authors Everardo Bárcenas, Pierre Genevès, Nabil Layaïda
Comments (0)