XQuery中的通胀不动点运算符
摘要：通过引入XQuery中的受控递归形式，我们介绍了在关系数据库的上下文中已熟知的膨胀型不动点。虽然这对可表达的递归类型施加了限制，但我们表明，膨胀型不动点仍然足够灵活，能够涵盖广泛的有趣用例，包括正则XPath的语义和其核心传递闭包构造。 虽然优化XQuery中的普遍用户定义的递归函数似乎很困难，但我们将描述如何高效地评估膨胀型不动点，条件是递归XQuery表达式具有分配性质。我们展示了分配性质可以在语法和代数方面进行评估，并提供实验证据表明，在膨胀型不动点评估过程中，XQuery处理器可以大幅受益。
作者：Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner
论文ID：0711.3375
分类：Databases
分类简称：cs.DB
提交时间：2007-11-22