Recursion in XQuery: Put Your Distributivity Safety Belt On
Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, and Jens Teubner
Proceedings of the 12th Int'l Conference on Extending Database Technology (EDBT), Saint Petersburg, Russia, March 2009
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 types of recursion, but it is sufficiently versatile to capture a wide range of interesting use cases, including Regular XPath and its core transitive closure operator.
While the optimization of general user-defined recursive functions in XQuery appears elusive, we describe how inflationary fixed points can be efficiently evaluated, provided that the recursive XQuery expressions are distributive. We test distributivity syntactically and algebraically, and provide experimental evidence that XQuery processors can benefit substantially from this mode of evaluation.
camera-ready for EDBT 2009
submission to EDBT 2009 (accepted)
submission to VLDB 2008 (rejected)
camera-ready for ICDE 2008 (short paper)
paper published as technical report via arXiv.org
submission to ICDE 2008 (accepted as short paper)