×
谢尔盖·阿比特布尔;皮埃尔·布赫斯;维克托·维亚努

无序数据树的高表达性查询语言。 （英语） Zbl 1352.68075号

理论计算。系统。 57，第4期，927-966（2015）.
摘要：我们研究无序数据树的高表达性查询语言，并将其用作正式载体Active XML和while系列中语言的扩展。所有语言都可以看作是在一组基本模式查询之上添加了某种形式的控制。结果突出了不同因素的影响和相互作用：基本查询的表达能力，计算嵌入到数据中（如Active XML），以及确定性与非确定性控制的使用。所有语言都是图灵完备的，但不一定是钱德拉和哈雷意义上的查询完备的。事实上，我们表明，一些特征组合会产生严重的限制，类似于关系上下文中的\（\mathrm｛FO｝^k\）可定义性。另一方面，这些局限性也带来了好处，例如强大的范式的存在为优化提供了机会。其他语言“几乎”完成了，但由于一些细微的限制，使人联想到对象数据库中的复制消除问题，因此还不够。

引用于4文件

MSC公司：

第68页，共15页 数据库理论

关键词：

查询语言;数据树;XML格式;表现力
PDF格式BibTeX公司 XML格式引用
\textit{S.Abiteboul}等人，理论计算。系统。57，第4号，927--966（2015；Zbl 1352.68075）
全文： 内政部 链接

参考文献：

[1] Abiteboul，S.，Benjelloun，O.，Milo，T.：活动XML项目：概述。VLDB J.17（5）（2008）
[2] Abiteboul，S.，Bourhis，P.，Vianu，V.：比较工作流规范语言：关于视图的问题。ACM事务处理。数据库系统。37(2) (2012). 也是ICDT 2011
[3] 阿比特布尔（Abiteboul，S.）、康普顿（Compton，K.J.）、维亚努（Vianu，V.）：提问可能比你想象的要容易。PODS（1992）
[4] Abiteboul，S.，Hull，R.，Vianu，V.：数据库基础。Addison Wesley，马萨诸塞州雷丁（1995）·Zbl 0848.68031号
[5] Abiteboul，S.，Kanellakis，P.：作为查询语言原语的对象标识。J.协会计算。机器。（JACM）45（5）（1998）·兹比尔1065.68522
[6] Abiteboul，S.，Segoufin，L.，Vianu，V.：主动XML系统的静态分析。ACM事务处理。数据库系统。34(4) (2009). 也是PODS 2008
[7] Abiteboul，S.，Vianu，V.：通用计算及其复杂性。STOC，第209-219页（1991）·Zbl 0764.68158号
[8] Abiteboul，S.，Vianu，V.：使用一阶逻辑进行计算。J.计算。系统。科学。50(2) (1995) ·Zbl 0827.68036号
[9] Benedikt，M.，Koch，C.：从XQuery到关系逻辑。ACM事务处理。数据库系统。34(4) (2009)
[10] Bojanczyk，M.：数据字和数据树的自动机。在RTA中，第1-4页（2010）
[11] Calvanee，D.、Giacomo，G.D.、Hull，R.、Su，J.：以工艺为中心的工作流优势。ICSOC/ServiceWave（2009年）
[12] Hidders，J.、Marrara，S.、Paredaens，J.和Vercammen，R.：关于XQuery片段的表达能力。DBPL（2005）·Zbl 1159.68419号
[13] Hidders，J.、Paredaens，J.，Vercammen，R.、Demeyer，S.：XQuery的简单而正式的介绍。在XSym（2004）中
[14] Janssen，W.，Korlyukov，A.，den Bussche，J.V.：关于XSLT的树转换能力。《学报》第43卷第6期（2007年）·Zbl 1106.68019号
[15] Koch，C.：关于非递归XQuery和函数查询语言在复杂值上的复杂性。ACM事务处理。数据库系统。31(4) (2006)
[16] Libkin，L.：有限模型理论的要素。施普林格，柏林（2004）·Zbl 1060.03002号 ·doi:10.1007/978-3-662-07003-1
[17] Neven，F.：自动化、逻辑和XML。计算机科学逻辑（2002）·Zbl 1020.68044号
[18] Schwentick，T.：XML自动化——一项调查。J.计算。系统。科学。73(3) (2007) ·Zbl 1115.68101号
[19] Segoufin，L.：在无限字母表上单词和树的自动机和逻辑。《计算机科学逻辑》，第41-57页（2006年）·Zbl 1225.68103号
[20] Segoufin，L.：使用数据值对XML处理进行静态分析。SIGMOD记录36（1），31-38（2007）·数字对象标识代码：10.1145/1276301.1276308
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。