Paper Reading 预告：
11.26 日（周四）上午 10：00 我们邀请到了 VLDB 论文 Automated Verification of Query Equivalence
Using Satisfiability Modulo Theories 的一作周齐来和大家聊聊这篇论文，因为周齐同学在美国所以这次直播是上午，感兴趣的同学预习好 paper 调好闹钟哦～如果无法直播参加可以收看我们之后放出的录像～
Speaker：
大家好，我叫周齐，目前是佐治亚理工（Georgia Tech）第五年的博士生。我的导师是 Bill Harris 和 Joy Arularj。我之前的研究经历主要集中在程序语言分析，程序验证和数据库查询优化这一块。目前，我的主要兴趣集中在应用程序分析和验证，特别是符号推理的一些方法来进行数据库查询优化。
Intro：
在大数据被广泛应用的今天，很多公司每天都会有大量的分析查询（analytic query）。这些查询中可能存在大量的重复查询，或者重复子查询。在今天的分享中，我将首先介绍如何利用 SMT Solver 去判断两个查询是否语意等价从而避免重复查询的运行。该方法不依赖于查询的语法，相比于之前的方法更加快速。这个工作发表在2019 VLDB 上。接下来，我会介绍以机器学习和SMT Solver生成谓词来进行查询优化。我希望能够借用这个机会和大家讨论其他可能的利用符号推理对查询进行优化的机会。
Paper：https://www.vldb.org/pvldb/vol12/p1276-zhou.pdf
直播链接 http://live.bilibili.com/4630260
对 paper 有任何问题想讨论都可以写在这里 https://shimo.im/docs/PvwWyp8qW9Wqh6Wq
