Projective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to Accompany Invited Talk). - David Toman 001; Grant E. Wedell (SOQE@KR, 2021)