An inflationary fixed point operator in XQuery (2009)
Afanasiev, L., Grust, T., Marx, M., Rittinger, J., Teubner, J.
We introduce a controlled form of recursion in XQuery, an inflationary fixed point operator, familiar from the context of relational databases. This operator imposes restrictions on the expressible...
An analysis of XQuery benchmarks (2008)
This paper presents a survey and an analysis of the XQuery benchmark publicly available in 2006—XMach-1, XMark, X007, the Michigan benchmark, and XBench—from different perspectives. We address...
XCheck: a platform for benchmarking XQuery engines (2006)
L. Afanasiev, M. Franceschet, M. Marx, E. Zimuel
XCheck is a tool for assessing the relative performance of different XQuery/XPath engines by means of benchmarks consisting of a set of XML queries and a set of XML documents. Given a benchmark and a...
Afanasiev, L., Blackburn, P., Dimitriou, I., Gaiffe, B., Goris, E., Marx, M.J., ...
This paper is about a special version of PDL, proposed by Marcus Kracht, for reasoning about sibling ordered trees. It has four basic programs corresponding to the child, parent, left- and...
CTL model checking for processing simple XPath queries (2004)
Afanasiev, L., Franceschet, M., Marx, M.J., Rijke, M. De
The Extensible Markup Language (XML) was designed to describe the content of a document and its hierarchical structure, and the XML Path language (XPath) is a language for selecting elements from XML...