Implicit temporal query languages: Towards completeness

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

Volumn 1738, Issue , 1999, Pages 245-257

  Bidoit, Nicole ^a   De Amo, Sandra ^b  

^a UNIVERSITÉ BORDEAUX 1   (France)

^b FEDERAL UNIVERSITY OF UBERLÂNDIA   (Brazil)

Author keywords

Communication protocol; Expressive power; Query languages; Temporal database; Temporal logic

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER CIRCUITS; FORMAL LOGIC; NETWORK PROTOCOLS; QUERY PROCESSING; RECONFIGURABLE HARDWARE; SOFTWARE ENGINEERING; TEMPORAL LOGIC;

EXPRESSIVE POWER; FIRST ORDER LOGIC; FIRST-ORDER TEMPORAL LOGIC; HEIDELBERG; TEMPORAL DATABASE; TEMPORAL QUERIES; TIME-STAMP;

QUERY LANGUAGES;

EID: 0005317263     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46691-6_19     Document Type: Conference Paper

References (13)

1. Abiteboul, S., Herr, L. and Van den Bussche J.: Temporal Connectives Versus Explicit Timestamps in Temporal Query Languages, In Recent Advances in Temporal Databases, S. Clifford and A. Tuzhilin, Eds, Springer Verlag (1995) 43-60.
2. Abiteboul, S., Herr, L. and Van den Bussche, J.: Temporal Versus First-Order Logic to Query Temporal Databases, Proceedings of PODS’96, (1996) 49-57.
3. Abiteboul, S., Hull, R. and Vianu, V.: Foundations of Databases, Addison-Wesley (1995)
4. Bidoit, N. and De Amo, S.: Branching time temporal logic for querying multiversion databases, Technical Report in preparation (1999)
5. Chomicki, J.: Temporal Query Languages: a survey, Temporal Logic, First Int. conf., LNAI 827 (1994) 506-534.
6. Chomicki, J. and Toman, D.: Temporal Logic in Information Systems, Logics for Databases and Information Systems (1998) 31-70.
7. Clifford, J., Croker, A. and Tuzhilin, A.: On Completeness of Historical Relational Query Languages, ACM Transactions on Database Systems, 19, 1 (1994) 64-116.
8. Emerson, E. A.: Temporal and Modal Logic, In Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, Jan van Leeuwen, Ed., Elsevier Science Publishers (1990) 995-1072.
9. Gabbay, D., M., Pnueli, A., Shelah, S., and Stavi, J.: On the Temporal Basis of Fairness, Symposium on Principles of Programming Languages, (1980) 163-173.
10. Hafer, T., and Thomas, W.: Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree, In Automata, Languages and Programming, 14th International Colloquium, LNCS 267 (1987) 269-279.
11. H.W. Kamp: Tense Logic and the Theory of Linear Order, PhD thesis, University of California, Los Angeles (1968)
12. Laroussinie, L., and Schnoebelen, PH: A hierarchy of temporal logics with past, TCS, 148, 2, (1995) 303-324.
13. Toman, D., and Niwinski, D.: First Order Queries over temporal Databases Inexpressible in Temporal Logic, EDBT (1996) 307-324.