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

TitleProjective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to Accompany Invited Talk)
Publication TypeConference Paper
Year of Publication2021
AuthorsToman, D., and G. Wedell
Conference NameInternational Conference on Principles of Knowledge Representation and Reasoning (KR)
URLhttp://ceur-ws.org/Vol-3009/invited1.pdf