IMPERATIVE HISTORY: TWO-DIMENSIONAL EXECUTABLE TEMPORAL LOGIC

In this chapter we combine two interesting and useful recently proposed ideas within applied temporal logic which were both initially developed by Dov Gabbay (amongst others). We coin the term ‘Imperative History’ for the two-dimensional executable temporal logic which results from combining the ‘Imperative Future’ idea of an executable temporal logic (proposed in {10} and described more fully in {3} with the idea of using a two-dimensional temporal logic to describe the evolution of temporal databases (an idea proposed in {6} but closely related to the work in {4}). We demonstrate that this combination leads to a powerful declarative approach to handling time in databases.

[1]  Glenford J. Myers,et al.  Structured Design , 1974, IBM Syst. J..

[2]  Dov M. Gabbay,et al.  Adding a temporal dimension to a logic system , 1992, J. Log. Lang. Inf..

[3]  James F. Allen.  An Interval-Based Representation of Temporal Knowledge , 1981, IJCAI.

[4]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[5]  Yde Venema,et al.  Many-dimensional Modal Logic , 1991 .

[6]  Richard Owens,et al.  Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 : Proceedings , 1995, IJCAI 1995.

[7]  D. Gabbay,et al.  Temporal Logic Mathematical Foundations and Computational Aspects , 1994 .

[8]  Amir Pnueli,et al.  On the synthesis of a reactive module , 1989, POPL '89.

[9]  Marcelo Finger.  Handling database updates in two-dimensional temporal logic , 1992, J. Appl. Non Class. Logics.

[10]  Mark Reynolds,et al.  Axiomatising first-order temporal logic: Until and since over linear time , 1996, Stud Logica.

[11]  Johan Anthory Willem Kamp,et al.  Tense logic and the theory of linear order , 1968 .

[12]  Dov M. Gabbay,et al.  METATEM: A Framework for Programming in Temporal Logic , 1989, REX Workshop.

[13]  Richard T. Snodgrass,et al.  A taxonomy of time databases , 1985, SIGMOD Conference.

[14]  Arie Segev,et al.  A glossary of temporal database concepts , 1992, SGMD.

[15]  Dov M. Gabbay,et al.  Combining Temporal Logic Systems , 1996, Notre Dame J. Formal Log..

[16]  Richard T. Snodgrass,et al.  Evaluation of relational algebras incorporating the time dimension in databases , 1991, CSUR.

[17]  Mark Reynolds,et al.  Towards First-Order Concurrent METATEM , 1993, Executable Modal and Temporal Logics.