Leveraging Equality Generating Dependencies for Chase Termination

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna. Leveraging Equality Generating Dependencies for Chase Termination. In Mario A. Bochicchio, Giansalvatore Mecca, editors, 24th Italian Symposium on Advanced Database Systems, SEBD 2016, Ugento, Lecce, Italy, June 19-22, 2016, Ugento, Lecce, Italia, June 19-22, 2016. pages 94-101, Matematicamente.it, 2016.

Abstract

Abstract is missing.