图数据库理论实践：从 GQL 的不可表达性到路径约束的高效性
数据库
2026-01-05 v2
摘要
模式匹配核心 GQL（新 ISO 标准查询属性图）无法检查边值在路径上是否递增，已在近期工作中证实。我们提出一种构造性翻译，克服这一限制，通过将递增边条件编译到输入图中。令人惊讶的是，这一构建的收益超出了可表达性的恢复。在我们的 Neo4j Cypher 实现原型中，该编译版本运行更快，避免了超时。这说明，由理论驱动的翻译不仅能填补可表达性差距，还能带来实际的性能收益。
引用
@article{arxiv.2512.23330,
title = {Database Theory in Action: From Inexpressibility to Efficiency in GQL's Order-Constrained Paths},
author = {Hadar Rotschield and Liat Peterfreund},
journal= {arXiv preprint arXiv:2512.23330},
year = {2026}
}