[论文解读] A Researcher’s Digest of GQL (Invited Talk)

Francis, Nadime, Gheerbrant, Amélie+8 more|arXiv (Cornell University)|Nov 20, 2022

Semantic Web and Ontologies被引用 2

一句话总结

本文提出 PG-Schema，一种用于属性图的正式、可扩展的模式语言，支持具有多重继承的丰富类型层次结构、通过 PG-Keys 表达的丰富约束，以及高级基数约束。它统一了描述性与规定性模式建模，为未来 GQL 标准化奠定了基础，并填补了当前图数据库系统中的关键空白。

ABSTRACT

GQL (Graph Query Language) is being developed as a new ISO standard for graph query languages to play the same role for graph databases as SQL plays for relational. In parallel, an extension of SQL for querying property graphs, SQL/PGQ, is added to the SQL standard; it shares the graph pattern matching functionality with GQL. Both standards (not yet published) are hard-to-understand specifications of hundreds of pages. The goal of this paper is to present a digest of the language that is easy for the research community to understand, and thus to initiate research on these future standards for querying graphs. The paper concentrates on pattern matching features shared by GQL and SQL/PGQ, as well as querying facilities of GQL.

研究动机与目标

• 解决现有属性图数据库中缺乏全面模式支持的问题。
• 提供一种统一的、形式化的模式语言，支持描述性和规定性模式角色。
• 支持高级建模特性，如多重继承、类型组合和复杂完整性约束。
• 作为指导 GQL 标准第二版的实质性提案。
• 弥合学术界与工业界在属性图模式建模标准化方面的差距。

提出的方法

• 提出 PG-Schema，一种具有清晰 ASCII 艺术语法和明确定义语义的形式化模式语言。
• 引入 PG-Types 以实现灵活的类型定义，包括多重继承和类型组合。
• 采用 PG-Keys 形式化方法表达主键约束、参与约束和无否定的拒绝约束。
• 通过 COUNT lower..upper OF 语法扩展 PG-Keys，支持基于范围的参与检查，实现基数约束。
• 支持类型组合子，如并集（|）和交集（&），用于属性类型和内容类型。
• 支持高级约束，如不相交性（例如，COUNT 0 OF）以及带数组和范围注解的复杂内容结构。

实验结果

研究问题

• RQ1 如何使属性图的模式语言有效支持描述性和规定性模式角色？
• RQ2 在属性图中建模复杂类型层次结构和完整性约束，需要哪些形式化特性？
• RQ3 如何使模式定义在不同图数据库系统之间实现可扩展性和互操作性？
• RQ4 形式化模式语言在指导 GQL 标准化过程中应扮演何种角色？
• RQ5 模式语言如何演进以支持敏捷数据建模和不断变化的数据结构？

主要发现

• PG-Schema 是首个统一的、形式化的属性图模式语言，支持多重继承和复杂类型组合。
• 该语言通过 PG-Keys 实现了丰富的约束表达，包括基数边界、不相交性以及无否定的拒绝约束。
• 基数约束通过 COUNT lower..upper OF 语法正式表达，可精确控制关系和参与度。
• 该语言支持高级类型组合子，如并集和交集，适用于属性类型和内容类型。
• PG-Schema 设计为可扩展，支持未来增强，如范围约束和复杂数据类型。
• 本工作为即将发布的 GQL 标准第二版提供了切实基础，填补了当前系统中的关键空白。