摘要
阿米尔·阿布德(Amir Abboud)和弗吉尼亚·瓦西列夫斯卡·威廉姆斯(Virginia Vassilevska Williams)。 2014年,流行猜测暗示动态问题的强大下限。 2014年10月18日至21日,美国宾夕法尼亚州费城,第55届IEEE计算机科学基础年会,FOCS 2014。 IEEE计算机学会,434--443。 https://doi.org/10.109/FOCS.2014.53 谷歌学者 数字图书馆 谢尔盖·阿比特布尔(Serge Abiteboul)、理查德·赫尔(Richard Hull)和维克托·维亚努(Victor Vianu)。 1995.数据库基础。 艾迪森·韦斯利。 http://webdam.iria.fr/Alice/ 谷歌学者 数字图书馆 马塞洛·阿雷纳斯(Marcelo Arenas)、路易斯·阿尔贝托·克罗奎维尔(Luis Alberto Croquevielle)、拉杰什·贾亚拉姆(Rajesh Jayaram)和克里斯蒂安·里维罗斯(Cristian Riveros)。 2021.连接查询的近似计数何时可以处理?。 在STOC’21:第53届ACM SIGACT年度计算理论研讨会上,虚拟事件,意大利,2021年6月21-25日,Samir Khuller和Virginia Vassilevska Williams(编辑)。 美国医学会,1015--1027。 https://doi.org/10.1145/3406325.3451014 谷歌学者 数字图书馆 维克拉曼·阿尔文德(Vikraman Arvind)。 2016年,Weisfeiler-Lehman程序。 牛市。 EATCS,第120卷(2016年)。 http://eatcs.org/beatcs/index.php/beatcs/article/view/442 谷歌学者 维克拉曼·阿尔文德(Vikraman Arvind)、弗兰克·福尔布吕克(Frank Fuhlbrück)、约翰内斯·科布勒(Johannes Köbler)和奥列格·维尔比茨基(Oleg Verbitsky)。 2022.关于分式包装的Weisfeiler-Leman维数。 信息计算。, 第288卷(2022),104803。 https://doi.org/10.1016/j.ic.2021.104803 谷歌学者 数字图书馆 纪尧姆·巴根。 2009年,算法和复杂性问题,为逻辑需求评估。 (用于评估逻辑查询的枚举问题的算法和复杂性)。 博士论文。 法国卡昂诺曼底大学。 https://tel.archives-ouvertes.fr/tel-00424232 谷歌学者 纪尧姆·巴根(Guillaume Bagan)、阿诺德·杜兰德(Arnaud Durand)和艾蒂安·格兰德让(Etienne Grandjean)。 2007.关于非循环连接查询和常量延迟枚举。 2007年9月11日至15日,在瑞士洛桑举行的第16届欧洲计算机学会年会计算机科学逻辑第21届国际研讨会上,雅克·杜帕克(Jacques Duparc)和托马斯·汉津格(Thomas A.Henzinger)合著的论文集(计算机科学讲义,第4646卷)。 施普林格,208-222。 https://doi.org/10.1007/978--3--540--74915-8_18 谷歌学者 交叉引用 巴勃罗·巴塞洛、米哈伊尔·高尔金、克里斯托弗·莫里斯和米盖尔·罗梅罗·奥尔思。 2022.魏斯费勒和莱曼Go Relational。 图上学习会议,LoG 2022,2022年12月9-12日,虚拟事件(机器学习研究论文集,第198卷),Bastian Rieck和Razvan Pascanu(编辑)。 PMLR,46。 https://proceedings.mlr.press/v198/barcelo22a.html 谷歌学者 巴勃罗·巴塞洛(Pablo Barceló)、米盖尔·罗梅罗(Miguel Romero)和莫舍·瓦尔迪(Moshe Y.Vardi)。 2016.图形数据库的语义非循环性。 SIAM J.计算。, 第45卷,第4卷(2016年),1339-1376。 https://doi.org/10.1137/15M1034714 谷歌学者 数字图书馆 Suman K.Bera、Lior Gishboliner、Yevgeny Levanzov、C.Seshadhri和Asaf Shapira。 2022.退化图中的子图计数。 J.ACM,第69卷,第3期(2022年),23:1-23:21。 https://doi.org/10.1145/3520240 谷歌学者 数字图书馆 Christoph Berkholz、Fabian Gerhardt和Nicole Schweikardt。 2020年。联合查询的恒定延迟枚举:教程。 ACM SIGLOG新闻,第7卷,第1卷(2020年),第4-33页。 https://doi.org/10.1145/3385634.3385636 谷歌学者 数字图书馆 Christoph Berkholz、Jens Keppeler和Nicole Schweikardt。 2017.在更新下回答连词查询。 第36届ACM SIGMOD-SIGACT-SIGAI数据库系统原理研讨会论文集,PODS 2017,芝加哥,伊利诺伊州,美国,2017年5月14日至19日,伊曼纽尔·萨林格,扬·范登·布什和弗洛里斯·吉尔茨(编辑)。 美国医学会,303--318。 https://doi.org/10.1145/3034786.3034789 谷歌学者 数字图书馆 Christoph Berkholz、Jens Keppeler和Nicole Schweikardt。 2018年,在更新和存在诚信约束的情况下回答UCQ。 在2018年3月26日至29日于奥地利维也纳举行的第21届国际数据库理论会议上,Benny Kimelfeld和Yael Amsterdamer(编辑)。 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik),8:1--8:19。 https://doi.org/10.4230/LIPIcs.ICDT.2018.8 谷歌学者 交叉引用 Christoph Berkholz和Nicole Schweikardt。 2019.带FPT预处理的有界子模块宽度的连接查询的恒定延迟枚举。 第44届计算机科学数学基础国际研讨会,2019年8月26日至30日,MFCS 2019,德国亚琛(LIPIcs,第138卷),Peter Rossmanith,Pinar Heggenes和Joost-Pieter Katoen(编辑)。 Schloss Dagstuhl-Leibniz Zentrum für Informatik出版社,58:1-58:15。 https://doi.org/10.4230/LIPIcs.MFCS.2019.58 谷歌学者 交叉引用 汉斯·博德兰德。 1996.一种求小树宽的树分解的线性时间算法。 SIAM J.计算。, 第25卷,第6卷(1996年),1305-1317。 https://doi.org/10.1137/S0097539793251219 谷歌学者 数字图书馆 约翰·布劳特·巴龙(Johann Brault-Baron)。 2013年。数字的相关性:提议的逻辑和首要秩序的复杂性。 (列表的相关性:命题逻辑和一阶复杂性)。 博士学位论文。 法国卡昂诺曼底大学。 https://tel.archives-ouvertes.fr/tel-01081392 谷歌学者 蔡金毅(Jin-yi Cai)、马丁·福勒(Martin Fürer)和尼尔·伊梅尔曼(Neil Immerman)。 1992年。用于图形识别的变量数的最佳下界。 梳。, 第12卷,第4卷(1992年),389-410。 https://doi.org/10.1007/BF01305232 谷歌学者 交叉引用 Chris Calabro、Russell Impagliazzo和Ramamohan Paturi,2009年。 小深度电路可满足性的复杂性。 2009年9月10日至11日,丹麦哥本哈根,第四届IWPEC国际研讨会,参数化和精确计算,修订论文选集(计算机科学讲义,第5917卷),陈剑儿和福明(编辑)。 斯普林格,75-85。 https://doi.org/10.1007/978-3-642-11269-0_6 谷歌学者 数字图书馆 诺法尔·卡梅利(Nofar Carmeli)、谢·泽维(Shai Zeevi)、克里斯托夫·伯克霍尔茨(Christoph Berkholz)、阿莱西奥·孔戴(Alessio Conte)、本尼·基梅尔菲尔德(Benny Kimelfeld)和妮科尔·施魏卡特。 2022.使用随机访问和随机顺序枚举回答(联合)连接查询。 ACM事务处理。 数据库系统。, 第47卷,第3期(2022年),9:1-9:49。 https://doi.org/10.1145/3531055 谷歌学者 数字图书馆 Ashok K.Chandra和Philip M.Merlin。 关系数据库中连接查询的优化实现。 1977年5月4日至6日在美国科罗拉多州博尔德举行的第九届美国计算机学会计算机理论年会论文集上,约翰·霍普克罗夫特、艾米丽·弗里德曼和迈克尔·哈里森(编辑)。 美国医学会,77-90。 https://doi.org/10.1145/800105.803397 谷歌学者 数字图书馆 Hubie Chen和Stefan Mengel。 2015年,《计算连接问题答案的复杂性三分法》。 在2015年3月23日至27日于比利时布鲁塞尔举行的第18届国际数据库理论会议上(LIPIcs,第31卷),Marcelo Arenas和Martin Ugarte(编辑)。 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik),第110-126页。 https://doi.org/10.4230/LIPIcs.ICDT.2015.110 谷歌学者 交叉引用 Hubie Chen和Stefan Mengel。 2016年,对存在积极问题的计数答案:复杂性分类。 在第35届ACM SIGMOD-SIGACT-SIGAI数据库系统原理研讨会论文集,PODS 2016,美国加利福尼亚州旧金山,2016年6月26日-7月1日,Tova Milo和Wang Chiew Tan(编辑)。 美国医学会,315--326。 https://doi.org/10.1145/2902251.2902279 谷歌学者 数字图书馆 Yijia Chen、Kord Eickmeyer和Jörg Flum。 2012.指数时间假设和参数化集团问题。 2012年9月12日至14日在斯洛文尼亚卢布尔雅那举行的第七届参数化和精确计算国际研讨会上。 论文集(计算机科学讲义,第7535卷),Dimitrios M.Thilikos和Gerhard J.Woeginger(编辑)。 施普林格,13-24岁。 https://doi.org/10.1007/978-3-642-33293-7_4 谷歌学者 交叉引用 Radu Curticapean、Holger Dell和Dániel Marx。 2017.同态是计算小子图的良好基础。 在2017年6月19-23日于加拿大魁北克省蒙特利尔举行的第49届ACM SIGACT年度计算理论研讨会的会议记录中,Hamed Hatami、Pierre McKenzie和Valerie King(编辑)。 美国医学会,210-223。 https://doi.org/10.1145/3055399.3055502 谷歌学者 数字图书馆 维克多·达尔摩和彼得·琼森。 2004.从另一方面看计算同态的复杂性。 西奥。 计算。 科学。, 第329卷,1--3(2004),315--323。 https://doi.org/10.1016/j.tcs.2004.08.008 谷歌学者 数字图书馆 霍尔格·戴尔(Holger Dell)、马丁·格罗(Martin Grohe)和高拉夫·拉特坦(Gaurav Rattan)。 2018年,Lovász会见了Weisfeiler和Leman。 在2018年7月9日至13日于捷克共和国布拉格举行的第45届ICALP自动化、语言和编程国际学术讨论会上(LIPIcs,第107卷),Ioannis Chatziganakis、Christos Kaklamanis、Dániel Marx和Donald Sannella(编辑)。 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik),40:1-40:14。 https://doi.org/10.4230/LIPIcs.ICALP.2018.40 谷歌学者 交叉引用 霍尔格·戴尔、马克·罗斯和菲利普·威尼茨。 2019.计算存在问题的答案。 2019年7月9日至12日,第46届国际自动化、语言和程序设计学术讨论会,2019年ICALP,希腊帕特拉斯(LIPIcs,第132卷),克里斯特尔·拜尔(Christel Baier),伊奥尼斯·查齐亚纳基斯(Ioannis Chatziiannakis),保拉·弗洛基尼(Paola Flocchini)和斯特凡诺·莱昂纳迪(Stefano Leonardi)(编辑)。 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik),113:1-113:15。 https://doi.org/10.4230/LIPIcs.ICALP.2019.113 谷歌学者 交叉引用 阿诺德·杜兰德和斯特凡·门格尔。 2013.联合查询解决方案计数的结构可处理性。 在2013年EDBT/ICDT联合会议上,ICDT’13会议记录,意大利热那亚,2013年3月18日至22日,Wang-Chiew Tan,Giovanna Guerrini,Barbara Catania和Anastasios Gounaris(编辑)。 美国医学会,81-92。 https://doi.org/10.1145/4448496.2448508 谷歌学者 数字图书馆 乌列尔·菲戈(Uriel Feige)、穆罕默德·塔吉·哈加伊(Mohammad Taghi Hajiaghayi)和詹姆斯·R·李(James R.Lee)。 2008.最小重量顶点分隔符的改进近似算法。 SIAM J.计算。, 第38卷,第2卷(2008年),第629-657页。 https://doi.org/10.1137/05064299X 谷歌学者 数字图书馆 雅各布·福克、莱斯利·安·戈德堡、马克·罗斯和斯坦尼斯拉夫·齐夫尼。 2022年,关于计算不相等和否定的推测性问题的答案。 在《PODS’22:国际数据管理会议》中,美国宾夕法尼亚州费城,2022年6月12-17日,Leonid Libkin和Pablo Barceló(编辑)。 美国医学会,315--324。 https://doi.org/10.1145/3517804.3526231 谷歌学者 数字图书馆 雅各布·福克、莱斯利·安·戈德堡、马克·罗斯和斯坦尼斯拉夫·齐夫尼。 2023.关联查询联合的计数答案:自然可拓性标准和元复杂性。 CoRR,第abs/2311.10634卷(2023年)。 https://doi.org/10.448550/ARXIV.2311.10634 shoveprint[arXiv]2311.10634(显示打印[arXiv) 谷歌学者 交叉引用 马丁·福勒。 2017.关于Weisfeiler-Lehman算法的组合能力。 算法与复杂性——第十届国际会议,2017年5月24日至26日,希腊雅典,CIAC 2017,会议记录(计算机科学讲义,第10236卷),Dimitris Fotakis,Aris Pagortzis,and Vangelis Th.Paschos(编辑)。 260--271. https://doi.org/10.1007/978-3-319-57586-5_22 谷歌学者 交叉引用 乔治·戈特洛布(Georg Gottlob)、吉安路易吉·格雷科(Gianluigi Greco)和弗朗西斯科·斯卡切罗(Francesco Scarcello)。 2014.树宽和超树宽。 《牵引性:解决难题的实用方法》,卢卡斯·波尔多(Lucas Bordeaux)、优素福·哈马迪(Youssef Hamadi)和普希米特·科尔利(Pushmeet Kohli)(编辑)。 剑桥大学出版社,3-38。 https://doi.org/10.1017/CBO9781139177801.002 谷歌学者 交叉引用 乔治·戈特洛布(Georg Gottlob)、尼古拉·利昂(Nicola Leone)和弗朗西斯科·斯卡切罗(Francesco Scarcello)。 2002.超树分解和易处理的查询。 J.计算。 系统科学。, 第64卷,第3卷(2002年),579-627。 https://doi.org/10.1006/jcss.2001.1809 谷歌学者 数字图书馆 Gianluigi Greco和Francesco Scarcello。 2014.联合查询的计数解决方案:结构和混合可处理性。 在第33届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会的会议记录中,PODS’14,美国犹他州雪鸟,2014年6月22日至27日,Richard Hull和Martin Grohe(编辑)。 美国医学会,132--143。 https://doi.org/10.1145/2594538.2594559 谷歌学者 数字图书馆 马丁·格罗。 2007.从另一方面看同态和约束满足问题的复杂性。 J.ACM,第54卷,第1卷(2007年),1:1--1:24。 https://doi.org/10.1145/1206035.1206036 谷歌学者 数字图书馆 马丁·格罗赫和达尼尔·马克思。 2014.通过分数边覆盖求解约束。 ACM算法汇刊,第11卷,第1期(2014年),4:1--4:20。 https://doi.org/10.1145/2636918 谷歌学者 数字图书馆 马丁·格罗(Martin Grohe)、托马斯·施温蒂克(Thomas Schwentick)和吕克·塞古芬(Luc Segoufin)。 2001年。什么时候可以处理连接查询的评估?。 在2001年7月6日至8日于希腊克里特岛伊拉克利翁举行的第33届美国计算机学会计算理论年度研讨会论文集上,Jeffrey Scott Vitter、Paul G.Spirakis和Mihalis Yannakakis(编辑)。 美国医学会,657-666。 https://doi.org/10.1145/380752.380867 谷歌学者 数字图书馆 Russell Impagliazzo和Ramamohan Paturi,2001年。 关于k-SAT.J.Compute的复杂性。 系统。 科学。, 第62卷,第2卷(2001年),第367-375页。 https://doi.org/10.1006/jcss.2000.1727 谷歌学者 数字图书馆 Richard M.Karp和Michael Luby。 1983.枚举和可靠性问题的蒙特卡罗算法。 1983年11月7日至9日,在美国亚利桑那州图森市举行的第24届计算机科学基础年度研讨会上。 IEEE计算机学会,56-64。 https://doi.org/10.109/SFCS.1983.35 谷歌学者 数字图书馆 桑德拉·基弗(Sandra Kiefer)、伊莉亚·波诺马伦科(Ilia Ponomarenko)和帕斯卡尔·施韦策(Pascal Schweitzer)。 2019.平面图的Weisfeiler-Leman维数最多为3。 J.ACM,第66卷,第6卷(2019年),44:1--44:31。 https://doi.org/10.1145/3333003 谷歌学者 数字图书馆 Phokion G.Kolaitis和Moshe Y.Vardi。 1995.关于数据日志的表达能力:工具和案例研究。 J.计算。 系统。 科学。, 第51卷,第1卷(1995年),第110-134页。 https://doi.org/10.1006/jcss.1995.1055 谷歌学者 数字图书馆 Phokion G.Kolaitis和Moshe Y.Vardi。 2000.连接查询包含和约束满足。 J.计算。 系统。 科学。, 第61卷,第2卷(2000年),第302-332页。 https://doi.org/10.1006/jcss.2000.1713 谷歌学者 数字图书馆 马蒂亚斯·兰津格(Matthias Lanzinger)和巴勃罗·巴塞洛(Pablo Barceló)。 2023.关于图形主题参数的Weisfeiler-Leman检验的功效。 CoRR,卷abs/2309.17053(2023)。 https://doi.org/10.48550/arXiv.2309.17053 shoveprint[arXiv]2309.17053(显示打印) 谷歌学者 交叉引用 达尼尔·马克思。 2010.近似分数超树宽度。 ACM事务处理。 算法,第6卷,第2卷(2010年),29:1--29:17。 https://doi.org/10.1145/1721837.1721845 谷歌学者 数字图书馆 达尼尔·马克思。 2013.约束满足和连接查询的可追踪超图属性。 J.ACM,第60卷,第6卷(2013年)。 https://doi.org/10.1145/2535926 第42条。 谷歌学者 数字图书馆 斯特凡·蒙格尔。 2021.关于联合查询计数复杂性的简短说明。 CoRR,第abs/2112.01108卷(2021年)。 shoveprint[arXiv]2112.01108(显示打印[arXiv) https://arxiv.org/abs/2112.01108 谷歌学者 卡尔·A·米勒。 2013.图性质的回避和拓扑不动点定理。 已找到。 趋势理论。 计算。 科学。, 第7卷,第4卷(2013年),第337--415页。 https://doi.org/10.1561/0400000055 谷歌学者 数字图书馆 克里斯托弗·莫里斯(Christopher Morris)、马丁·里泽特(Martin Ritzert)、马蒂亚斯·费伊(Matthias Fey)、威廉·汉密尔顿(William L.Hamilton)、扬·埃里克·伦森(Jan Eric Lenssen)、高拉夫·拉坦(。 2019.Weisfeiler和Leman Go Neural:高阶图形神经网络。 第三十三届AAAI人工智能会议,2019年AAAI,第三十届人工智能创新应用会议,2019IAAI,2019EAAI,美国夏威夷檀香山,2019。 AAAI出版社,4602--4609。 https://doi.org/10.1609/aaai.v33i01.33014602 谷歌学者 数字图书馆 丹尼尔·诺恩(Daniel Neuen)。 2023.有界树宽图的同态判别闭性。 CoRR,第abs/2304.07011卷(2023年)。 https://doi.org/10.48550/arXiv.2304.07011 shoveprint[arXiv]2304.07011(显示打印[arXiv) 谷歌学者 交叉引用 莱因哈德·皮克勒(Reinhard Pichler)和塞巴斯蒂安·斯克里泰克(Sebastian Skritek)。 2013年,可追踪计算联合查询的答案。 J.计算。 系统。 科学。, 第79卷,第6卷(2013年),984--1001。 https://doi.org/10.1016/j.jcss.2013.01.012 谷歌学者 数字图书馆 马克·罗斯和约翰·施密特。 2020年。计算诱导子图:#W[1]硬度的拓扑方法。 《算法》,第82卷,第8卷(2020年),2267-2291。 https://doi.org/10.1007/s00453-020-00676-9 谷歌学者 数字图书馆 比亚克·哈默肖特·鲁恩(Bjarke Hammersholt Roune)和爱德华多·桑兹·德卡贝松(Eduardo Sáenz-de-Cabezón)。 2013.单形复数欧拉特征的复杂性和算法。 J.塞姆。 计算。, 第50卷(2013年),170-196。 https://doi.org/10.1016/j.jsc.2012.07003 谷歌学者 数字图书馆 莫舍·瓦尔迪(Moshe Y.Vardi)。 约束满足和数据库理论:教程。 2000年5月15日至17日,第十九届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会会议记录,美国德克萨斯州达拉斯,Victor Vianu和Georg Gottlob(编辑)。 美国医学会,76-85。 https://doi.org/10.1145/335168.335209 谷歌学者 数字图书馆 米哈利斯·扬纳卡基斯。 1981.非循环数据库方案的算法。 《超大数据库》,第七届国际会议,1981年9月9日至11日,法国戛纳,会议记录。 IEEE计算机学会,82-94。 谷歌学者 数字图书馆
建议
关于联合查询的枚举复杂性 PODS’19:第38届ACM SIGMOD-SIGACT-SIGAI数据库系统原理研讨会会议记录 我们研究了联合联合查询(UCQ)的枚举复杂性。 我们的目标是确定可处理的UCQ,即可以通过线性预处理阶段和每个…之间的恒定延迟枚举应答元组。。。 关于联合查询联合的枚举复杂性 2019年最佳PODS和常规论文 我们研究了联合联合查询(UCQ)的枚举复杂性。 我们的目标是确定可处理的UCQ,即可以通过线性预处理阶段和每个…之间的恒定延迟枚举应答元组。。。 带有不等式和否定的连词查询的近似计数 PODS’22:第41届ACM SIGMOD-SIGACT-SIGAI数据库系统原理研讨会会议记录 我们研究了在大型数据库D中近似一个小查询φ的答案数的复杂性。如果φ是一个可能包含不合格和。。。