Abstract
This paper describes a generalization of the relational database model using first order predicate calculus with temporal operators. The generalization is intended to be a model for an intelligent database—one which employs reasoning in retrieving its data—and to suggest a query language for the system. An incremental approach to intelligent databases is employed, wherein a standard database model is augmented with temporal attributes and then with deductive capabilities. This paper builds on the work of Navathe on temporal databases and on Allen's algebra of temporal relations. The goal is a logical reconstruction of the model which results when the two approaches are combined.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
8. References
Allen, J. “Maintaining Knowledge about Temporal Intervals,” COMMUNICATIONS OF THE ACM, Vol. 26, No. 11, (1983), pp. 832–843.
Allen, J. “Towards a General Theory of Action and Time,” ARTIFICIAL INTELLIGENCE Vol. 23, No. 2, (1984), pp. 123–154.
Anger, F., Mata-Toledo, R., Morris, R., Rodriguez, R. “A Relational Knowledge Base With Temporal Reasoning,” PROCEEDINGS OF THE FIRST FLORIDA ARTIFICIAL INTELLIGENCE RESEARCH SYMPOSIUM, Orlando, FL, (1988), pp. 147–151.
Brachman, R., Levesque, H. “Tales From the Far Side of KRYPTON,” in EXPERT DATABASE SYSTEMS, L. Kerschberg, ed., Benjamin Cummings Pub. Co., Menlo Park, CA, (1986), pp. 3–44.
Clifford, J., Warren, D. “Formal Semantics for Time in Databases,” ACM TRANSACTIONS ON DATABASE SYSTEMS, Vol. 8, No. 2, (June 1983), pp. 214–254.
Codd, E. “A Relational Model of Data For Large Shared Data Banks,” COMMUNICATIONS OF THE ACM, Vol. 13, No. 6, (June 1970).
Davidson, D. “The Logical Form of Action Sentences,” in THE LOGIC OF DECISION AND ACTION, N. Rescher, ed., U. Pittsburgh Press, Pittsburgh, PA, (1967).
Dean, T., McDermott, D. “Temporal Data Base Management,” ARTIFICIAL INTELLIGENCE Vol. 32, No. 1, (1987), pp. 1–55.
Kahn, K., Gorry, G. “Mechanizing Temporal Logic,” ARTIFICIAL INTELLIGENCE, Vol. 9, No. 1, (1977), pp. 87–108.
Ladkin, P. “Time Representation: A Taxonomy of Interval Relations,” PROCEEDINGS OF AAAI-86, (1986), pp. 360–366.
Ladkin, P., Maddux, R. “Representation and Reasoning with Convex Time Intervals,” (1988), Kestrel Institute, Technical Report.
Kowalski, R., Sergot, M. “A Logic-Based Calculus of Events,” NEW GENERATION COMPUTING, No. 4, (1986), pp. 67–95.
McDermott, D. “A Temporal Logic for Reasoning about Processes and Plans,” COGNITIVE SCIENCE, Vol. 6, (Dec 1982), pp. 101–155.
Navathe, S., Ahmed, R. “A Temporal Relational Model and A Query Language,” CIS TECHNICAL REPORT No. 85-16, Database System R and D Center, University of Florida, USA, (1987).
Shoham, Y., Goyal, N. “Temporal Reasoning in Artificial Intelligence,” in EXPLORING ARTIFICIAL INTELLIGENCE, H. Shrobe, ed., Morgan Kaufmann Pub., San Mateo, CA, (1988), pp. 419–438.
Snodgrass, R. “The Temporal Query Language TQUEL,” ACM TRANSACTIONS ON DATABASE SYSTEMS, Vol. 12, No. 2, (June 1987), pp. 247–298.
Zvieli, A. “A Fuzzy Relational Calculus,” in EXPERT DATABASE SYSTEMS, L. Kerschberg, ed., Benjamin Cummings Pub. Co., Menlo Park, CA, (1986), pp. 311–326.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Anger, F.D., Morris, R.A., Rodriguez, R.V., Mata-Toledo, R.A. (1990). A temporal relational calculus. In: Barter, C.J., Brooks, M.J. (eds) AI '88. AI 1988. Lecture Notes in Computer Science, vol 406. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52062-7_78
Download citation
DOI: https://doi.org/10.1007/3-540-52062-7_78
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52062-7
Online ISBN: 978-3-540-46875-2
eBook Packages: Springer Book Archive