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, CEUR-WS.org, 2015. [doi]

Authors

Marco Calautti

This author has not been identified. Look up 'Marco Calautti' in Google

Sergio Greco

This author has not been identified. Look up 'Sergio Greco' in Google

Cristian Molinaro

This author has not been identified. Look up 'Cristian Molinaro' in Google

Irina Trubitsyna

This author has not been identified. Look up 'Irina Trubitsyna' in Google