Exploiting Equality Generating Dependencies in Checking Chase Termination

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna. Exploiting Equality Generating Dependencies in Checking Chase Termination. PVLDB, 9(5):396-407, 2016. [doi]

Abstract

Abstract is missing.