Higher−Order Functions and Structured Datatypes
Michael Benedikt and Huy Vu
Abstract
Recent proposals from the World Wide Web consortium propose adding support for higher-order functions within the XQuery standard. In this work we explore languages adding higher-order features on top of XML and other structured datatypes. We define a higher-order extension for Core XQuery, along with a higher-order algebra over complex values which has the same complexity as the XML-based language. We discuss our language and its relation with proposed extensions to the XQuery standard, study the complexity of evaluation, and briefly discuss our approach to implementing the language.
Affiliation
Oxford University
Journal
WebDB: The 15th International Workshop on the Web and Databases (Co−located with ACM SIGMOD)
Year
2012