Towards Expressive, Performant, and Correct Database Systems
This thesis argues that database systems can support expressive workloads without sacrificing performance or correctness by recovering and propagating this information across system boundaries.