GPC: A Pattern Calculus for Property Graphs
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova and Domagoj Vrgoč
图形数据库实用查询语言的开发大大领先于基础理论。 负责数据库查询语言的ISO委员会目前正在开发一种名为Graph Query Language(GQL)的新标准,以及SQL标准的扩展,用于查询由关系模式(称为SQL/PGQ)表示的属性图形。 两者的主要组成部分是模式匹配设施,由两个标准共享。 在许多方面,它远远超出了RPQs,CRPQs和类似的查询,研究界多年来一直关注。 我们的主要贡献是将冗长的标准规范提炼成一个简单的图形模式微积分(GPC),它反映了GQL和SQL/PGQ的所有关键模式匹配功能,同时适合严格的理论调查。 我们描述了GPC的语法和语义,以及确保其表达式定义良好的类型规则,并说明语言的一些基本属性。 通过本文,我们为社区提供了一个工具,可以着手研究将很快被业界广泛采用的查询语言。
The development of practical query languages for graph databases runs well ahead of the underlying theory. The ISO committee in charge of database query languages is currently developing a new standard called Graph Query Language (GQL) as well as an extension of the SQL Standard for querying property graphs represented by a relational schema, called SQL/PGQ. The main component of both is the pattern matching facility, which is shared by the two standards. In many aspects, it goes well beyond RPQ...