Compiling Existential Positive Queries to Bounded-Variable Fragments

Christoph Berkholz, Hubie Chen. Compiling Existential Positive Queries to Bounded-Variable Fragments. In Dan Suciu, Sebastian Skritek, Christoph Koch 0001, editors, Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2019, Amsterdam, The Netherlands, June 30 - July 5, 2019. pages 353-364, ACM, 2019. [doi]

Abstract

Abstract is missing.