A temporal relational calculus

  • Frank D. Anger
  • Robert A. Morris
  • Rita V. Rodriguez
  • Ramon A. Mata-Toledo
Logic And Reasoning
Part of the Lecture Notes in Computer Science book series (LNCS, volume 406)


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.

Keywords and Phrases

Temporal Knowledge Knowledge Base Predicate Calculus 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

8. References

  1. 1.
    Allen, J. “Maintaining Knowledge about Temporal Intervals,” COMMUNICATIONS OF THE ACM, Vol. 26, No. 11, (1983), pp. 832–843.Google Scholar
  2. 2.
    Allen, J. “Towards a General Theory of Action and Time,” ARTIFICIAL INTELLIGENCE Vol. 23, No. 2, (1984), pp. 123–154.Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    Clifford, J., Warren, D. “Formal Semantics for Time in Databases,” ACM TRANSACTIONS ON DATABASE SYSTEMS, Vol. 8, No. 2, (June 1983), pp. 214–254.Google Scholar
  6. 6.
    Codd, E. “A Relational Model of Data For Large Shared Data Banks,” COMMUNICATIONS OF THE ACM, Vol. 13, No. 6, (June 1970).Google Scholar
  7. 7.
    Davidson, D. “The Logical Form of Action Sentences,” in THE LOGIC OF DECISION AND ACTION, N. Rescher, ed., U. Pittsburgh Press, Pittsburgh, PA, (1967).Google Scholar
  8. 8.
    Dean, T., McDermott, D. “Temporal Data Base Management,” ARTIFICIAL INTELLIGENCE Vol. 32, No. 1, (1987), pp. 1–55.Google Scholar
  9. 9.
    Kahn, K., Gorry, G. “Mechanizing Temporal Logic,” ARTIFICIAL INTELLIGENCE, Vol. 9, No. 1, (1977), pp. 87–108.Google Scholar
  10. 10.
    Ladkin, P. “Time Representation: A Taxonomy of Interval Relations,” PROCEEDINGS OF AAAI-86, (1986), pp. 360–366.Google Scholar
  11. 11.
    Ladkin, P., Maddux, R. “Representation and Reasoning with Convex Time Intervals,” (1988), Kestrel Institute, Technical Report.Google Scholar
  12. 12.
    Kowalski, R., Sergot, M. “A Logic-Based Calculus of Events,” NEW GENERATION COMPUTING, No. 4, (1986), pp. 67–95.Google Scholar
  13. 13.
    McDermott, D. “A Temporal Logic for Reasoning about Processes and Plans,” COGNITIVE SCIENCE, Vol. 6, (Dec 1982), pp. 101–155.Google Scholar
  14. 14.
    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).Google Scholar
  15. 15.
    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.Google Scholar
  16. 16.
    Snodgrass, R. “The Temporal Query Language TQUEL,” ACM TRANSACTIONS ON DATABASE SYSTEMS, Vol. 12, No. 2, (June 1987), pp. 247–298.Google Scholar
  17. 17.
    Zvieli, A. “A Fuzzy Relational Calculus,” in EXPERT DATABASE SYSTEMS, L. Kerschberg, ed., Benjamin Cummings Pub. Co., Menlo Park, CA, (1986), pp. 311–326.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Frank D. Anger
    • 1
  • Robert A. Morris
    • 1
  • Rita V. Rodriguez
    • 1
  • Ramon A. Mata-Toledo
    • 2
  1. 1.Dept. of Computer ScienceFlorida Institute of TechnologyMelbourneU.S.A.
  2. 2.Dept. of Math and Computer ScienceJames Madison UniversityHarrisonburgU.S.A.

Personalised recommendations