This Article 
 Bibliographic References 
 Add to: 
Temporal Data Management Systems: A Comparative View
December 1991 (vol. 3 no. 4)
pp. 504-524

Characteristics and requirements of systems for temporal data management in the areas of data and knowledge bases, artificial intelligence, and software engineering are investigated and discussed on the basis of a case study. Six representative approaches were selected for this analysis, with the goal of identifying particular features of systems proposed in different areas. The six approaches are: Allen's interval-based logic, Dean and McDermott's time map management, Kowalski and Sergot's event calculus, Maiocchi and Pernici's TSOS. Snodgrass' TQuel, and Hagelstein's ERAE. The characteristics of each system are classified and compared. On the basis of this analysis, a framework for the evaluation of temporal systems and for the specification of temporal data management systems is proposed.

[1] J.F. Allen, "Maintaining Knowledge About Temporal Intervals,"Comm. ACM, Vol. 26, No. 11, Nov. 1983, pp. 832- 843.
[2] J. F. Allen, "Towards a general theory of action and time,"Artificial Intell., vol. 23, no. 2, pp. 124-154, July 1984.
[3] F. Barbic and B. Pernici, "Time modeling in office information systems," inProc. ACM-SIGMOD, Austin, TX, May 1985, pp. 51-62.
[4] F. Barbic, R. Maiocchi, and B. Pernici, "Automatic deduction of temporal information," Inter. Rep. 87-048, Dipartimento di Elettronica, Politecnico di Milano, 1987,ACM Trans. Database Syst., to be published.
[5] T. Dean and D. McDermott, "Temporal data base management,"Artif. Intell., vol. 32, pp. 1-55, 1987.
[6] J. Doyle, "A truth maintenance system,"Artif. Intell., vol. 12, no. 3, pp. 231-272, 1979.
[7] E. Dubois, J. Hagelstein, E. Lahou, F. Ponsaert, A. Rifaut, and F. Williams, "The ERAE model: A case study," inInformation System Design Methodologies: Improving the Practice, T. W. Olle, H. G. Sol, A. A. Verrijn-Stuart, Eds. North-Holland, 1986, pp. 87-106.
[8] E. Dubois, J. Hagelstein, E. Lahou, F. Ponsaert, and A. Rifaut, "A knowledge representation language for requirements engineering,"Proc. IEEE, vol. 74, no. 10, pp. 1431-1444, 1986.
[9] B. Frogner and C. H. Meijer, "On-line power plant alarm and disturbance analysis system," Electric Power Research Institute (EPRI) Project NP- 1379 Research Project 891, Final Rep., Apr. 1980.
[10] M. Ghallab and A. Mounir Alaoui, "Managing efficiently temporal relations through indexed spanning trees," inProc. IJCAI '89, Detroit, MI, 1989.
[11] C. Ghezzi, D. Mandrioli, and A. Morzenti, "TRIO: A logic language for executable specifications of real-time systems,"J. Systems Software, vol. 12, pp. 107-123, 1990.
[12] T. Hrycej, "Temporal Prolog," inProc. ECAI, 1988.
[13] R. Kowalski and M. Sergot, "A logic based calculus of events,"New Generation Computing, Feb. 1986.
[14] E. McKenzie, "Bibliography: Temporal databases,"SIGMOD Rec., vol. 15, no. 4, 1986.
[15] R. Maiocchi and B. Pernici, "Time reasoning in the office environment," inMethods and Tools for Office Systems, G. Bracchi and D. Tsichritzis Eds. Amsterdam, The Netherlands: North Holland, 1986.
[16] J. L. Peterson, "Petri nets,"ACM Comput. Surveys, vol. 9, no. 3, pp. 223-252, Sept. 1977.
[17] A. Pnueli, "Applications of temporal logic to the specification and verification of concurrent systems: A survey of current trends," LNCS 224, Springer-Verlag, 1986.
[18] F. Sadri, "Three recent approaches to temporal reasoning," inTemporal Logics and their Applications, A. Galton Ed. 1987, pp. 121-168.
[19] SIGMOD Rec., vol. 17, no. 1, Special Issue on Real-Time Database Systems, Mar. 1988.
[20] R. Snodgrass and I. Ahn, "Temporal databases,"IEEE Comput. Mag., pp. 35-42, Sept. 1986.
[21] R. Snodgrass, "The temporal query language TQuel,"ACM Trans. Database Syst., vol. 12, no. 2, June 1987.
[22] S. H. Son, "Real-time database systems: Issues and approaches,"SIGMOD Rec., vol. 17, no. 1, pp. 2-3, Mar. 1988.
[23] S. M. Sripada, "A logical framework for temporal deductive databases," inProc. 14th VLDB Conf., Los Angeles, CA, 1988, pp. 171-182.
[24] M. Stonebraker,et al., "The design and implementation of INGRES,"ACM Trans. Database Syst., vol. 1, no. 3, Sept. 1976.
[25] E. P. K. Tsang, "Elements in temporal reasoning in planning," inProc. ECAI, 1988.

Index Terms:
databases; temporal data management; knowledge bases; artificial intelligence; software engineering; interval-based logic; time map management; event calculus; TSOS; TQuel; ERAE; database management systems; knowledge based systems; software engineering; temporal logic
R. Maiocchi, B. Pernici, "Temporal Data Management Systems: A Comparative View," IEEE Transactions on Knowledge and Data Engineering, vol. 3, no. 4, pp. 504-524, Dec. 1991, doi:10.1109/69.109111
Usage of this product signifies your acceptance of the Terms of Use.