Magic-Sets for Datalog with Existential Quantifiers

Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri. Magic-Sets for Datalog with Existential Quantifiers. In Pablo Barceló, Reinhard Pichler, editors, Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings. Volume 7494 of Lecture Notes in Computer Science, pages 31-43, Springer, 2012. [doi]

Authors

Mario Alviano

This author has not been identified. Look up 'Mario Alviano' in Google

Nicola Leone

This author has not been identified. Look up 'Nicola Leone' in Google

Marco Manna

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

Giorgio Terracina

This author has not been identified. Look up 'Giorgio Terracina' in Google

Pierfrancesco Veltri

This author has not been identified. Look up 'Pierfrancesco Veltri' in Google