Projective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to Accompany Invited Talk).

David Toman, Grant E. Wedell

Browse the full KR paper archive.