Date of this Version
P. Z. Revesz, Safe stratified Datalog with integer order programs, Proc. 1st International Conference on Principles and Practice of Constraint Programming, Springer LNCS 976, pp.154--169, Cassis, France, September 1995.
Guaranteeing termination of programs on all valid inputs is important for database applications. Termination cannot be guaranteed in Stratified Datalog with integer (gap)-order programs on generalized databases because they express any Turing-computable function. This paper introduces a restriction of those programs that can express only computable queries. The restricted language has a high expressive power and a non-elementary data complexity.