文件Open Access徽标

使用语义树宽度评估图形查询

作者 克里斯蒂娜·费尔 托马斯·戈加茨 菲利普·穆拉克



PDF格式
缩略图PDF

文件

LIPIcs公司。ICDT.2024.22.pdf
  • 文件大小:0.74 MB
  • 20页

文件标识符

作者详细信息

克里斯蒂娜·费尔
  • 波兰华沙大学
托马斯·戈加茨
  • 波兰华沙大学
菲利普·穆拉克
  • 波兰华沙大学

引用为获取BibTex

克里斯蒂娜·费尔、托马斯·戈加茨和菲利普·穆拉克。使用语义树宽度评估图形查询。第27届国际数据库理论会议(ICDT 2024)。莱布尼茨国际信息学论文集(LIPIcs),第290卷,第22:1-22:20页,达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所(2024)
https://doi.org/10.4230/LIPIcs.ICDT.2024.22

摘要

合取双向正则路径查询的联合(UC2RPQ)是图形数据库查询语言的常见抽象,与关系情况下的合取查询联合(UCQ)很相似。与UCQ的情况一样,它们的评估在组合复杂度方面是NP完成的。语义树宽度,即等价查询的最小树宽度,被提出作为描述UC2RPQ固定参数可处理性的候选标准。最近展示了如何通过构造给定树宽度的最佳欠近似值来确定UC2RPQ的语义树宽度,该欠近似值是原始查询大小的双指数形式。这导致了用于评估语义TW k的UC2RPQs的fpt算法,该算法在时间上以参数大小的双指数运行,即在UC2RPQ中。在这里,我们描述了一种更有效的fpt算法,用于评估语义树宽度k的UC2RPQ,该算法在时间上以参数大小的单指数形式运行。我们通过仔细构造见证查询来实现这一点,虽然见证查询仍然是双指数的,但它可以表示为有界宽度和单指数大小的Datalog程序。

主题分类

ACM科目分类
  • 计算理论→正则语言
  • 信息系统→查询语言
  • 计算理论→语义和推理
  • 计算理论→自动推理
  • 计算理论→复杂性理论和逻辑
关键词
  • 连接双向正则路径查询
  • 固定参数易处理性评价
  • 语义树宽度
  • 数据日志编码
  • 优化

度量标准

