Querying ATSQL Databases with Temporal Logic

ACM Transactions on Database Systems

Volumn 26, Issue 2, 2001, Pages 145-178

  Chomicki, Jan ^a   Toman, David ^b   Böhlen, Michael H ^c  

^a the State University of New York   (United States)

^b UNIVERSITY OF WATERLOO   (Canada)

^c AALBORG UNIVERSITY   (Denmark)

Author keywords

ATSQL; F.4.1 Mathematical Logic and Formal Languages : Mathematical Logic temporal logic; First order temporal logic; H.2.3 Database Management : Languages query languages; H.2.4 Database Management : Systems query processing; Languages; Theory

Indexed keywords

EID: 0346977642     PISSN: 03625915     EISSN: None     Source Type: Journal    
DOI: 10.1145/383891.383892     Document Type: Article

References (41)

1. ABITEBOUL, S., HERR, L., AND VAN DEN BUSSCHE, J. 1999. Temporal connectives versus explicit timestamps to query temporal databases. J. Comput. Syst. Sci. 58, 1, 54-68.
2. ABITEBOUL, S., HULL, R., AND VIANU, V. 1995. Foundations of Databases. Addison-Wesley, Reading, Mass.
3. ALLEN, J. F. 1983. Maintaining knowledge about temporal intervals. Commun. ACM 26, 11 (Nov.), 832-843.
4. BAUDINET, M., CHOMICKI, J., AND WOLPER, P. 1993. Temporal deductive databases. In Temporal Databases: Theory, Design, and Implementation, A. U. Tansel, J. Clifford, S. K. Gadia, S. Jajodia, A. Segev, and R. T. Snodgrass, Eds. Benjamin/Cummings, Redwood City, CA, pp. 294-320.
5. BÖHLEN, M. H. 1994. Managing temporal knowledge in deductive databases. Ph.D. dissertation, ETH Zürich, Zürich, Switzerland.
6. BÖHLEN, M. H. AND JENSEN, C. S. 1996. Seamless integration of time into SQL. Tech. Rep. R-96-2094. Institute for Electronic Systems, Aalborg Univ., Aalborg Øst, Denmark.
7. BÖHLEN, M. H., JENSEN, C. S., AND SNODGRASS, R. T. 2000. Temporal statement modifiers. ACM Trans. Datab. Syst. 25, 4 (Dec.).
8. BÖHLEN, M., SNODGRASS, R. T., AND SOO, M. D. 1996. Coalescing in temporal databases. In International Conference on Very Large Data Bases, Morgan Kaufmann, Orlando, FL, pp. 180-191.
9. CHOMICKI, J. 1994. Temporal query languages: A survey. In Temporal Logic, First International Conference. Lecture Notes on Artificial Intelligence, vol. 827. Springer-Verlag, New York, pp. 506-534.
10. CHOMICKI, J. 1995. Efficient checking of temporal integrity constraints using bounded history encoding. ACM Trans. Datab. Syst. 20, 2 (June), 149-186.
11. CHOMICKI, J. AND TOMAN, D. 1995. Implementing temporal integrity constraints using an active DBMS. IEEE Trans. Knowl. Data Eng. 7, 4, 566-582.
12. CHOMICKI, J. AND TOMAN, D. 1998. Temporal logic in information systems. In Logics for Databases and Information Systems, J. Chomicki and G. Saake, Eds. Chapter 3. Kluwer, Norwell, MA, pp. 31-70.
13. CLIFFORD, J. AND CROKER, A. 1987. The Historical Relational Data Model (HRDM) and algebra based on lifespans. In Proceedings of the IEEE International Conference on Data Engineering. IEEE Computer Society Press, Los Alamitos, Calif., pp. 528-537.
14. CLIFFORD, J., CROKER, A., AND TUZHILIN, A. 1994. On completeness of historical relational query languages. ACM Trans. Datab. Syst. 19, 1, 64-116.
15. GABBAY, D. M., HODKINSON, I. M., AND REYNOLDS, M. 1994. Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford University Press.
16. GABBAY, D. M. AND MCBRIEN, P. 1991. Temporal logic and historical databases. In International Conference on Very Large Data Bases. Morgan Kaufmann, Orlando, FL, pp. 423-430.
17. GADIA, S. K. 1988. A Homogenous relational model and query languages for temporal databases. ACM Trans. Datab. Syst. 13, 4, 418-448.
18. GADIA, S. K. 1993. Temporal databases: A prelude to parametric data. In Temporal Databases: Theory, Design, and Implementation, A. U. Tansel, J. Clifford, S. K. Gadia, S. Jajodia, A. Segev, and R. T. Snodgrass, Eds. Benjamin/Cummings, Redwood City, CA, pp. 28-66.
19. GERTZ, M. AND LIPECK, U. W. 1996. Deriving optimized integrity monitoring triggers from dynamic integrity constraints. Data and Knowledge Engineering 20, 2, 163-193.
20. JENSEN, C. S., CLIFFORD, J., ELMASRI, R., GADIA, S. K., HAYES, P., AND JAJODIA, S. 1994. A glossary of temporal database concepts. SIGMOD Record 23, 1, 52-64.
21. KLUG, A. C. 1982. Equivalence of relational algebra and relational calculus query languages having aggregate functions. J. ACM 29, 3, 699-717.
22. LIPECK, U. W. AND SAAKE, G. 1987. Monitoring dynamic integrity constraints based on temporal logic. Inf. Syst. 12, 3, 255-269.
23. LORENTZOS, N. A. 1993. The interval-extended relational model and its application to valid-time databases. In Temporal Databases: Theory, Design, and Implementation. A. U. Tansel, J. Clifford, S. K. Gadia, S. Jajodia, A. Segev, and R. T. Snodgrass, Eds. Benjamin/Cummings, Redwood City, CA, pp. 67-91.
24. MCKENZIE, L. J. AND SNODGRASS, R. 1991. Evaluation of relational algebras incorporating the time dimension in databases. ACM Comput. Surv. 23, 4 (Dec.), 501-543.
25. MELTON, J. AND SIMON, A. R. 1993. Understanding the new SQL: A Complete Guide. Morgan-Kaufmann, San Francisco, Calif.
26. NAVATHE, S. B. AND AHMED, R. 1993. Temporal extensions to the relational model and SQL. In Temporal Databases: Theory, Design, and Implementation. A. U. Tansel, J. Clifford, S. K. Gadia, S. Jajodia, A. Segev, and R. T. Snodgrass, Eds., Benjamin/Cummings, Redwood City, CA, pp. 92-109.
27. SARDA, N. L. 1990. Extensions to SQL for historical databases. IEEE Trans. Knowl. Data Eng. 2, 2, 220-230.
28. SARDA, N. L. 1993. HSQL: A historical query language. In Temporal Databases: Theory, Design, and Implementation. A. U. TANSEL, J. CLIFFORD, S. K. GADIA, S. JAJODIA, A. SEGEV, AND R. T. SNODGRASS Eds., Benjamin/Cummings, Redwood City, CA.
29. SISTLA, A. P. AND WOLFSON, O. 1995. Temporal triggers in active databases. IEEE Trans. Knowl. Data Eng. 7, 3, 471-486.
30. SNODGRASS, R. T. 1987. The temporal query language TQuel. ACM Trans. Datab. Syst. 12, 2, 247-298.
31. SNODGRASS, R. T., Ed. 1995. The TSQL2 Temporal Query Language. Kluwer Academic Publishers, Norwell, MA.
32. SNODGRASS, R. T., BÖHLEN, M. H., JENSEN, C. S., AND STEINER, A. 1996. Adding valid time to SQL/ Temporal. ISO/IEC JTC1/SC21/WG3 DBL MAD-146r2 21/11/96, (change proposal), International Organization for Standardization.
33. TANSEL, A. U. 1986. Adding time dimension to relational model and extending relational algebra. IEEE Trans. Knowl. Data Eng. 11, 4, 343-355.
34. TANSEL, A. U., CLIFFORD, J., GADIA, S. K., JAJODIA, S., SEGEV, A., AND SNODGRASS, R. T., Eds. 1993. Temporal Databases: Theory, Design, and Implementation. Benjamin/Cummings.
35. TOMAN, D. 1996. Point vs. interval-based query languages for temporal databases. In Proceedings of the 1996 ACM Symposium on Principles of Database Systems, ACM, New York, pp. 58-67.
36. TOMAN, D. 1997. Point-based temporal extensions of SQL. In International Conference on Deductive and Object-Oriented Databases. Springer-Verlag, New York, LNCS 1341, pp. 103-121.
37. TOMAN, D. 1998. Point-based temporal extensions of SQL and their efficient implementation. In Temporal Databases: Research and Practice, O. Etzion, S. Jajodia, and S. Sripada Eds., Lecture Notes in Computer Science, State of the Art Survey, Springer-Verlag, New York, pp. 211-237.
38. TOMAN, D. AND NIWINSKI, D. 1996. First-order queries over temporal databases inexpressible in temporal logic. In International Conference on Extending Database Technology. Springer-Verlag, New York, LNCS 1057, pp. 307-324.
39. TUZHILIN, A. AND CLIFFORD, J. 1990. A temporal relational algebra as a basis for temporal relational completeness. In International Conference on Very Large Data Bases. Morgan Kaufmann, Orlando, FL, pp. 13-23.
40. VAN GELDER, A. AND TOPOR, R. W. 1991. Safety and Translation of Relational Calculus Queries. ACM Trans. Datab. Syst. 16, 2 (June), 235-278.
41. WIDOM, J. AND YANG, J. 1998. Maintaining temporal views over non-temporal information sources for data warehousing. In International Conference on Extending Database Technology. Springer-Verlag, New York, LNCS 1377, pp. 389-403.