Datalog with integer periodicity constraints
- 30 June 1998
- journal article
- Published by Elsevier BV in The Journal of Logic Programming
- Vol. 35 (3), 263-290
- https://doi.org/10.1016/s0743-1066(97)10008-5
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Constraint Query LanguagesJournal of Computer and System Sciences, 1995
- Temporal specialization and generalizationIEEE Transactions on Knowledge and Data Engineering, 1994
- A closed-form evaluation for Datalog queries with integer (gap)-order constraintsTheoretical Computer Science, 1993
- Finite representation of infinite query answersACM Transactions on Database Systems, 1993
- Fourier-Motzkin elimination extension to integer programming problemsJournal of Combinatorial Theory, Series A, 1976