Checking Termination of Datalog with Function Symbols Through Linear Constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna. Checking Termination of Datalog with Function Symbols Through Linear Constraints. In Domenico Lembo, Riccardo Torlone, Andrea Marrella, editors, 23rd Italian Symposium on Advanced Database Systems, SEBD 2015, Gaeta, Italy, June 14-17, 2015. pages 192-199, Curran Associates, Inc., 2015.

This author has not been identified. Look up 'Marco Calautti' in GoogleThis author has not been identified. Look up 'Sergio Greco' in GoogleThis author has not been identified. Look up 'Cristian Molinaro' in GoogleThis author has not been identified. Look up 'Irina Trubitsyna' in Google

runs on WebDSL