×
叶夫根·谢尔霍诺夫;马尔滕·马克思

包含带有否定原子或算术比较的非循环连接查询。 （英语） Zbl 1400.68066号

信息处理。莱特。 120, 30-39 (2017).
摘要：我们研究了用否定原子或算术比较展开的连接查询（CQ）的包含问题。众所周知，这个问题是\（\Pi_2^｛\mathrm｛P｝｝）-完全的[J.D.乌尔曼，提奥。计算。科学。239，第2期，189-210（2000年；Zbl 0944.68047号);F.魏和G.劳森，莱克特。注释计算。科学。2572, 346–360 (2003;Zbl 1022.68040号)]. 本文的目的是找到对CQ的限制，以便于控制。特别是，我们考虑非循环连接查询。即使有最严格的无环形式（Berge无环），遏制也是coNP公司-很难。但对于具有负原子或算术比较的Berge-无环CQ的特定片段（仅子树模式），包含在P时间.

MSC公司：

第68页，共15页 数据库理论
65年第68季度 算法和问题复杂性分析

关键词：

数据库;查询包含;联合查询

引文：

Zbl 0944.68047号;Zbl 1022.68040号
PDF格式BibTeX公司 XML格式引用
\textit{E.Sherkhonov}和\textit{M.Marx}，Inf.过程。莱特。120、30--39（2017；Zbl 1400.68066）
全文： DOI程序 链接

参考文献：

[1] Afrati，F.N。；科恩，S。；Kuper，G.M.，《关于树模式包含与算术比较的复杂性》，Inf.Process。莱特。，111, 15, 754-760 (2011) ·Zbl 1260.68134号
[2] Amer-Yahia，S。；Cho，S。；Lakshmanan，L。；Srivastava，D.，树模式查询最小化，VLDB J.，11，315-331（2002）·Zbl 1047.68040号
[3] Benedikt，M。；风扇，W。；Kuper，G.M.，XPath片段的结构属性，Theor。计算。科学。，336, 1, 3-31 (2005) ·Zbl 1080.68018号
[4] Chandra，A.K。；Merlin，P.M.，《关系数据库中联合查询的优化实现》（第九届ACM计算机理论研讨会论文集，1977年）
[5] Chekuri，C。；Rajaraman，A.，《重新访问连接查询遏制》，Theor。计算。科学。，239, 2, 211-229 (2000) ·Zbl 0944.68046号
[6] 法奇尼，A。；Y.Hirai。；马克思，M。；Sherkhonov，E.，条件树模式的包含，Log。方法计算。科学。，11, 2, 4 (2015) ·Zbl 1391.68027号
[7] Fagin，R.，超图和关系数据库方案的无环度，J.ACM，30，3，514-550（1983）·Zbl 0624.68088号
[8] Gottlob，G。；塞拉利昂，北卡罗来纳州。；Scarcello，F.，《非循环连接查询的复杂性》，J.ACM，48，3，431-498（2001）·Zbl 1323.68250号
[9] Gottlob，G。；塞拉利昂，北卡罗来纳州。；Scarcello，F.，《超树分解和易处理查询》，J.Compute。系统。科学。，64, 3, 579-627 (2002) ·Zbl 1052.68025号
[10] Klug，A.C.，《关于包含不等式的联合查询》，J.ACM，35，1，146-160（1988）·Zbl 0637.68109号
[11] 米克劳，G。；Suciu，D.，XPath片段的包含和等价，J.ACM，51，1，2-45（2004）·Zbl 1316.68047号
[12] Nutt，W.，《本体论和数据库系统：数据库系统的基础》（2013），教材
[13] 谢尔霍诺夫，E。；Marx，M.，《利用属性值比较遏制树模式》（WebDB 2013（2013））
[14] Ullman，J.D.，《使用逻辑视图的信息集成》，Theor。计算。科学。，239, 2, 189-210 (2000) ·Zbl 0944.68047号
[15] van der Meyden，R.，查询线性有序域的不确定数据的复杂性，J.Compute。系统。科学。，54, 1, 113-135 (1997) ·Zbl 0876.68035号
[16] 魏，F。；Lausen，G.，《用安全否定控制连接查询》（ICDT 2003（2003）），343-357·Zbl 1022.68040号
[17] Yannakakis，M.，非循环数据库方案的算法，（Proc.7th Internal.Conf.on Very Large Data Bases（1981）），82-94
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。