[論文レビュー] 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-Keysを用いた表現力豊かな制約、高度な基数制約を備えた、プロパティグラフのための形式的で拡張可能なスキーマ言語PG-Schemaを提案する。これは記述的および規定的スキーマモデリングを統合し、将来の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標準の第二版を指針とする具体的な提案を提供すること。
• 学術界と産業界の間のプロパティグラフスキーマモデリングの標準化における格差を埋めること。

提案手法

• 明確なASCIIアート構文と明確に定義された意味論を持つ、形式的なスキーマ言語PG-Schemaを提案する。
• 多重継承および型の組み合わせを含む、柔軟な型定義のための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標準第二版の具体的な基盤を提供し、現在のシステムにおける重要な欠落を補完する。