工具书类

  1. 谢尔盖·阿比特布尔(Serge Abiteboul)、理查德·赫尔(Richard Hull)和维克托·维亚努(Victor Vianu)。数据库基础。Addison-Wesley,1995年。谷歌学者
  2. Foto Afrati和Francesca Toni。可由线性数据日志程序表示的链查询。数据库和逻辑编程,第49-58页,1997年12月。谷歌学者
  3. 伦佐·安格斯(Renzo Angles)和克劳迪奥·古铁雷斯(Claudio Gutiérrez)。图形数据库模型综述。ACM计算调查(CSUR),40(1):1-392008年2月。网址:https://doi.org/10.1145/1322432.1322433.
  4. 巴勃罗·巴塞洛、列奥尼德·利布金、安东尼·林和彼得·伍德。图形结构化数据路径查询的表达语言。ACM事务处理。数据库系统。,37(4), 2012. 网址:https://doi.org/10.1145/2389241.2389250.
  5. 巴勃罗·巴塞洛、豪尔赫·佩雷斯和胡安·雷乌特。嵌套正则表达式的相对表达性。程序中。第六届阿尔贝托·门德尔松数据管理基础国际研讨会,2012年6月27日至30日,第866卷,第180-195页。CEUR-WS.org,2012年。网址:https://ceur-ws.org/Vol-866/paper13.pdf.
  6. 巴勃罗·巴塞洛(Pablo Barceló)、米盖尔·罗梅罗(Miguel Romero)和莫舍·瓦尔迪(Moshe Y.Vardi)。图形数据库的语义非循环性。SIAM计算机杂志,45(4):1339-13762016。网址:https://doi.org/10.1137/15M1034714.
  7. 巴勃罗·巴塞洛。查询图形数据库。程序中。第32届数据库系统原理研讨会,第175-188页。ACM,2013年。网址:https://doi.org/10.1145/2463664.2465216.
  8. 迭戈·卡尔瓦内斯(Diego Calvanee)、朱塞佩·德贾科莫(Giuseppe De Giacomo)、毛里齐奥·伦泽里尼(Maurizio Lenzerini)和莫舍·瓦尔迪(Moshe Y.Vardi)。包含带反转的连接正则路径查询。程序中。第七届知识表示和推理原则国际会议,KR'00,第176-185页,2000年。谷歌学者
  9. Chandra Chekuri和Anand Rajaraman。重新访问了连接查询包含。西奥。计算。科学。,239(2):211-229, 2000. 网址:https://doi.org/10.1016/S0304-3975(99)00220-0.
  10. Hubie Chen、Georg Gottlob、Matthias Lanzinger和Reinhard Pichler。约束满足问题的语义宽度和固定参数可处理性。在Christian Bessiere,编辑,IJCAI,第1726-1733页,2020年。网址:https://doi.org/10.24963/ijcai.2020/239.
  11. Alin Deutsch、Nadime Francis、Alastair Green、Keith Hare、Bei Li、Leonid Libkin、Tobias Lindaaker、Victor Marsault、Wim Martens、Jan Michels、Filip Murlak、Stefan Plantikow、Petra Selmer、Oskar van Rest、Hannes Voigt、Domagoj Vrgoc、Mingxi Wu和Fred Zemke。GQL和SQL/PGQ中的图形模式匹配。Zachary Ives、Angela Bonifati和Amr El Abbadi编辑,《SIGMOD’22:国际数据管理会议》,美国宾夕法尼亚州费城,2022年6月12-17日,第2246-2258页。ACM,2022年。网址:https://doi.org/10.1145/3514221.3526057.
  12. 迭戈·菲格雷拉和雷米·莫尔万。连接正则路径查询的近似和语义树宽度。第26届数据库理论国际会议,希腊伊奥安尼纳,2023年3月。次要链接:https://www.morvan.xyz/papers/main-crpq-tw-icdt-v1.pdf。网址:https://doi.org/10.4230/LIPIcs.ICDT.2023.15.
  13. 纳迪梅·弗朗西斯(Nadime Francis)、阿拉斯泰尔·格林(Alastair Green)、保罗·瓜利亚多(Paolo Guagliardo)、利奥尼德·利金(Leonid Libkin)、托比亚斯·林达克(Tobias Lindaaker)、维克托·马绍特(Victor Marsault)、斯特凡·普兰蒂科夫(Stefan Planti。Cypher:一种不断发展的属性图查询语言。程序中。2018年国际数据管理会议,SIGMOD’18,第1433-1445页,2018年。网址:https://doi.org/10.1145/3183713.3190657.
  14. 乔治·戈特洛布(Georg Gottlob)、尼古拉·利昂(Nicola Leone)和弗朗西斯科·斯卡切罗(Francesco Scarcello)。超树分解和易处理的查询。计算机与系统科学杂志,64(3):579-6272002。网址:https://doi.org/10.1006/jcss.2001.1809.
  15. 马丁·格罗。从另一方面看同态和约束满足问题的复杂性。J.ACM,54(1):1:1-1:242007年。网址:https://doi.org/10.1145/12060035.1206036.
  16. 马丁·格罗和达尼尔·马克思。通过分数边覆盖求解约束。ACM事务处理。算法,11(1),2014年8月。网址:https://doi.org/10.1145/2636918.
  17. 罗素·英帕利亚佐(Russell Impagliazzo)、拉莫汉·帕图里(Ramamohan Paturi)和弗朗西斯·赞恩(Francis Zane)。哪些问题具有强烈的指数复杂性?J.计算。系统。科学。,63(4):512-530, 2001. 网址:https://doi.org/10.1006/jcss.2001.1774.
  18. 达尼尔·马克思。约束满足和连接查询的可追踪超图属性。STOC,第735-744页,2010年。网址:https://doi.org/10.1145/1806689.1806790.
  19. Alberto O.Mendelzon和Peter T.Wood。在图形数据库中查找常规简单路径。SIAM计算机杂志,24(6):1235-12581995。网址:https://doi.org/10.1137/S009753979122370X.
  20. 米盖尔·罗梅罗(Miguel Romero)、巴勃罗·巴塞洛(Pablo Barceló)和莫舍·瓦尔迪(Moshe Y.Vardi)。正则图模式的同态问题。2017年第32届ACM/IEEE计算机科学逻辑研讨会(LICS),2017年第1-12页。网址:https://doi.org/10.1109/LICS.2017.8005106.
  21. 谢里夫·萨克尔、安吉拉·博尼法蒂、汉内斯·沃伊格特、亚历山德鲁·艾索普、哈立德·阿马尔、伦佐·安格尔、瓦利德·阿雷夫、马塞洛·阿雷纳斯、马西耶·贝斯塔、彼得·邦茨、库扎伊马·达吉、伊曼纽尔·德拉瓦莱、斯特凡妮娅·邓布拉娃、奥拉夫·哈蒂格、伯恩哈德·哈斯霍夫、蒂姆·赫格曼、简·希德斯、卡贾·霍斯、阿德里安娜·伊曼尼奇、瓦西利基·卡拉夫里、雨果·卡普、维姆·马滕斯、M。塔梅尔·兹苏、埃里克·佩克特、斯特凡·普兰蒂科夫、穆罕默德·拉加布、马泰·里佩努、塞米赫·萨利霍格鲁、克里斯蒂安·舒尔茨、佩特拉·塞尔默、胡安·塞奎达、约书亚·西纳维尔、加博尔·斯扎尼亚、里卡多·托马西尼、安东尼诺·图米奥、亚历山德鲁·尤塔、安娜·露西亚·瓦班斯库、吴湘云、尼古拉·雅科维茨、达燕和艾科·尤内基。未来是大图形:图形处理系统的社区观点。Commun公司。美国医学会,64(9):62-712021。网址:https://doi.org/10.1145/3434642.
  22. 迈克尔·西普瑟(Michael Sipser)。计算理论导论。Course Technology Inc.,第三版,2013年。谷歌学者
  23. 奥斯卡·范·雷斯特(Oskar van Rest)、宋柏康(Sungpack Hong)、金哈·金(Jinha Kim)、孟旭明(Xuming Meng)和哈桑·查菲(Hassan Chafi)。PGQL:一种属性图查询语言。第四届图形数据管理经验和系统国际研讨会论文集,第1-6页。ACM,2016年。网址:https://doi.org/10.1145/2960414.2960421.
  24. 米哈利斯·扬纳卡基斯。非循环数据库方案的算法。VLDB,第82-94页,1981年。谷歌学者
问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件