On the Expressiveness of Languages for Querying Property Graphs in Relational Databases

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Rotschield, Hadar, Peterfreund, Liat
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866908581938331648
author Rotschield, Hadar
Peterfreund, Liat
author_facet Rotschield, Hadar
Peterfreund, Liat
contents SQL/PGQ is the emerging ISO standard for querying property graphs defined as views over relational data. We formalize its expressive power across three fragments: the read-only core, the read-write extension, and an extended variant with richer view definitions. Our results show that graph creation plays a central role in determining the expressiveness. The read-only fragment is strictly weaker than the read-write fragment, and the latter is still below the complexity class NL. Extending view definitions with arbitrary arity identifiers closes this gap: the extended fragment captures exactly NL. This yields a strict hierarchy of SQL/PGQ fragments, whose union covers all NL queries. On ordered structures the hierarchy collapses: once arity-2 identifiers are allowed, higher arities add no power, mirroring the classical transitive-closure collapse and underscoring the central role of view construction in property graph querying.
format Preprint
id arxiv_https___arxiv_org_abs_2510_07062
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle On the Expressiveness of Languages for Querying Property Graphs in Relational Databases
Rotschield, Hadar
Peterfreund, Liat
Databases
SQL/PGQ is the emerging ISO standard for querying property graphs defined as views over relational data. We formalize its expressive power across three fragments: the read-only core, the read-write extension, and an extended variant with richer view definitions. Our results show that graph creation plays a central role in determining the expressiveness. The read-only fragment is strictly weaker than the read-write fragment, and the latter is still below the complexity class NL. Extending view definitions with arbitrary arity identifiers closes this gap: the extended fragment captures exactly NL. This yields a strict hierarchy of SQL/PGQ fragments, whose union covers all NL queries. On ordered structures the hierarchy collapses: once arity-2 identifiers are allowed, higher arities add no power, mirroring the classical transitive-closure collapse and underscoring the central role of view construction in property graph querying.
title On the Expressiveness of Languages for Querying Property Graphs in Relational Databases
topic Databases
url https://arxiv.org/abs/2510.07062