论文标题

PG-Schema:属性图的模式

PG-Schema: Schemas for Property Graphs

论文作者

Angles, Renzo, Bonifati, Angela, Dumbrava, Stefania, Fletcher, George, Green, Alastair, Hidders, Jan, Li, Bei, Libkin, Leonid, Marsault, Victor, Martens, Wim, Murlak, Filip, Plantikow, Stefan, Savković, Ognjen, Schmidt, Michael, Sequeda, Juan, Staworko, Sławek, Tomaszuk, Dominik, Voigt, Hannes, Vrgoč, Domagoj, Wu, Mingxi, Živković, Dušan

论文摘要

属性图已经达到了高水平的成熟度,由多个强大的图形数据库系统以及旨在创建新标准图形查询语言(GQL)的持续的ISO标准化工作见证。然而,尽管有记录的需求,但在现有系统和GQL标准的第一版中,模式支持受到限制。预计GQL标准的第二版将包括丰富的DDL。为了激发GQL的开发并增强了图数据库系统的功能,我们提出了PG-Schema,PG-Schema是一种简单而有力的形式主义,用于指定属性图模式。它具有具有灵活类型定义的PG型,并基于最近提出的PG凯斯形式主义的表达性约束。我们提供了PG-Schema的正式语法和语义,这些语法符合基于当代属性图形管理方案的原则设计要求,并将其功能与现有模式语言和图形数据库系统的功能进行了详细的比较。

Property graphs have reached a high level of maturity, witnessed by multiple robust graph database systems as well as the ongoing ISO standardization effort aiming at creating a new standard Graph Query Language (GQL). Yet, despite documented demand, schema support is limited both in existing systems and in the first version of the GQL Standard. It is anticipated that the second version of the GQL Standard will include a rich DDL. Aiming to inspire the development of GQL and enhance the capabilities of graph database systems, we propose PG-Schema, a simple yet powerful formalism for specifying property graph schemas. It features PG-Types with flexible type definitions supporting multi-inheritance, as well as expressive constraints based on the recently proposed PG-Keys formalism. We provide the formal syntax and semantics of PG-Schema, which meet principled design requirements grounded in contemporary property graph management scenarios, and offer a detailed comparison of its features with those of existing schema languages and graph database systems.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源