ACM Home Page
Please provide us with feedback. Feedback
The temporal query language TQuel
Full text PdfPdf (4.12 MB)
Source ACM Transactions on Database Systems (TODS) archive
Volume 12 ,  Issue 2  (June 1987) table of contents
Pages: 247 - 298  
Year of Publication: 1987
ISSN:0362-5915
Author
Richard Snodgrass  Univ. of North Carolina, Chapel Hill
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 13,   Downloads (12 Months): 82,   Citation Count: 126
Additional Information:

abstract   references   cited by   index terms   review   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/22952.22956
What is a DOI?

ABSTRACT

Recently, attention has been focused on temporal databases, representing an enterprise over time. We have developed a new language, Tquel, to query a temporal database. TQuel was designed to be a minimal extension, both syntactically and semantically, of Quel, the query language in the Ingres relational database management system. This paper discusses the language informally, then provides a tuple relational calculus semantics for the TQuel statements that differ from their Quel counterparts, including the modification statements. The three additional temporal constructs defined in Tquel are shown to be direct semantic analogues of Quel's where clause and target list. We also discuss reducibility of the semantics to Quel's semantics when applied to a static database. TQuel is compared with ten other query languages supporting time.


REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
1
 
2
3
 
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
 
6
7
 
8
 
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
 
11
12
 
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
 
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
 
24
CHEESEMAN, P. A representation of time for planning. Tech. Note 278, Artificial Intelligence Center, Feb. 1983.
 
25
26
27
28
 
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
 
31
32
 
33
DOWTY, D.R. Studies in the logic of verb aspect and time reference in English. Tech. Pep., Dept. of Linguistics, Univ. of Texas, Austin, 1972.
 
34
 
35
GADIA, S.K. Toward completeness of temporal databases. Unpublished manuscript.
 
36
37
38
 
39
HABERMANN, A.N. Path expressions. Tech. Rep. Computer Science Dept., Carnegie-Mellon Univ., June 1975.
40
 
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
HIRSCHMAN, 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. In/. Syst. 4, 4 (Nov. 1979), 293-305.
 
48
KAHN, K., AND GORR~, G.A. Mechanizing temporal knowledge. Artif. lntelL 9 {Sept. 1975}, 87-108.
49
50
 
51
KIMBALL, K.A.. The DATA System. Master's thesis, Univ. of Pennsylvania, Philadelphia, 1978.
 
52
53
 
54
LAUER, P.E., AND CAMPBELL, R.H. Formal semantics of a class of high-level orimitives for coordinating concurrent processes. Acta In{. 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 Conferenrence on Management of Data (Bostaon, Mass., June). ACM, New 1983, pp. 230-232.
56
 
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 "l-~me Re{erence 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
MCKENzlE, E. Bibliography: Temporal databases. ACM SIGMOD Rec. 15, 4 (Dec. 1986), 40-52.
 
62
MCKENZIE, E., AND SNODGRASS, R. Supl:)orting valid time: An historical algebra and evaluation. Tech. Rep. TR87-008, Computer Science Dept., Univ. of North Carolina, Chapel Hill, 1987.
63
 
64
MONTAGUE, R. The proper treatment of quantification in ordinary English. In Approaches to Natural Language. Reidel, Hingham, Mass., 1973.
 
65
N^VATHE, 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
 
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
 
70
Relational Technology. MicrolNGRES 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. In{. 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
75
 
76
SNODGRASS, R. ED. Research concerning time in databases: Project summaries. ACM SIGMOD Rec. 15, 4 (dec. 1986), 19-39
77
 
78
 
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
81
 
82
TANDEM COMPUTERS. ENFORM Re{erence Manual. Tandem Computers, Cupertino, Calif., 1983.
 
83
 
84
 
85
 
86
TASSEL, 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 o/the International Joint Con{erence on Artificial Intelligence (Vancouver, B.C., Aug.). 1981. pp. 900-907.
 
89
 
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
WmTROW, 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

CITED BY  126

INDEX TERMS

Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.1 Logical Design
          Subjects: Data models
      H.2.3 Languages
          Subjects: Query languages
          Nouns: TQUEL
      H.2.7 Database Administration
          Subjects: Logging and recovery


General Terms:
Languages, Theory


REVIEW

"Christian Mancas : Reviewer"

This paper presents a minimal extension of Quel—TQuel—aimed at manipulating temporal databases. Semantics of e-expressions is described in terms of time functions, whereas a transformation system provides the semantics of temporal ex  more...