GPC：一种用于属性图的模式演算
摘要：图数据库的实际查询语言的发展已经超越了底层理论。负责数据库查询语言的ISO委员会目前正在开发一种名为图查询语言（GQL）的新标准，以及一种用于查询由关系模式表示的属性图的SQL标准扩展，称为SQL/PGQ。两者的主要组成部分是模式匹配功能，这是两个标准共享的。在许多方面，它超越了RPQs、CRPQs和类似查询的研究重点，这些查询已经是研究界关注多年的问题。我们的主要贡献是将冗长的标准规范提炼成一种简单的图模式计算（GPC），该计算反映了GQL和SQL/PGQ的所有关键模式匹配功能，并且同时可用于严格的理论研究。我们描述了GPC的语法和语义，以及确保其表达式定义良好的类型规则，并陈述了语言的一些基本属性。通过本文，我们为社区提供了一个工具，用于开始研究很快将被行业广泛采用的查询语言。
作者：Nadime Francis, Am''elie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova and Domagoj Vrgov{c}
论文ID：2210.16580
分类：Databases
分类简称：cs.DB
提交时间：2022-11-01