Title | Projective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to Accompany Invited Talk) |
Publication Type | Conference Paper |
Year of Publication | 2021 |
Authors | Toman, D., and G. Wedell |
Conference Name | International Conference on Principles of Knowledge Representation and Reasoning (KR) |
URL | http://ceur-ws.org/Vol-3009/invited1.pdf |