Rewriting-based Check of Chase Termination

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna. Rewriting-based Check of Chase Termination. In Andrea Calì, Maria-Esther Vidal, editors, Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015. Volume 1378 of CEUR Workshop Proceedings,, 2015. [doi]


Abstract is missing.