研究论文

GPC：属性图的模式演算

作者:

纳迪梅弗兰西斯,

阿梅利盖尔布兰特,

保罗瓜利亚尔多,

狮子座利布金,

胜利者马绍尔,

维姆马滕斯,

菲利普穆拉克,

利亚特彼得弗雷德,

亚历山德拉罗戈娃、和

多马戈 Vrgoc公司作者信息和声明

PODS’23：第42届ACM SIGMOD-SIGACT-SIGAI数据库系统原理研讨会会议记录

2023年6月

页241-250

https://doi.org/10.1145/3584372.3588662

出版:2023年6月18日出版历史

获取访问权限

摘要

图形数据库实用查询语言的发展远远领先于基础理论。负责数据库查询语言的ISO委员会目前正在开发一个名为图形查询语言（GQL）的新标准，以及SQL标准的扩展，用于查询由关系模式（SQL/PGQ）表示的属性图。两者的主要组成部分是模式匹配工具，这是两个标准共享的。在许多方面，它远远超出了研究界多年来关注的RPQ、CRPQ和类似查询。我们的主要贡献是将冗长的标准规范提取为一个简单的图形模式演算（GPC），它反映了GQL和SQL/PGQ的所有关键模式匹配特性，同时有助于进行严格的理论研究。我们描述了GPC的语法和语义，以及确保其表达式定义良好的类型规则，并陈述了该语言的一些基本属性。通过本文，我们为社区提供了一个工具，可以开始研究查询语言，这些语言很快将被行业广泛采用。

工具书类

[1]

伦佐·安格斯（Renzo Angles）、马塞洛·阿雷纳斯（Marcelo Arenas）、巴勃罗·巴塞洛（Pablo Barceló）、彼得·邦茨（Peter A.Boncz）、乔治·H·L·弗莱彻（George H.L.Fletcher）、克劳迪奥·古铁雷斯（Claudio Gutierrez）、托比亚斯·林达克（Tobias Lindaaker）、马库斯·帕拉迪斯。2018.G-CORE：未来图形查询语言的核心。在SIGMOD会议上。顶点，1421-1432。

数字图书馆

[2]

伦佐·安格斯（Renzo Angles）、马塞洛·阿雷纳斯（Marcelo Arenas）、巴勃罗·巴塞洛（Pablo Barceló）、艾丹·霍根（Aidan Hogan）、胡安·勒乌特（Juan L.Reutter）和多马戈·弗尔戈（Domago。2017.图形数据库的现代查询语言基础。ACM计算。调查。，第50卷，第5卷（2017年），68:1--68:40。

数字图书馆

[3]

巴勃罗·巴切洛·贝扎（Pablo BarcelóBaeza）。2013.查询图形数据库。PODS中。美国医学会，175-188。

[4]

纪尧姆·巴根（Guillaume Bagan）、安吉拉·博尼法蒂（Angela Bonifati）和贝诺·格罗兹（Beno ^i t Groz）。2020年。图上常规简单路径查询的三分法。J.计算。系统。科学。，第108卷（2020年），29-48。

[5]

巴勃罗·巴塞洛、利奥尼德·利金、安东尼·维贾贾·林和彼得·伍德。2012年a。图形结构数据上的路径查询的表达式语言。ACM事务处理。数据库系统。，第37卷，第4卷（2012年），31:1-31:46。

[6]

巴勃罗·巴塞洛、豪尔赫·佩雷斯和胡安·雷乌特。2012年b。嵌套正则表达式的相对表达性。AMW（CEUR研讨会论文集，第866卷）。CEUR-WS.org，180--195。

[7]

米科拉伊·博扬奇克、克莱尔·戴维、安卡·穆斯科尔、托马斯·施温蒂克和吕克·塞古芬。2006.关于数据树和XML推理的双变量逻辑。PODS中。ACM，10-19。

[8]

贝拉·博洛巴斯。2013.现代图论。第184卷。施普林格科技与商业媒体。

[9]

迭戈·卡尔瓦内斯（Diego Calvanee）、朱塞佩·德贾科莫（Giuseppe De Giacomo）、毛里齐奥·伦泽里尼（Maurizio Lenzerini）和莫舍·瓦尔迪（Moshe Y.Vardi）。2000.包含反向连接正则路径查询。KR.Morgan Kaufmann，176-185。

数字图书馆

[10]

玛丽亚诺·康森斯（Mariano P.Consens）和阿尔贝托·门德尔松（Alberto O.Mendelzon）。1990.图形日志：真实生活递归的视觉形式主义。PODS中。ACM出版社，404--416。

[11]

马可·康索尔（Marco Console）、保罗·瓜利亚多（Paolo Guagliardo）、列奥尼德·利布金（Leonid Libkin）和艾蒂安·图桑（Etienne Toussant）。2020.应对不完整数据：最新进展。PODS中。美国医学会，33-47。

[12]

Isabel F.Cruz、Alberto O.Mendelzon和Peter T.Wood。支持递归的图形查询语言。在SIGMOD会议上。ACM出版社，323--330。

[13]

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。2022.GQL和SQL/PGQ中的图形模式匹配。在SIGMOD会议上。美国医学会，2246-2258。

[14]

Alin Deutsch、Yu Xu、Mingxi Wu和Victor E.Lee。2020年，TigerGraph中对现代图形分析的聚合支持。在SIGMOD会议上。美国医学会，377--392。

[15]

