All-Instances Restricted Chase Termination

Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris. All-Instances Restricted Chase Termination. In Dan Suciu, Yufei Tao, Zhewei Wei, editors, Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2020, Portland, OR, USA, June 14-19, 2020. pages 245-258, ACM, 2020. [doi]

Abstract

Abstract is missing.