Safe stratified datalog with integer order does not have syntax
| Author(s) : | Michael A. Taitslin Alexei P. Stolboushkin, |
| Publisher : | N/A |
| Publication Date : | 1995 |
| ISSN : | N/A |
| Abstract : | Stratified Datalog with integer (gap)-order (or Datalog ,<z) is considered. A Datalog ,<z-program is said to be safe iff its bottomup processing terminates on all valid inputs. We prove that safe Datalog ,<z-programs do not have effective syntax in the sense that there is no recursively enumerable set S of safe Datalog ,<z-programs such that every safe Datalog ,<z-program is equivalent to a program in S., |