Robuta

https://uwaterloo.ca/data-systems-group/references/projective-beth-definability-and-craig-interpolation-0 Projective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to... beth definability craig interpolation relational query projective optimization