Datalog with integer periodicity constraints
| Author(s) : | David S. Rogers Jan Chomicki David Toman, |
| Publisher : | N/A |
| Publication Date : | 1994 |
| ISSN : | N/A |
| Abstract : | This paper introduces a generalization of Datalog based on the notion of integer periodicity constraints. A closed form evaluation procedure running in PTIME for this class of constraints is developed. The periodicity constraints are then combined with integer (gap-)order constraints and an evaluation procedure for the combination is developed. A general method for combining different classes of constraints in the framework of Datalog is also discussed. 1, |