Datalog with Integer Periodicity Constraints.

David Toman Jan Chomicki

Published in: J. Log. Program. (1998)

Keyphrases

datalog queries
query language
constraint satisfaction
expressive power
deductive databases
decision variables
database
databases
genetic algorithm
convex hull
query answering
floating point
mixed integer