A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Datalog with integer periodicity constraints
1998
The Journal of Logic Programming
In this paper we introduce a generalization of Datalog that operates on periodicity constraints over integers. We develop a closed-form bottom-up evaluation procedure for this class of constraints. We also develop a closed-form bottom-up query evaluation procedure for the class of periodic constraints combined with gap-order constraints. We provide complexity bounds for the query evaluation procedures. We extend this approach to combinations of classes of constraints over disjoint domains in
doi:10.1016/s0743-1066(97)10008-5
fatcat:trtzt7cef5c4nozjxpb25tpafi