Bottom-Up Evaluation of Datalog Programs with Incremental Arguments and Linear Arithmetic Constraints

Laurent Fribourg, Marcos Veloso Peixoto. Bottom-Up Evaluation of Datalog Programs with Incremental Arguments and Linear Arithmetic Constraints. In Peter Z. Revesz, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan 0001, editors, ILPS 1994, Workshop 2: Constraints and Databases, Ithaca, New York, USA, November 17, 1994. 1994.

Authors

Laurent Fribourg

This author has not been identified. Look up 'Laurent Fribourg' in Google

Marcos Veloso Peixoto

This author has not been identified. Look up 'Marcos Veloso Peixoto' in Google