An Inflationary Fixed Point Operator in XQuery

  • Authors:
  • Loredana Afanasiev;Torsten Grust;Maarten Marx;Jan Rittinger;Jens Teubner

  • Affiliations:
  • University of Amsterdam, Amsterdam, The Netherlands. lafanasi@science.uva.nl;Technische Universität München, Munich, Germany. grust@in.tum.de;University of Amsterdam, Amsterdam, The Netherlands. marx@science.uva.nl;Technische Universität München, Munich, Germany. rittinge@in.tum.de;IBM T.J. Watson Research Center, Hawthorne, NY, USA. teubner@us.ibm.com

  • Venue:
  • ICDE '08 Proceedings of the 2008 IEEE 24th International Conference on Data Engineering
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 we show that 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.