First-order queries over temporal databases inexpressible in temporal logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1057 LNCS, Issue , 1996, Pages 307-324

  Toman, David ^a   Niwiński, Damian ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b UNIVERSITY OF WARSAW   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CALCULATIONS; COMPUTER CIRCUITS; QUERY PROCESSING; TEMPORAL LOGIC; COMPUTATIONAL LINGUISTICS;

DATABASE SCHEMAS; EASE-OF-USE; EXPRESSIVE POWER; FIRST ORDER; FIRST-ORDER TEMPORAL LOGIC; RELATIONAL ALGEBRA; RELATIONAL CALCULUS; TEMPORAL DATABASE;

QUERY LANGUAGES;

EID: 84897583742     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0014160     Document Type: Conference Paper

References (25)

1. Abiteboul, S., Herr, L., Van den Bussche, J. Temporal Connectives versus Explicit Timestamps in Temporal Query Languages, (unpublished manuscript).
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.
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.
4. Chomicki, J.,N iwinski, D. On the Feasibility of Checking Temporal Integrity Constraints. Proc. 12th ACM Symposium on Principles of Database Systems, pp 202213, 1993. (full version to appear in JCSS).
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.
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.
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.
8. Ehrenfeucht, A. An application of games to the completeness problem for formalized theories. Fund. Math., 49:129-141, 1961.
9. Fraisse, R. Sur les classifications des systemes de relations. Pubi Sci. Univ. Alger, 1:1, 1954.
10. Gabbay D. Expressive Functional Completeness in Tense Logic. In Mönnich U. Aspects of Philosophical Logic, 91-117, 1981.
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.
12. Gabbay D., Pnueli A., Shelah S., Stavi J. On the Temporal Analysis of Fairness. Proc. ACM Symposium on Principles of Programming Languages, 1980.
13. Gabbay D., Hodkinson I., Reynolds M. Temporal Logic. Mathematical Foundations and Computational Aspects. Vol. 1. Oxford Logic Guides 28, Oxford Science Publications, 1994.
14. Immerman N., Kozen D. Definability with Bounded Number of Variables. Information and Computation 83, pp.121-139, 1989.
15. Kamp J.A.W. Tense Logic and the Theory of Linear Order. PhD thesis, University of California, Los Angeles, 1968.
16. Kamp J.A.W. On the Formal Properties of 'now'. Theoria 37:227-273, 1971.
17. Lipeck U.W., Saake, G. Monitoring Dynamic Integrity Constraints Based on Temporal Logic. Information Systems, 12(2):255-269, 1987.
18. Rosenstein J.G. Linear Orderings. Academic Press, New York, 1982.
19. Snodgrass R. T. The Temporal Query Language TQuel. ACM Transactions on Database Systems, 12(2):247-298, June 1987.
20. Snodgrass R.T., editor. The TSQL2 Temporal Query Language. Kluwer Academic Publishers, 674+xxiv pages, 1995.
21. Tansel A., Clifford J., Gadia S., Jajodia S., Segev A., Snodgrass R. Temporal Databases. Theory, Design, and Implementation. Benjamin Cummings 1993.
22. Stavi J. Functional Completeness over Rationals. Unpublished, Bar-Ban University, Ramat-Gan, Israel, 1979.
23. Tuzhilin A., Clifford J. A Temporal Relational Algebra as a Basis for Temporal Completeness. Proc. International Conference on VLDB, 1990.
24. Ullmari J. D. Principles of Database and Knowledge-base Systems, Vol. 1,2. Computer Science Systems, 1989.
25. Vardi M.Y. A Temporal Fixpoint Calculus. In ACM Symposium on Principles of Programming Languages, 1988.