Can a data system discover better ways to express and execute a query?
This program studies how AI and synthesis can help data systems propose, verify, and select useful query transformations. The work treats correctness and measurable system behavior as first-class requirements rather than accepting plausible text as an answer.
Methods and questions
- large language models
- program synthesis
- equivalence checking
- query optimization
- performance ranking