On the Analysis of Queries with Counting Constraints

Download Now
Provided by: Association for Computing Machinery
Topic: Big Data
Format: PDF
The authors 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. They 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.
Download Now

Find By Topic