A Coq Mechanized Formalization of Realistic SQL Query Optimization Rules
Date:
A talk at the Third Summit for Students in Hua Xia Talent Program of Computer Science and Technology (第三届华夏计算机科技英才班学生学术交流会).
Zichen Zhang
he/him/his
2nd year CS PhD student
- New York University
- ⟨first⟩ ⟨last⟩ at nyu.edu
- Github
60 Fifth Avenue, Room 420, New York, NY 10011