|
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
|
T. S. Anantharaman , E. M. Clarke , M. J. Foster , B. Mishra, Compiling path expressions into VLSI circuits, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.191-204, January 14-16, 1985, New Orleans, Louisiana, United States
[doi> 10.1145/318593.318638]
|
| |
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
|
V Lum , P Dadam , R Erbe , J Guenauer , P Pistor , G Walch , H Werner , J Woodfill, Designing DBMS support for the temporal dimension, Proceedings of the 1984 ACM SIGMOD international conference on Management of data, June 18-21, 1984, Boston, Massachusetts
|
| |
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ramez Elmasri , Vram Kouramajian , Shian Fernando, Temporal database modeling: an object-oriented approach, Proceedings of the second international conference on Information and knowledge management, p.574-585, November 01-05, 1993, Washington, D.C., United States
|
|
|
|
|
|
|
|
|
Tsz S. Cheng , Shashi K. Gadia , Sunil S. Nair, Object identity and dimension alignment in parametric databases, Proceedings of the second international conference on Information and knowledge management, p.615-624, November 01-05, 1993, Washington, D.C., United States
|
|
|
Iqbal A. Goralwalla , Abudullah U. Tansel , M. Tamer Özsu, Experimenting with temporal relational databases, Proceedings of the fourth international conference on Information and knowledge management, p.296-303, November 29-December 02, 1995, Baltimore, Maryland, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Michael Böhlen , Christian S. Jensen , Bjørn Skjellaug, Spatio-temporal database support for legacy applications, Proceedings of the 1998 ACM symposium on Applied Computing, p.226-234, February 27-March 01, 1998, Atlanta, Georgia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Vram Kouramajian , Ibrahim Kamel , Ramez Elmasri , Syed Waheed, The time index+: an incremental access structure for temporal databases, Proceedings of the third international conference on Information and knowledge management, p.296-303, November 29-December 02, 1994, Gaithersburg, Maryland, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Vittorio Brusoni , Luca Console , Paolo Terenziani , Barbara Pernici, Qualitative and Quantitative Temporal Constraints and Relational Databases: Theory, Architecture, and Applications, IEEE Transactions on Knowledge and Data Engineering, v.11 n.6, p.948-894, November 1999
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Yong Joon Lee , Jun Wook Lee , Duck Jin Chai , Bu Hyun Hwang , Keun Ho Ryu, Mining temporal interval relational rules from temporal data, Journal of Systems and Software, v.82 n.1, p.155-167, January, 2009
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Tae H. Ahn , Hyuk J. Jo , Jin H. Kim , Yoon J. Lee , Byung C. Kim, Temporal summary table management and graphic interface, Proceedings of the 5th international conference on Statistical and Scientific Database Management, p.112-130, April 03-05, 1990, Charlotte, NC
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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...
|