当前位置: 网站首页 > 学术动态 > 正文

(通讯员 刘英帆)西电智能媒体与数据工程研究所数据库团队长期致力于数据库领域的探索与研究。近期,团队与香港中文大学Jeffrey Xu Yu教授团队展开深入合作,有3篇论文分别被数据库领域顶级会议SIGMOD和VLDB录用。

Fucci: Database Transaction Fuzzing via Random Conflict Construction and Multilevel Constraint Solving. VLDB 2025录用.

该论文提出了一种新颖的数据库事务模糊测试框架 Fucci,旨在提升数据库事务漏洞检测的效率与准确性。Fucci采用随机冲突构造(RCC)技术,在事务测试用例生成过程中主动引入读写冲突或写写冲突,以增强测试用例的有效性;再结合多级约束求解(MCS)技术,通过外部多版本控制系统精确模拟数据可见性,提高求解过程的效率和准确性;最后,利用经验驱动自动简化(EAS)技术,对检测到的漏洞案例进行深度简化,大幅提升漏洞报告的可读性和分析效率。实验结果表明,Fucci在MySQL、MariaDB和TiDB等主流数据库管理系统(DBMS)上共发现6个全新事务管理漏洞和14个已知漏洞,其中多个漏洞已被官方确认并修复,为数据库事务漏洞检测提供了重要的学术参考。

该论文的第一作者为高熙越副教授,通讯作者为李辉教授,由柳壮、沈逸然、刘英帆博士、萧鸿骏、彭延国副教授和崔江涛教授共同完成。

Revisiting the Index Construction of Proximity Graph-Based Approximate Nearest Neighbor Search. VLDB 2025录用

简介:作为高维数据上k最近邻查询SOTA的方法,邻域图越来越受欢迎。但其构建成本非常大,与向量数量呈超线性关系,从而限制了其在大数据时代的可扩展性。本文回顾了两种主流的邻域图,即Relative Neighborhood Graph(RNG)和Navigable Small Word Graph(NSWG)的构建过程,发现了影响其构建效率的问题。针对这些问题,本文提出了一种采用新的剪枝策略的面向RNG图索引的迭代构建框架,并且将该框架集成到NSWG索引构建过程。根据实验结果,本文提出的方法可以显著加速邻域图索引构建过程,并保证查询性能不损失。

该论文共同第一作者是数据库团队硕士生杨硕和香港中文大学Jeffrey Xu Yu教授团队的博士生谢嘉东,通讯作者是数据库团队青年教师刘英帆,由Jeffrey Xu Yu教授、高熙越副教授、王倩茹博士、彭延国副教授和崔江涛教授共同完成。

Fast Approximate Similarity Join in Vector Databases. SIGMOD 2025录用.

简介:近似相似连接是向量数据库系统中的一项核心操作,它连接两个数据集并输出两个数据集中距离不超过指定值的所有向量对。现有的最先进的基于选择的近似相似连接方法未充分利用连接操作本身的固有特性。本文提出了一种名为SimJoin的新连接算法。该连接算法通过利用已处理数据点的连接窗口来加速连接窗口的处理,并且通过优化连接窗口顺序以最小化连接成本。此外,本文还讨论了如何支持k-相似连接,以及如何基于k-相似连接维护邻域图索引。根据实验结果,本文提出的算法显著优于现有的最先进方法。

该论文第一作者是香港中文大学Jeffrey Xu Yu教授团队的博士生谢嘉东,通讯作者是数据库团队青年教师刘英帆,由Jeffrey Xu Yu教授共同完成。



上一篇:研究所在数据工程领域顶级会议发表系列研究成果

下一篇:计算机科学与技术学院马小科教授获2022年度陕西省“杰出青年科学基金”项目资助

关闭