论文标题
GPC：属性图的模式演算
GPC: A Pattern Calculus for Property Graphs
论文作者
论文摘要
图形数据库的实际查询语言的开发在基础理论领先。负责数据库查询语言的ISO委员会目前正在开发一种名为Graph Quer语言（GQL）的新标准，以及用于查询属性图的SQL标准的扩展，该标准由关系模式表示，称为SQL/PGQ。两者的主要组成部分是图案匹配设施，这是由两个标准共享的。在许多方面，它远远超出了RPQ，CRPQ和研究界多年来关注的疑问。我们的主要贡献是将冗长的标准规范提炼成简单的图形模式（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 RPQs, CRPQs, and similar queries on which the research community has focused for years. Our main contribution is to distill the lengthy standard specification into a simple Graph Pattern Calculus (GPC) that reflects all the key pattern matching features of GQL and SQL/PGQ, and at the same time lends itself to rigorous theoretical investigation. We describe the syntax and semantics of GPC, along with the typing rules that ensure its expressions are well-defined, and state some basic properties of the language. With this paper we provide the community a tool to embark on a study of query languages that will soon be widely adopted by industry.
