Datalog with Integer Periodicity Constraints.

David Toman Jan Chomicki David S. Rogers

Published in: ILPS (1994)

Keyphrases

expressive power
constraint programming
datalog queries
query language
constraint satisfaction
integrity constraints
relational algebra
data complexity
database
logic programs
constraint satisfaction problems
query answering
geometric constraints
floating point
linear constraints