历史首次！阿里云与浙大斩获数据库顶会 SIGMOD 最佳论文，成果已在 PolarDB 中落地

6 月 21 日，数据库国际顶级学术会议 SIGMOD 在美国西雅图举行，阿里云与浙江大学关于数据库漏洞检测新方法的论文，荣获 2023 年最佳论文奖。这一新方法较以往方案提速近 100 倍，被审稿人评价为漏洞检测新范式。这也是 SIGMOD 会议举办以来，第一次由中国大陆研究团队摘得最佳论文奖。

阿里云与浙大成果荣获2023 SIGMOD最佳论文奖

芯片、操作系统与数据库，是信息时代的三大核心基础技术。聚焦于数据库前沿技术的 SIGMOD 会议始办于 1975 年，是信息科学历史最悠久的学术会议之一，也是含金量最高的数据库全球顶会，吸引了 MIT、清华、浙大、卡内基梅隆大学、新加坡国立大学等高校以及谷歌、微软、AWS、阿里云、华为等科技公司参加。每年，SIGMOD 组委会从入选的研究论文中评出 1~2 篇最佳论文，代表了该年度最具创新性及影响力的科研成果，成为数据库发展的风向标。

阿里云代表领取2023 SIGMOD最佳论文奖

2023 年，SIGMOD 仅收录 190 篇论文，由浙江大学与阿里云共同完成的《在数据库管理系统的连接优化器中检测逻辑漏洞》(Detecting Logic Bugs of Join Optimizations in DBMS)成果脱颖而出，斩获 2023 SIGMOD 最佳论文奖，实现了中国大陆研究团队在数据库国际顶会的历史性突破。SIGMOD 审稿人评议认为，该工作巧妙、高效地解决了现代数据库的关键问题，即检测出复杂逻辑漏洞，并在业界领先的商业数据库中证明了其能力。

据了解，数据库的崩溃通常由漏洞引发，而其中的逻辑漏洞极难检测，素有数据库“隐形杀手”之称，重则导致“上万航班延误瘫痪”级别的大规模宕机。面对这一技术难题，浙大与阿里云研究团队提出了一种名为 TQS（转换查询合成）的新方案，通过引入机器学习等方法，创造性地解决了执行实现的正确性验证难题，以极小的计算代价自动探索更大检测空间，最终实现更完备的检测覆盖。

研究团队使用 TQS 方法在 MySQL、PolarDB 等 4 个数据库中进行实验，运行仅 24 小时就检出 115 个严重及以上等级的逻辑漏洞，比原有方案提速近 100 倍，成效十分显著。这些数据库漏洞提报给相关社区后均被修复。

论文一作、浙江大学博士唐秀介绍称，在阿里云进行研究型实习期间，她与联合团队一起完成了课题攻坚：“当时阿里云团队正进行 PolarDB 内核测试，提出了如何更好检测逻辑漏洞的问题，这是我们研究的起点。此后两年，我们尝试了多种解决方案，并最终在商业数据库系统的真实场景中验证了 TQS 方法的有效性。”

依托于阿里巴巴-浙江大学前沿技术联合研究中心，阿里云瑶池数据库团队与浙江大学师生，完成了从实践中提出问题、由校企联合攻关、成果落地产业界的科研新探索。据介绍，TQS 新方法已率先应用在阿里云瑶池数据库中，进一步提升了PolarDB等云原生数据库的稳定性。

SIGMOD最佳论文奖首次颁给中国大陆研究团队

Gartner《2022 年度全球云数据库管理系统魔力象限报告》显示，阿里云是国内唯一位居“领导者”象限的科技公司，且已连续第三年入选。截至目前，2023 年度阿里云数据库团队共有 23 篇论文被 SIGMOD、VLDB、ICDE、OSDI、ASPLOS 等国际顶会收录，研究范围覆盖云原生、智能化、HTAP、安全可信等数据库前沿研究方向。

阿里云瑶池数据库开通免费试用啦！

面向国内 1000 万云上开发者，阿里云推出“飞天免费试用计划。

阿里云瑶池数据库现推出多款产品【免费试用】，快来领取吧！

点击链接即刻开启云上实践之旅！