哈米斯·马哈茂德·阿布;Ngo、Hung Q。;丹·奥尔特阿努;丹·苏秋 带否定的联合查询的布尔张量分解。 （英语） Zbl 07561481号 Barcelo，Pablo（编辑）等人，第22届数据库理论国际会议，2019年3月26日至28日，2019，葡萄牙里斯本。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。127，第21条，第19页（2019年）。 摘要：我们提出了一种用否定回答联合查询的方法，其中否定关系具有有界度。其数据复杂性与输入查询的正子查询的InsideOut和PANDA算法相匹配，并分别以分数超树宽度和子模块宽度表示。其查询复杂性取决于否定关系的连接结构；一般来说，在否定关系中出现的连接变量的数量是指数的，但对于几类查询来说，它是多项式的。这种方法依赖于几种贡献。我们展示了如何将有界度关系上带有否定的查询重写为带有not-all-equal（NAE）谓词的等价连接查询，这些谓词是不合格的多维模拟。然后，我们将已知的颜色编码技术推广到NAE谓词的连词，并通过NAE谓词的连词的布尔张量分解来解释它。这种分解可以通过一种概率结构来实现，这种概率结构可以有效地去域。关于整个系列，请参见[Zbl 1411.68012号]. 引用于1文件 MSC公司： 第68页，共15页 数据库理论 关键词：彩色编码;组合复杂性;否定;查询求值 PDF格式BibTeX公司 XML格式引用 \textit{K.M.Abo}等人，LIPIcs——莱布尼茨国际程序。通知。127，第21条，第19页（2019年；Zbl 07561481） 全文： 内政部 arXiv公司 参考文献： [1] Mahmoud Abo Khamis、Hung Q.Ngo和Atri Rudra。常见问题解答：常见问题。PODS，第13-28页，2016年。 [2] 马哈茂德·阿布·哈米斯（Mahmoud Abo Khamis）、洪庆·恩戈（Hung Q.Ngo）和丹·苏丘（Dan Suciu）。Shannont型不等式、子模宽度和析取数据日志之间有什么关系？在PODS中，第429-444页，2017年。 [3] 诺加·阿龙、约书亚·布鲁克、约瑟夫·纳尔、莫尼·纳尔和罗恩·罗斯。通过伪随机图构造渐近良好的低速纠错码。IEEE传输。信息理论，38（2）：509-5161992·Zbl 0744.94023号 [4] Noga Alon和Jeong Han Kim。关于统一超图的度、大小和色指数。J.组合理论系列。A、 77（1）：165-1701997年·Zbl 0868.05037号 [5] 诺加·阿隆、达娜·莫什科维茨和什穆埃尔·萨夫拉。k-限制集的算法构造。ACM事务处理。算法，2（2）：153-1772006·Zbl 1321.68445号 [6] 诺加·阿龙和乔尔·斯宾塞。概率方法。约翰·威利，1992年·Zbl 0767.05001号 [7] 诺加·阿隆、拉斐尔·尤斯特和乌里·兹威克。颜色编码。J.ACM，42（4）：844-8561995年·兹伯利0885.68116 [8] 纪尧姆·巴根（Guillaume Bagan）、阿诺德·杜兰德（Arnaud Durand）和艾蒂安·格兰德让（Etienne Grandjean）。关于非循环连接查询和常数延迟枚举。CSL，第208-222页，2007年·Zbl 1179.68047号 [9] 陈一佳（Yijia Chen）和约尔格·弗鲁姆（Jörg Flum）。关于参数化路径和无弦路径问题。在CCC中，第250-263页，2007年。 [10] 陈一佳、马克·瑟利和马克·韦耶。理解诱导子图同构的复杂性。在ICALP中，第587-596页，2008年·Zbl 1153.68387号 [11] 杜定珠和黄弗兰克。组合分组测试及其应用，应用数学系列第12卷。世界科学出版公司，第二版，2000年·Zbl 0952.90001号 [12] V.费伯。线性超图边缘着色。ArXiv电子版，2016年。arXiv:1603.04938。 [13] Jörg Flum和Martin Grohe。参数化复杂性理论。理论计算机科学课文。EATCS系列。斯普林格，2006年·Zbl 1143.68016号 [14] 乔治·戈特洛布（Georg Gottlob）、吉安路易吉·格雷科（Gianluigi Greco）、尼古拉·利昂（Nicola Leone）和弗朗西斯科·斯卡切罗（Francesco Scarcello）。Hypertree分解：问题和答案。PODS，第57-74页，2016年。 [15] 马丁·格罗（Martin Grohe）、斯蒂芬·克鲁泽（Stephan Kreutzer）和塞巴斯蒂安·西伯茨（Sebastian Siebertz）。无处不在稠密图的一阶性质的判定。J.ACM，64（3）：17:1-17:32，2017年·Zbl 1426.68172号 [16] 马丁·格罗和达尼尔·马克思。通过分数边覆盖求解约束。ACM事务处理。藻类。，11(1):4, 2014. ·Zbl 1398.68240号 [17] 汤米·詹森和比亚恩·托夫特。图形着色问题。离散数学与优化中的Wiley Interscience系列。John Wiley&Sons Inc.，纽约，1995年。Wiley Interscience出版·Zbl 0855.05054号 [18] 塔马拉·科尔达（Tamara G.Kolda）和布雷特·巴德（Brett W.Bader）。张量分解及其应用。SIAM版本，51（3）：455-500，2009年·Zbl 1173.65029号 [19] D.科尼格。U.ber Graphen und ihre Anwendung auf Determinantesheory und Mengenlehre（确定天线理论和门根勒）。数学。安，77:453-4651916。 [20] Paraschos Koutris、Tova Milo、Sudeepa Roy和Dan Suciu。用不等式回答连词查询。理论计算。系统。，61（1）：2017年2月30日·Zbl 1370.68070号 [21] Valentas Kurauskas和Katarzyna Rybarczyk。关于随机一致超图的色指数。SIAM J.离散数学。，29(1):541-558, 2015. ·Zbl 1311.05141号 [22] 达尼尔·马克思。约束满足和连接查询的可追踪超图属性。J.ACM，60（6）：42:1-42:512013年11月。doi:10.1145/2535926·Zbl 1281.68135号 ·doi:10.1145/2535926 [23] 洪庆恩和丁祖渡。组合群测试算法及其在DNA文库筛选中的应用综述。在DIMACS中，第55卷，第171-182页。阿默尔。数学。Soc.，2000年。21:19 ·Zbl 1133.92302号 [24] 洪奇·恩戈（Hung Q.Ngo）、克里斯托弗·雷（Christopher Ré）和阿特里·鲁德拉（Atri Rudra）。偏斜反击：连接算法理论的新发展。在SIGMOD Rec.中，2013年第5-16页。 [25] 丹·奥尔特阿努和贾库布·扎沃登ỳ. 查询结果分解表示的大小界限。TODS，40（1）：2015年2月2日-2:44日·Zbl 1474.68117号 [26] Christos H.Papadimitriou和Mihalis Yannakakis。关于数据库查询的复杂性。J.计算。系统。科学。，58（3）：407-4271999年·Zbl 0939.68024号 [27] MichałPilipczuk和Sebastian Siebertz。稀疏。技术报告，华沙大学，2017年12月。网址：https://www.mimuw.edu.pl/mp248287/稀疏性/。 [28] 尼古拉斯·皮彭格和乔尔·斯宾塞。超图的色指数的渐近行为。J.组合理论系列。A、 51（1）：1989年4月24日至42日·Zbl 0729.05038号 [29] Jürgen Plehn和Bernd Voigt。寻找最小加权子图。《计算机科学中的图论概念》，第18-29页，1990年·Zbl 0768.68170号 [30] Ely Porat和Amir Rothschild。显式非自适应组合群测试方案。IEEE传输。信息理论，57（12）：7982-79892011·Zbl 1365.94695号 [31] 卢克·塞古芬（Luc Segoufin）。用恒定延迟枚举查询的答案。在ICDT中，2013年第10-20页。 [32] 尼古拉斯·西迪罗普洛斯（Nicholas D.Sidiropoulos）、列文·德拉特豪沃（Lieven De Lathauwer）、肖福（Xiao Fu）、黄克军（Kejun Huang）、埃文格洛斯·帕帕莱卡基斯（Evangelos E.Pa-palexakis）和克里斯托斯·法洛索斯（Christos Faloutsos）。信号处理和机器学习的张量分解。事务处理。叹息。程序。，65(13):3551-3582, 2017. ·Zbl 1415.94232号 [33] 米哈利斯·扬纳卡基斯。非循环数据库方案的算法。VLDB，第82-94页，1981年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。