Abstract:SQL/PGQ and GQL are very recent international standards for querying property graphs: SQL/PGQ specifies how to query relational representations of property graphs in SQL, while GQL is a standalone language for graph databases. The rapid industrial development of these standards left the academic community trailing in its wake. While digests of the languages have appeared, we do not yet have concise foundational models like relational algebra and calculus for relational databases that enable the formal study of languages, including their expressiveness and limitations. At the same time, work on the next versions of the standards has already begun, to address the perceived limitations of their first versions. Motivated by this, we initiate a formal study of SQL/PGQ and GQL, concentrating on their concise formal model and expressiveness. For the former, we define simple core languages -- Core GQL and Core PGQ -- that capture the essence of the new standards, are amenable to theoretical analysis, and fully clarify the difference between PGQ's bottom up evaluation versus GQL's linear, or pipelined approach. Equipped with these models, we both confirm the necessity to extend the language to fill in the expressiveness gaps and identify the source of these deficiencies. We complement our theoretical analysis with an experimental study, demonstrating that existing workarounds in full GQL and PGQ are impractical which further underscores the necessity to correct deficiencies in the language design.

On The Reasonable Effectiveness of Relational Diagrams: Explaining Relational Query Patterns and the Pattern Expressiveness of Relational Languages

A Comprehensive Tutorial on over 100 Years of Diagrammatic Representations of Logical Statements and Relational Queries

A Tutorial on Visual Representations of Relational Queries

Relational Expressions for Data Transformation and Computation

Revisiting the Expressiveness Landscape of Data Graph Queries

A Principled Solution to the Disjunction Problem of Diagrammatic Query Representations

Relational Perspective on Graph Query Languages

A Survey on Mapping Semi-Structured Data and Graph Data to Relational Data

Relational Mathematics Continued

Modeling Relational Patterns for Logical Query Answering over Knowledge Graphs

Efficient optimization of a class of relational expressions

GQL and SQL/PGQ: Theoretical Models and Expressive Power

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential

A Relation Algebra for Term Rewriting: A differential approach to sequential reduction (Revised Version)

Relational Evidence Theory and Interpreting Schematics

Translations: generalizing relative expressiveness between logics

Programming from Metaphorisms

Relational Linear Programs

Abstract Effects and Proof-Relevant Logical Relations

Approximate Relational Reasoning for Higher-Order Probabilistic Programs

Enhancing Algebraic Query Relaxation with Semantic Similarity