The 3 Frenchmen method proves undecidability of the uniform boundedness for single recursive rule ternary DATALOG Programs

  • Jerzy Marcinkowski
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1046)


DATALOG is the language of logic programs without function symbols. It is considered to be the paradigmatic database query language. If it is possible to eliminate the recursion from the program then it is uniformly bounded. We show that the uniform boundedness is undecidable for ternary DATALOG programs containing only one recursive rule, and for linear programs of arity 3. The proof is based on the discovery of, how we call it, Achilles-Turtle machine. It computes the subsequent iterations of a Conway function and is, up to our knowledge, the simplest known universal machine.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [A89]
    S. Abiteboul, Boundedness is Undecidable for Daialog Programs with a Single Recursive Rule, Information Processing Letters 32 (1989) pp. 281–287.Google Scholar
  2. [AG89]
    M. Ajtai, Y. Gurevich, DATALOG versus First Order Logic, Proc. of 30th FOCS, 1989.Google Scholar
  3. [C72]
    J.H. Conway, Unpredictable Iterations, Proceedings of 1972 Number Theory Conference, University of Colorado, pp. 49–52, 1972.Google Scholar
  4. [CK86]
    S.S. Cosmadakis, P. C. Kanellakis, Parallel evaluation of recursive rule queries, Proc. of 5th ACM PODS, ACM, New York, 1986, pp 280–293.Google Scholar
  5. [CGKV88]
    S.S. Cosmadakis, H. Gaifman, P. C. Kanellakis, M.Y. Vardi, Decidable Optimization Problems for Database Logic Programs, Proceedings of 20th ACM STOC (1988) pp. 477–490.Google Scholar
  6. [DLR93]
    P. Devienne, P. Lebègue, J.C. Routier, Halting Problem of One Binary Recursive Horn Clause is Undecidable, Proc. of STACS'93, Springer 1993.Google Scholar
  7. [DLR93a]
    P. Devienne, P. Lebègue, J.C. Routier, The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable, Proc. of ILPS'93, MIT 93.Google Scholar
  8. [GMSV93]
    H. Gaifman, H. G. Mairson, Y. Sagiv, M.Y. Vardi, Undecidable Optimization Problems for Database Logic Programs, Journal of the ACM, vol 40, no 3, July 1993, pp. 683–713.CrossRefGoogle Scholar
  9. [G90]
    I. Guessarian, Deciding Boundedness for Uniformly Connected Datalog Programs ICDT 1990, (Springer, LNCS 470, pp 395–405).Google Scholar
  10. [HKMV91]
    G.G. Hillebrand, P. C. Kanellakis, H. G. Mairson, M.Y. Vardi, Undecidable Boundedness Problems for Datalog Programs, Proc. of 10th PODS, 1991.Google Scholar
  11. [K90]
    P.C. Kanellakis Elements of Relational Database Theory in Handbook of Theoretical Computer Science, vol B, J. van Leeuven ed. North-Holland 1990.Google Scholar
  12. [K88]
    P.C. Kanellakis Logic Programming and Parallel Complexity, in: J. Minker ed., Foundations of Deductive Databases and Logic Programming (Morgan Kaufman 1988, pp 547–586)Google Scholar
  13. [L85]
    J.C. Lagarias, The 3x+1 problem and its generalizations, Amer. Math. Monthly 92, 1985.Google Scholar
  14. [W95]
    Ke Wang, Some Positive Results for Boundedness of Multiple Recursive Rules, 95 International Conference on Database Theory, 1995Google Scholar
  15. [V88]
    M.Y. Vardi, Decidability and undecidability results for boundedness of linear recursive queries, Proc. of 8th PODS, ACM 1988, pp 341–351.Google Scholar
  16. [Z67]
    Zeno of Elea, Achilles will never catch the Turtle, private comm. 467 BC.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Jerzy Marcinkowski
    • 1
  1. 1.Institute of Computer ScienceUniversity of WrocławWrocławPoland

Personalised recommendations