Decidability results on a query language for data bases with incomplete information

  • Hiroakira Ono
  • Akira Nakamura
Part of the Lecture Notes in Computer Science book series (LNCS, volume 88)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    A. Church, Introduction to mathematical logic I, Princeton Univ. Press, Princeton, New Jersey, 1956.Google Scholar
  2. [2]
    S.A. Kripke, The undecidability of monadic modal quantification theory, Zeitschr. f. math. Logik, 8 (1962) 113–116.Google Scholar
  3. [3]
    W. Lipski, Jr, On the logic of incomplete information, Proc. 6th International Symposium on Mathematical Foundations of Computer Science, Tatranska Lomnica, 1977, Lecture Note in Computer Science 55, Springer-Verlag, Berlin, (1977) 374–381.Google Scholar
  4. [4]
    W. Lipski, Jr, On semantic issues connected with incomplete information data bases, to appear in ACM Transactions on Database Systems.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Hiroakira Ono
    • 1
  • Akira Nakamura
    • 2
  1. 1.Faculty of Integrated Arts and SciencesHiroshima UniversityHiroshima
  2. 2.Department of Applied MathematicsHiroshima UniversityHiroshima

Personalised recommendations