IPADS在SIGMOD’22连中两元！提出面向Web应用的新型数据库事务和SQL优化方法
最新回答
蜜糖
2026-04-26 18:41:19
IPADS实验室在SIGMOD’22会议上连中两元，提出了面向Web应用的新型数据库事务和SQL优化方法，具体介绍如下：
新型数据库事务方法：Ad Hoc Transactions for Web Applications: The Good, the Bad, and the Ugly- 研究背景：已有数据库无法很好满足Web应用的事务性需求，应用开发人员需手动实现各种事务机制，这类事务被称为即席事务（Ad Hoc Transaction），但人们对它知之甚少。
- 研究过程：对八个代表不同类型且Github Star数目最多的Web应用进行研究。
- 研究发现：
每个应用都会在付款、转账等关键路径上使用即席事务。
即席事务的灵活性远远高于传统的数据库事务。
53个即席事务存在安全隐患，其中28个会导致严重后果。
在高竞争场景下，即席事务表现出色。
- 研究成果：提出了新型数据库事务抽象，旨在满足Web应用事务性需求的同时，避免即席事务带来的安全隐患。
- 研究背景：已有数据库基于重写规则定位应用中有问题的SQL语句并进行改进，这些规则是多年经验积累而来，对应用性能至关重要。但手动制定规则存在局限性，对于基于框架的Web应用，优化效果不明显。
- 研究过程：分析Github中已经确认存在严重性能问题的50条SQL语句。
- 研究发现：SQL Server仅能优化其中的27条，MYSQL和PostgreSQL的表现更让人失望。
- 研究成果：
提出WeTune，一种可以自动合成重写规则的规则生成器。它通过启发式方法搜索可能的重写规则，并使用全新的SQL验证器保证重写规则的有效性。
该验证器将数学中的半环概念与SMT求解器相结合，证明能力远远优于现有已知的SQL验证器。
使用WeTune对Github上最受欢迎的20个开源应用进行优化，WeTune可以找到并自动改进674条之前未被发现的问题语句，这些语句往往是因为应用开发人员框架接口使用错误导致，相比之下，SQL Server仅能优化其中的427条。
这两项工作是IPADS实验室在数据管理研究领域的进一步探索，也是其在系统与形式化验证技术相结合方向上的又一次成功尝试。
热门标签
