The Temporal Query Language TQuel

ACM Transactions on Database Systems (TODS)

Volumn 12, Issue 2, 1987, Pages 247-298

  Snodgrass, Richard ^a  

^a UNIVERSITY OF NORTH CAROLINA   (United States)

Author keywords

Historical database; Quel; relational calculus; relational model; rollback database; temporal database; tuple calculus

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

RELATIONAL CALCULUS; TEMPORAL DATABASES; TEMPORAL QUERY LANGUAGE; TQUEL; TUPLE CALCULUS;

DATABASE SYSTEMS;

EID: 0023366818     PISSN: 03625915     EISSN: 15574644     Source Type: Journal    
DOI: 10.1145/22952.22956     Document Type: Article

References (94)

1. Ahn, I. Towards an implementation of database management systems with temporal support. In Proceedings of the International Conference on Data Engineering (Los Angeles, Calif., Feb.). IEEE Press, New York, 1986, pp. 374–381.
2. Ahn, I. Performance modeling and access methods for temporal database management systems. Ph.D. dissertation, Computer Science Dept., Univ. of North Carolina, Chapel Hill, July 1986.
3. Ahn, I., and Snodgrass, R. Performance evaluation of a temporal database management system. In Proceedings of ACM SIGMOD International Conference on Management of Data (Washington, D.C., May). ACM, New York, 1986, pp. 96–107.
4. Allen, J. F. An interval-based representation of temporal knowledge. In Proceedings of the International Joint Conference on Artificial Intelligence (Vancouver, B.C.). 1981, pp. 221–226.
5. Allen, J. F. Maintaining knowledge about temporal intervals. Commun. ACM 26, 11 (Nov. 1983), 832–843.
6. Allen, J. F. Towards a general theory of action and time. Artif. Intell. 23, 2 (July 1984), 123–154.
7. Anantharaman, T. S., Clarke, E. M., Foster, M. J., and Mishra, B. Compiling path expressions into VLSI circuits. In Proceedings of the ACM Symposium on Principles of Programming Languages (New Orleans, La., Jan.). ACM, New York, 1985, pp. 191–204.
8. Anderson, T. L. The database semantics of time. Ph.D. dissertation, Univ. of Washington, Jan. 1981.
9. Anderson, T. L. Modeling time at the conceptual level. In Improving Database Usability and Responsiveness, P. Scheuermann, Ed. Academic Press, New York, 1982, pp. 273–297.
10. Andler, S. A. Predicate path expressions: A high-level synchronization mechanism. Ph.D. dissertation, Computer Science Dept., Carnegie-Mellon Univ., Aug. 1979.
11. Ariav, G. Preserving the time dimension in information systems. Ph.D. dissertation, Dept. of Decision Sciences, The Wharton School, Univ. of Pennsylvania, Apr. 1984.
12. Ariav, G. A temporally oriented data model. ACM Trans. Database Syst. 11, 4 (Dec. 1986), 499–527.
13. Ariav, G., and Morgan, H. L. MDM: Handling the time dimension in generalized DBMS. Work. Pap., Dept. of Decision Sciences, The Wharton School, Univ. of Pennsylvania, May 1981.
14. Ariav, G., And Morgan, H. L. MDM: Embedding the time dimension in information systems. TR 82-03-01, Dept. of Decision Sciences, The Wharton School, Univ. of Pennsylvania, 1982.
15. Ben-Zvi, J. The time relational model. Ph.D. dissertation, Univ. of California, Los Angeles, 1982.
16. Berzins, V., and Kapur, D. Denotational and axiomatic definitions for path expressions. Comput. Struct. Group Memo 153-1, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Mass., Nov. 1977.
17. Bjork, L. A., Jr. Generalized audit trail requirements and concepts for data base applications. IBM Syst. J. 14, 3 (1975), 229–245.
18. Bontempo, C. J. Feature analysis of query-by-example. In Relational Database Systems. Springer-Verlag, New York, 1983, pp. 409–433.
19. Breutmann, B., Falkenberg, E. F., and Mauer, R. CSL: A language of defining conceptual schemas. In Data Base Architecture. North-Holland, Amsterdam, 1979.
20. Bubenko, J. A., Jr. The temporal dimension in information modeling. Tech. Rep. RC 6187 26479, IBM Thomas J. Watson Research Center, Nov. 1976.
21. Bubenko, J. A., Jr. The temporal dimension in information modeling. In Architecture and Models in Data Base Management Systems. North-Holland, Amsterdam, 1977.
22. Bubenko, J. A., Jr. Information modeling in the context of system development. In Proceedings of IFIP Congress 80 (Oct. 6-17). 1980, pp. 395–411.
23. Ceri, S., and Gottlob, G. Translating SQL into relational algebra: Optimization, semantics, and equivalence of SQL queries. IEEE Trans. Softw. Eng. SE-11, 4 (Apr. 1985), 324–345.
24. Cheeseman, P. A representation of time for planning. Tech. Note 278, Artificial Intelligence Center, Feb. 1983.
25. Clifford, J., and Croker, A. The historical data model (HRDM) and algebra based on lifespans. In Proceedings of the International Conference on Data Engineering (Los Angeles, Calif., Feb.) IEEE Press, New York. To be published.
26. Clifford, J., AND Tansel, A. U. On an algebra for historical relational databases: Two views. In Proceedings of ACM SIGMOD International Conference on Management of Data (Austin, Tex., May). ACM, New York, 1985, pp. 247–265.
27. Clifford, J., and Warren, D. S. Formal semantics for time in databases. ACM Trans. Database Syst. 8, 2 (June 1983), 214–254.
28. Codd, E. F. A relational model of data for large shared data banks. Commun. ACM 13, 6 (June 1970), 377–387.
29. Codd, E. F. Relational completeness of data base sublanguages. Data Base Systems. Vol. 6, Courant Computer Symposia Series. Prentice-Hall, Englewood Cliffs, 1972, pp. 65–98.
30. Codd, E. F. Extending the database relational model to capture more meaning. ACM Trans. Database Syst. 4, 4 (Dec. 1979), 397–434.
31. Codd, E. F. An evaluation scheme for database management systems that are claimed to be relational. In Proceedings of the International Conference on Data Engineering (Los Angeles, Calif., Feb.). IEEE Press, New York, 1986, pp. 719–729.
32. Copeland, G., and Maier, D. Making Smalltalk a database system. In Proceedings of ACM SIGMOD International Conference on Management of Data (Boston, Mass., June). ACM, New York, 1984, pp. 316–325.
33. Dowty, D. R. Studies in the logic of verb aspect and time reference in English. Tech. Rep., Dept. of Linguistics, Univ. of Texas, Austin, 1972.
34. Fagan, L. M. VM: Representing time-dependent relations in a medical setting. Ph.D. dissertation, Stanford Univ., June 1980.
35. Gadia, S. K. Toward completeness of temporal databases. Unpublished manuscript.
36. Gadia, S. K. Toward a multihomogeneous model for a temporal database. In Proceedings of the International Conference on Data Engineering (Los Angeles, Calif., Feb.). IEEE Press, New York, 1986, pp. 390–397.
37. Gadia, S. K. Weak temporal relations. In Proceedings of the ACM Symposium on Principles of Database Systems (Los Angeles, Calif.). ACM, New York, 1986.
38. Gadia, S. K., and Vaishnav, J. H. A query language for a homogeneous temporal database. In Proceedings of the ACM Symposium on Principles of Database Systems (Apr.). ACM, New York, 1985.
39. Habermann, A. N. Path expressions. Tech. Rep. Computer Science Dept., Carnegie-Mellon Univ., June 1975.
40. Hammer, M., and McLeod, D. Database description with SDM: A semantic database model. ACM Trans. Database Syst. 6, 3 (Sept. 1981), 351–386.
41. Held, G. D., Stonebraker, M. R., and Wong, E. INGRES—A relational data base system. In Proceedings of the 1975 National Computer Conference, vol. 44 (Anaheim, Calif., May 19-22). AFIPS Press, Reston, Va., 1975, pp. 409–416.
42. Hlrschman, C., AND Story, G. Representing implicit and explicit time relations in narrative. In Proceedings of the International Joint Conference on Artificial Intelligence (Vancouver, B.C., Aug.). 1981, pp. 289–295.
43. IBM. SQL/Data-System, concepts and facilities. Tech. Rep. GH24-5013-0, IBM, Jan. 1981.
44. Jayaraman, B. Constructing a parallel implementation from high-level specifications: A case study using resource expressions. In Proceedings of the 1983 International Conference on Parallel Processing (Aug. 23-26). IEEE Press, New York, 1983, pp. 416–420.
45. Jayaraman, B., and Keller, R. M. Resource expressions for applicative languages. In Proceedings of the 1982 International Conference on Parallel Processing (Aug.). IEEE Press, New York, 1982, pp. 160–167.
46. Jones, S., and Mason, P. J. Handling the time dimension in a data base. In Proceedings of the International Conference on Data Bases (Heyden, July). British Computer Society, 1980, pp. 65–83.
47. Jones, S., Mason, P., and Stamper, R. LEGOL 2.0: A relational specification language for complex rules. Inf. Syst. 4, 4 (Nov. 1979), 293–305.
48. Kahn, K., and Gorry, G. A. Mechanizing temporal knowledge. Artif. Intell. 9 (Sept. 1975), 87–108.
49. Kim, W. Relational database systems. ACM Comput. Surv. 11, 3 (Sept. 1979), 185–211.
50. Kim, W. On optimizing an SQL-like nested query. ACM Trans. Database Syst. 7,3 (Sept. 1982), 443–469.
51. Kimball, K. A., The DATA System. Master's thesis, Univ. of Pennsylvania, Philadelphia, 1978.
52. Klopprogge, M. R. TERM: An approach to include the time dimension in the entity-relationship model. In Proceedings of the 2nd International Conference on the Entity Relationship Approach (Washington, D.C., Oct. 12-14), 1981, pp. 477–512.
53. Klug, A. Equivalence of relational algebra and relational calculus query languages having aggregate functions. J. ACM 29, 3 (July 1982), 699–717.
54. Lauer, P. E., and Campbell, R. H. Formal semantics of a class of high-level primitives for coordinating concurrent processes. Acta Inf. 5, 4 (1975), 297–332.
55. Long, W. J., and Russ, T. A. A control structure for time dependent reasoning. In Proceedings of the International Joint Conference on Artificial Intelligence (Karlsruhe, West Germany, Aug.). 1983, pp. 230–232.
56. Lum, V., Dadam, P., Ebbe, R., Guenauer, J., Pistor, P., Walch, G., Werner, H., and Woodfill, J. Designing DBMS support for the temporal dimension. In Proceedings of ACM SIGMOD International Conference on Management of Data (Boston, Mass., June). ACM, New York, 1984, pp. 115–130.
57. Maran, L. R., Spoor, D. T., and Waltz, D. L. Encoding the natural language meaning of time toward a conceptual model for temporal meaning. Work. Pap. 37, Univ. of Illinois, Urbana-Champaign, May 1983.
58. McArthur, R. P. Tense Logic. Reidel, Hingham, Mass., 1976.
59. McCawley, J. Tense and Time Reference in English. Holt, Reinhardt and Winston, New York, 1971.
60. McDermott, D. A temporal logic for reasoning about processes and plans. Cognitive Sci. 6 (Dec. 1982), 101–155.
61. McKenzie, E. Bibliography: Temporal databases. ACM SIGMOD Rec. 15, 4 (Dec. 1986), 40–52.
62. McKenzie, E., and Snodgrass, R. Supporting valid time: An historical algebra and evaluation. Tech. Rep. TR87-008, Computer Science Dept., Univ. of North Carolina, Chapel Hill, 1987.
63. McKenzie, E., and Snodgrass, R. Supporting transaction time in the relational algebra. In Proceedings of the ACM SIGMOD International Conference on Management of Data (San Francisco, May 1987). ACM, New York, 1987.
64. Montague, R. The proper treatment of quantification in ordinary English. In Approaches to Natural Language. Reidel, Hingham, Mass., 1973.
65. Navathe, S. B., and Ahmed, R. A temporal relational model and a query language. Tech. Rep., Computer and Information Sciences Dept., Univ. of Florida, Apr. 1986.
66. Overmyer, R., and Stonebraker, M. Implementation of a time expert in a database system. ACM SIGMOD Rec. 12, 3 (Apr. 1982), 51–59.
67. Palley, N. A., et al. CLINFO user's guide: Release one. Tech. Rep. R-1543-1-NIH, Rand Corp., 1976.
68. Prior, A. Past, Present, Future. Oxford University Press, New York, 1967.
69. Reisner, P. Human factors studies of database query languages: A survey and assessment. ACMComput. Surv. 13, 1 (Mar. 1981), 13–31.
70. Relational Technology. MicroINGRES Reference Manual Relational Technology, 1984.
71. Rescher, N. C., and Urquhart, A. Temporal Logic. Springer-Verlag, New York, 1971.
72. Sernadas, A. Temporal aspects of logical procedure definition. Inf. Syst. 5, 3 (1980), 167–187.
73. Shannon, K. P. The display of temporal information. Master's thesis, Computer Science Dept., Univ. of North Carolina, Chapel Hill, July 1986.
74. Snodgrass, R. Monitoring distributed systems: A relational approach. Ph.D. dissertation, Computer Science Dept., Carnegie-Mellon Univ., Dec. 1982.
75. Snodgrass, R. The temporal query language TQuel. In Proceedings of the ACM Symposium on Principles of Database Systems (Waterloo, Ontario, Apr.). ACM, New York, 1984, pp. 204–212.
76. Snodgrass, R. Ed. Research concerning time in databases: Project summaries. ACM SIGMOD Rec. 15, 4 (Dec. 1986), 19–39.
77. Snodgrass, R., and Ahn, I. A taxonomy of time in databases. In Proceedings of ACM SIGMOD International Conference on Management of Data (Austin, Tex., May). ACM, New York, 1985, pp. 236–246.
78. Snodgrass, R., and Ahn, I. Temporal databases: Computer 19, 9 (Sept. 1986), 35–42.
79. Snodgrass, R., and Gomez, S. Aggregates in the temporal query language TQuel. Tech. Rep. TR86-009, Computer Science Dept., Univ. of North Carolina, Chapel Hill, Mar. 1986.
80. Stonebraker, M., and Keller, K. Embedding experts and hypothetical data bases in a relational data base system. In Proceedings of ACM SIGMOD International Conference on Management of Data (Santa Monica, Calif., May). ACM, New York, 1980.
81. Stonebraker, M., Wong, E., Kreps, P., and Held, G. The design and implementation of INGRES. ACM Trans. Database Syst. 1, 3 (Sept. 1976), 189–222.
82. Tandem Computers. ENFORM Reference Manual Tandem Computers, Cupertino, Calif., 1983.
83. Tansel, A. U. Adding time dimension to relational model and extending relational algebra. Inf. Syst. To be published.
84. Tansel, A. U., and Arkun, M. E. HQUEL, a query language for historical relational databases. In Proceedings of the 3rd International Workshop on Statistical and Scientific Databases (July) 1986.
85. Tansel, A. U., and Arkun, M. E. Aggregation operations in historical relational databases. In Proceedings of the 3rd International Workshop on Statistical and Scientific Databases (July) 1986.
86. Tansel, A. U., Arkun, M. E., and Ozsoyoglu, G. Time-By-Example query language for historical databases. Work. Pap., Dept. of Statistics and Computer Information Systems, Baruch College, City University of New York, 1985.
87. Taylor, E. F., and Wheeler, J. A. Space-Time Physics. Freeman, San Francisco, Calif., 1966.
88. TsOTSOS, J. K. Temporal event recognition: An application to left ventricular performance. In Proceedings of the International Joint Conference on Artificial Intelligence (Vancouver, B.C., Aug.). 1981. pp. 900–907.
89. Ullman, J. D. Principles of Database Systems. 2nd ed. Computer Science Press, Rockville, Md., 1982.
90. Valiente, J. Implementing TQuel aggregates. Master's thesis, Computer Science Dept., Univ. of North Carolina, Chapel Hill. In progress.
91. Vilain, M. B. A system for reasoning about time. In Proceedings of the American Association for Artificial Intelligence (Pittsburgh, Pa., Aug.) 1982, pp. 221–226.
92. Whitrow, G. J. The Natural Philosophy of Time. Oxford University Press, New York, 1980.
93. Wiederhold, G., Fries, J. F., and Weyl, S. Structured organization of clinical data bases. In Proceedings of the National Computer Conference, vol. 44 (Anaheim, Calif., May 19-22). AFIPS Press, Reston, Va., 1975, pp. 479–485.
94. Zaniolo, C. The database language GEM. In Proceedings of ACM SIGMOD International Conference on Management of Data (San Jose, Calif., May). ACM, New York, 1983, pp. 207–218.