Non-Uniformly Terminating Chase: Size and Complexity

Marco Calautti, Georg Gottlob, Andreas Pieris. Non-Uniformly Terminating Chase: Size and Complexity. In Leonid Libkin, Pablo Barceló, editors, PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12 - 17, 2022. pages 369-378, ACM, 2022. [doi]

Abstract

Abstract is missing.