Login / Signup
Bottom-Up Evaluation of Datalog Programs with Incremental Arguments and Linear Arithmetic Constraints.
Laurent Fribourg
Marcos Veloso Peixoto
Published in:
ILPS Workshop: Constraints and Databases (1994)
Keyphrases
</>
datalog programs
magic sets
linear arithmetic constraints
logic programs
conjunctive queries
linear programming
fixed point
query answering
deductive databases
query containment
recursive queries