中心数据库系统质量保障方面5个工作被VLDB、ICDE、ISSTA等顶级国际会议录用

    中心数据库系统质量保障团队的研究工作取得系列进展，涉及关系型数据库系统在SQL语句和事务执行、图数据库系统查询、分布式数据库系统测试等问题的5篇论文，分别被数据库领域顶级会议VLDB 2025、ICDE 2025和软件工程领域顶级会议ISSTA 2025录用。

    在关系型数据库系统SQL语句执行方面，论文Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction（VLDB 2025）提出了一种基于等价数据库构造（DDLCheck）的SQL正确性检测方法，以有效检测数据库模式演进过程的SQL正确性缺陷。

    在关系型数据库系统事务执行方面，论文Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems（VLDB 2025）针对现有事务验证工作主要依赖简单数据结构与事务执行历史，而不能支持实际数据库系统中大部分事务特性的局限，提出了一种基于写序列化的数据库事务缺陷自动检测方法WriteCheck。论文Detecting Isolation Anomalies in Relational DBMSs(ISSTA 2025)聚焦关系型数据库系统事务执行的隔离异常问题，提出了一种黑盒隔离检查器IsoRel，以有效识别使用关系数据模型的数据库系统隔离异常，提高隔离级别的准确性，减少触发查询结果错误、数据库状态错误等问题。

    在图数据库系统查询等价性验证方面，当前证明图查询的等价性往往由经验丰富的开发人员进行人工验证，成本较高且效率较低。为此，论文Proving Cypher Query Equivalence（ICDE 2025）提出了利用代数表达式建模图查询的证明工具GraphQE。

    在分布式数据库系统测试方面，研究团队在论文Model Checking Guided Incremental Testing for Distributed Systems（ISSTA 2025）提出了一种模型检查引导的分布式系统增量测试方法iMocket，来提高模型检查引导的分布式系统测试效率。该方法从分布式系统形式规范和系统实现中提取系统变化，随后根据提取的系统变化识别抽象状态空间中受系统变化影响的状态，并生成专门针对这些状态的增量测试用例，从而避免对未受影响状态的冗余测试。

    祝贺!