对SQL重写优化及其等价性问题的重新思考

会议时间

2024 年 01 月 05 日(星期五)15:00

会议地点

深圳大学沧海校区 致真楼L6-705

简介

本次报告将向大家介绍近期在SQL重写优化方向的一些思考与研究进展，具体包含两个部分：第一部分将介绍最近构建的新型SQL重写优化系统WETUNE，它借鉴了超优化(SUPER OPTIMIZATION)思想，通过暴力枚举与形式化方法相结合，根据应用需求自动生成SQL重写规则，可以有效提高WEB应用中SOL的重写效率；第二部分将介绍最近提出的SQL等价性验证新理论LIA*-T，并在此基础上构建了新型SQL等价性验证器SQLSOLVER，最后，通过将SQLSOLVER与WETUNE相结合，超大幅度地提高了WETUNE的合成SQL重写规则的能力。