取消QL swMATH ID: 20018 软件作者： 彼得·布内曼（Peter Buneman）、玛丽·费尔南德斯（Mary Fernandez）、丹·苏西乌（Dan Suciu） 描述： UnQL：基于结构递归的半结构化数据的查询语言和代数。本文提出结构递归作为半结构化数据和XML查询语言的语法和语义基础。我们描述了一种基于模式匹配的简单而强大的查询语言，并表明可以使用结构递归来表示它，结构递归是作为自顶向下的递归函数引入的，类似于在XML树上定义XSL的方式。对于循环数据，结构递归可以用两种等效的方式定义：一种是递归函数，它自上而下地计算数据并记住所有调用以避免无限循环；另一种是批量计算，它只使用传统的关系代数操作符并行处理整个数据。后者使关系查询中的优化技术可以应用于结构递归。我们证明了两个结构递归查询的组合可以表示为单个这样的查询，这是中介系统优化方法的基础。建立了其他几个形式属性：结构递归可以用传递闭包扩展的一阶逻辑表示；其数据复杂性是PTIME；在关系数据上，它是关系演算的保守扩展。底层数据模型基于值相等，通过互模拟进行正式定义。结构递归在值相等方面是不变的。 主页： http://dl.acm.org/citation.cfm？id=765224 相关软件： XPath（XPath）;函数;X减少;CDuce公司;被子;G轨道电车;MongoDB数据库;卡桑德拉;洛雷尔;SPARQL公司;图形日志;蟒蛇;佩尔 引用于： 10文件 全部的 前5名19位作者引用 2 马科托·哈马纳 2 维姆·马滕斯 2 弗兰克，内文 2 德克·范·古赫特 2 斯迪恩·范萨梅伦 1 川崎朝田 1 范文飞 1 马克·吉森 1 金，琼吉 1 李建忠 1 马帅 1 松田和川 1 爱德华·罗伯逊。 1 西蒙·桑蒂尼 1 劳伦斯五世·萨克斯顿。 1 唐，南 1 Van den Bussche，简 1 吴英辉 1 Xu，Kevin H。 全部的 前5名7篇连载文章中引用 2 理论计算机科学 2 信息与计算 1 信息科学 1 计算机与系统科学杂志 1 MSCS公司。计算机科学中的数学结构 1 计算系统理论 1 计算机科学前沿 在3个字段中引用 10 计算机科学（68至XX） 1 数理逻辑与基础（03-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文