paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Testing Graph Database Systems via Equivalent Query Rewriting

通过等价查询重写测试图数据库系统
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 2/10 · 该论文研究图数据库系统的测试与等价查询重写，属于数据库测试/程序测试方向，与用户关注的静态分析、Agentic程序、LLM辅助分析、浮点程序分析或贝叶斯程序分析均无直接交叉。引用 15 inbox
Qiuyang Mang, Aoyang Fang, Boxi Yu, Hanfei Chen, Pinjia He
测试、调试与修复
crossref: 2026-09-12

AI 速览

一句话：提出通过等价查询重写测试图数据库系统，以暴露逻辑错误、性能缺陷和异常问题。

图数据库管理系统（GDBMS）以图模型存储数据并通过图遍历执行查询，已广泛用于推荐系统、知识图谱和社交网络。与关系数据库类似，GDBMS 也可能存在缺陷。这些缺陷通常表现为三类：逻辑错误导致结果不正确（如遗漏应包含的节点）、性能错误（如冗余图扫描造成执行时间过长）以及异常问题（如意外抛出或缺失异常）。论文标题表明其方法为等价查询重写，即通过构造语义等价但形式不同的查询来测试系统行为，从而暴露上述问题。摘要未提供具体实验评估结果，但明确了 GDBMS 测试应关注结果正确性、性能和异常行为。

问题
图数据库系统在推荐系统、知识图谱和社交网络等场景中广泛使用，但可能包含导致错误结果、性能退化和异常行为异常的缺陷。
方法
通过等价查询重写，构造语义等价但形式不同的查询，以测试图数据库系统在结果、性能和异常行为上的一致性。
评估
摘要未提供具体评估数据，仅列举了 GDBMS 缺陷的三种表现：错误结果、冗余图扫描导致的性能问题以及异常抛出或缺失问题。
原文摘要（Abstract）

Graph Database Management Systems (GDBMS), which utilize graph models for data storage and execute queries via graph traversals, have seen ubiquitous usage in real-world scenarios such as recommendation systems, knowledge graphs, and social networks. Much like Relational Database Management Systems (RDBMS), GDBMS are not immune to bugs. These bugs typically manifest as logic errors that yield incorrect results (e.g., omitting a node that should be included), performance bugs (e.g., long execution time caused by redundant graph scanning), and exception issues (e.g., unexpected or missing exceptions).

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot11278,
  title = {Testing Graph Database Systems via Equivalent Query Rewriting},
  author = {Qiuyang Mang and Aoyang Fang and Boxi Yu and Hanfei Chen and Pinjia He},
  booktitle = {ICSE},
  year = {2024},
  doi = {10.1145/3597503.3639200}
}