First-order queries over temporal databases inexpressible in temporal logic

  • David Toman
  • Damian Niwiński
Temporal Databases
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1057)

Abstract

Queries over temporal databases involve references to time. We study differences between two approaches of including such references into a first-order query language (e.g., relational calculus): explicit (using typed variables and quantifiers) vs. implicit (using a finite set of modal connectives). We also show that though the latter approach—a first-order query language with implicit references to time—is appealing by its simplicity and ease of use, it cannot express all queries expressible using the first one in general. This result also settles a longstanding open problem about the expressive power of first-order temporal logic. A consequence of this result is that there is no first-order complete query language subquery-closed with respect to a uniform database schema, and thus we cannot use temporal relational algebra over uniform relations to evaluate all first-order definable queries.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abiteboul, S., Herr, L., Van den Bussche, J. Temporal Connectives versus Explicit Timestamps in Temporal Query Languages. (unpublished manuscript).Google Scholar
  2. 2.
    Chomicki J. Temporal Query Languages: a Survey. Proc. International Conference on Temporal Logic, July 1994, Bonn, Germany, Springer-Verlag (LNAI 827), pp. 506–534.Google Scholar
  3. 3.
    Chomicki J. Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. In ACM Transactions on Database Systems, (20) 2, pp. 149–186. 1995.Google Scholar
  4. 4.
    Chomicki, J., Niwinski, D. On the Feasibility of Checking Temporal Integrity Constraints. Proc. 12th ACM Symposium on Principles of Database Systems, pp 202–213, 1993. (full version to appear in JCSS).Google Scholar
  5. 5.
    Chomicki, J., Toman, D. Implementing Temporal Integrity Constraints Using an Active DBMS. IEEE Transactions on Knowledge and Data Engineering, Special section on Temporal and Real-time Databases, Vol. 7, No. 4, 1995.Google Scholar
  6. 6.
    Clifford J., Croker A. The Historical Relational Data Model (HRDM) and Algebra based on Lifespans. In Proceedings of the International Conference on Data Engineering, pages 528–537, Los Angeles, CA, February 1987.Google Scholar
  7. 7.
    Clifford J., Croker A., Tuzhilin A. On Completeness of Historical Relational Query Languages. ACM Transactions on Database Systems, Vol. 19, No. 1, pp. 64–116, 1994.Google Scholar
  8. 8.
    Ehrenfeucht, A. An application of games to the completeness problem for formalized theories. Fund. Math., 49:129–141, 1961.Google Scholar
  9. 9.
    Fraisse, R. Sur les classifications des systemes de relations. Publ. Sci. Univ. Alger, 1:1, 1954.Google Scholar
  10. 10.
    Gabbay D. Expressive Functional Completeness in Tense Logic. In Mönnich U. Aspects of Philosophical Logic, 91–117, 1981.Google Scholar
  11. 11.
    Gabbay D. The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. In Banieqbal B., et al. (ed.) Temporal Logic in Specification, vol. 398, pp. 409–448, Springer Verlag, LNCS 398, 1989.Google Scholar
  12. 12.
    Gabbay D., Pnueli A., Shelah S., Stavi J. On the Temporal Analysis of Fairness. Proc. ACM Symposium on Principles of Programming Languages, 1980.Google Scholar
  13. 13.
    Gabbay D., Hodkinson I., Reynolds M. Temporal Logic. Mathematical Foundations and Computational Aspects. Vol. 1. Oxford Logic Guides 28, Oxford Science Publications, 1994.Google Scholar
  14. 14.
    Immerman N., Kozen D. Definability with Bounded Number of Variables. Information and Computation 83, pp. 121–139, 1989.Google Scholar
  15. 15.
    Kamp J.A.W. Tense Logic and the Theory of Linear Order. PhD thesis, University of California, Los Angeles, 1968.Google Scholar
  16. 16.
    Kamp J.A.W. On the Formal Properties of ‘now'. Theoria 37:227–273, 1971.Google Scholar
  17. 17.
    Lipeck U.W., Saake, G. Monitoring Dynamic Integrity Constraints Based on Temporal Logic. Information Systems, 12(2):255–269, 1987.Google Scholar
  18. 18.
    Rosenstein J.G. Linear Orderings. Academic Press, New York, 1982.Google Scholar
  19. 19.
    Snodgrass R. T. The Temporal Query Language TQuel. ACM Transactions on Database Systems, 12(2):247–298, June 1987.Google Scholar
  20. 20.
    Snodgrass R.T., editor. The TSQL2 Temporal Query Language. Kluwer Academic Publishers, 674+xxiv pages, 1995.Google Scholar
  21. 21.
    Tansel A., Clifford J., Gadia S., Jajodia S., Segev A., Snodgrass R. Temporal Databases. Theory, Design, and Implementation. Benjamin Cummings 1993.Google Scholar
  22. 22.
    Stavi J. Functional Completeness over Rationals. Unpublished, Bar-Ilan University, Ramat-Gan, Israel, 1979.Google Scholar
  23. 23.
    Tuzhilin A., Clifford J. A Temporal Relational Algebra as a Basis for Temporal Completeness. Proc. International Conference on VLDB, 1990.Google Scholar
  24. 24.
    Ullman J. D. Principles of Database and Knowledge-base Systems, Vol. 1,2. Computer Science Systems, 1989.Google Scholar
  25. 25.
    Vardi M.Y. A Temporal Fixpoint Calculus. In ACM Symposium on Principles of Programming Languages, 1988.Google Scholar

Copyright information

© Springer-Verlag 1996

Authors and Affiliations

  • David Toman
    • 1
    • 2
  • Damian Niwiński
    • 1
    • 2
  1. 1.Department of Computer ScienceUniversity of TorontoTorontoCanada
  2. 2.Institute of InformaticsWarsaw UniversityWarsawPoland

Personalised recommendations