纳迪梅·弗朗西斯（Nadime Francis）、艾米莉·盖尔布兰特（Amélie Gheerprant）、保罗·瓜利亚多（Paolo Guagliardo）、利奥尼德·利金（Leonid Libkin）、维克托·马绍特（Victor Marsault）、维姆·马滕斯（Wim Martens）、菲利普·穆拉克（Filip Murlak）、。2023.GQL研究员文摘。在ICDT（LIPIcs，第255卷）中。达格斯图尔-莱布尼茨-泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），1:1--1:22。

[16]

纳迪梅·弗朗西斯（Nadime Francis）、阿拉斯泰尔·格林（Alastair Green）、保罗·瓜利亚多（Paolo Guagliardo）、利奥尼德·利金（Leonid Libkin）、托比亚斯·林达克（Tobias Lindaaker）、维克托·马绍特（Victor Marsault）、斯特凡·普兰蒂科夫（Stefan Planti。2018.Cypher:一种不断发展的属性图查询语言。在SIGMOD会议上。美国医学会，1433-1445。

[17]

阿拉斯泰尔·格林（Alastair Green）、保罗·瓜利亚多（Paolo Guagliardo）和列奥尼德·利布金（Leonid Libkin），2021年。GQL中的属性图和路径：数学定义。技术报告TR-2021-01。关联数据基准委员会（LDBC）。https://doi.org/10.54285/ldbc.TZJP7279

[18]

列奥尼德·利布金（Leonid Libkin）、维姆·马滕斯（Wim Martens）和多马戈·弗戈克（Domagoj Vrgoc）。2016.用数据查询图形。J.ACM，第63卷，第2卷（2016年），14:1--14:53。

数字图书馆

[19]

Wim Martens、Matthias Niewerth和Tina Trautner。2020年，定期追踪查询的三分法。在STACS（LIPIcs，第154卷）中。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），7:1--7:16。

[20]

阿尔贝托·门德尔松（Alberto O.Mendelzon）和彼得·伍德（Peter T.Wood）。1995.在图形数据库中查找常规简单路径。SIAM J.计算。，第24卷，第6卷（1995年），1235-1258。

数字图书馆

[21]

打开密码。2017.Cypher查询语言参考，第9版。https://github.com/opencypher/opencypher/blob/master/docs/openCyper9.pdf

[22]

Juan L.Reutter、Miguel Romero和Moshe Y.Vardi。2017.图形数据库的定期查询。理论计算。系统。，第61卷，第1期（2017年），第31-83页。

数字图书馆

[23]

奥斯卡·范·雷斯特（Oskar van Rest）、宋柏康（Sungpack Hong）、金哈·金（Jinha Kim）、孟旭明（Xuming Meng）和哈桑·查菲（Hassan Chafi）。2016.PGQL：一种属性图查询语言。在等级中。ACM，7。

[24]

维基百科撰稿人。GQL图形查询语言。https://en.wikipedia.org/wiki/GQL_Graph_Query_Language（英语）

[25]

彼得·T·伍德。2012.图形数据库的查询语言。SIGMOD记录，第41卷，第1卷（2012年），50-60。国际奥委会

数字图书馆

索引术语

GPC：属性图的模式演算
1. 信息系统
  1. 数据管理系统
    1. 数据库设计和模型
      1. 基于图形的数据库模型
    2. 查询语言

建议

GQL和SQL/PGQ中的图形模式匹配
SIGMOD’22：2022年国际数据管理会议记录

随着图形数据库的普及，国际标准化组织（ISO）和国际电工委员会（IEC）批准了一个创建GQL的项目，GQL是一种标准的属性图形查询语言。这是对SQL/…的补充。。。
阅读更多信息
G-CORE：未来图形查询语言的核心
SIGMOD’18：2018年国际数据管理会议记录

我们报道了工业界和学术界为塑造图形查询语言的未来所做的社区努力。我们认为现有的图形数据库管理系统应该考虑支持具有两个关键特征的查询语言。首先，它。。。
阅读更多信息
图形数据库模型综述

图形数据库模型可以定义为模式和实例的数据结构被建模为图形或其泛化，数据操作通过面向图形的操作和类型构造函数表示的模型。这些模型。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

PODS’23：第42届ACM SIGMOD-SIGACT-SIGAI数据库系统原理研讨会会议记录

2023年6月

392页

国际标准图书编号：9798400701276

DOI（操作界面）：10.1145/3584372

总主席：
弗洛里斯·吉尔茨
安特卫普大学
,
课程主席：
洪Q.Ngo
RelationalAI公司
,
斯塔夫罗斯·辛托斯
伊利诺大学芝加哥分校

版权所有©2023 ACM。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重作者以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布，在服务器上发布或重新发布到列表，需要事先获得特定许可和/或付费。从请求权限[电子邮件保护].

赞助商

SIGMOD:ACM数据管理特别利益小组

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2023年6月18日

权限

请求对此文章的权限。

检查更新

作者标记

限定符

研究文章

资金来源

ANID公司
Recherche国家机构
德意志研究联合会
波兰国家科学中心
EPSRC公司

会议

SIGMOD/PODS’23

赞助商：

SIGMOD公司

SIGMOD/PODS’23：国际数据管理会议

2023年6月18日至23日

华盛顿州，美国西雅图

接受率

2707份提交文件中的总体接受率为642份，24%

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

0
引文总数
209
总下载次数

下载次数（过去12个月）209
下载次数（最近6周）20

其他指标

查看作者指标

引文

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

媒体

数字

其他

桌子