Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints.

Laurent Fribourg Marcos Veloso Peixoto

Published in: CADE (1994)

Keyphrases

datalog programs
arithmetic constraints
magic sets
databases
query answering
fixpoint
high level
object oriented
arc consistency