面向关系数据库中属性图查询语言的表达力分析
数据库
2025-10-09 v1
摘要
SQL/PGQ 是查询以关系数据视图形式定义的属性图的新兴 ISO 标准。我们对其表达力进行形式化化，涵盖三个片段：只读核心、读写扩展以及具备更丰富视图定义的扩展变体。我们的结果表明，图的创建在决定表达力方面起核心作用。只读片段严格弱于读写片段，而后者仍低于复杂度类 NL。通过引入任意仪参数的视图定义，可缩小这一差距：扩展片段恰好捕获 NL。这导致 SQL/PGQ 片段形成严格的层次结构，其并集覆盖所有 NL 查询。在有序结构上，层次结构坍缩：一旦允许二元仪参数，更高仪参数便不再具备额外表达力，类似于经典传递闭合坍缩，凸显了视图构造在属性图查询中的核心作用。
引用
@article{arxiv.2510.07062,
title = {On the Expressiveness of Languages for Querying Property Graphs in Relational Databases},
author = {Hadar Rotschield and Liat Peterfreund},
journal= {arXiv preprint arXiv:2510.07062},
year = {2025}
}