Abstract
In this paper we show how temporal databases can be specified and implemented using the bitemporal event calculus, an extension of the event calculus that includes both valid and transaction time, and the possibility to perform temporal updates. A caching mechanism that maintains the current historical state and is updated after each transaction has also been incorporated. We also consider the problem of checking integrity constraints in this kind of temporal databases. The methodology for consistency checking presented here is an extension of other approaches found in the literature that exploit the assumption that the database satisfies its integrity constraints prior to the update transaction. A prototype of the formalism and the checking mechanism, implemented in Prolog, has also been developed.
This research was supported by FONDECYT (Grant #1980945) and ECOS/CONICYT (Grant C97E05.)
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
M. Böhlen. Managing Temporal Knowledge in Deductive Databases. PhD thesis, Swiss Federal Institute of Technology Zürich, 1994.
L. Chittaxo and A. Montanari. Efficient Temporal Reasoning in the Cached Event Calculus. Computational Intelligence, 12(3):359–382, 1996.
O. Etzion, A. Gal, and A. Segev. Extended Update Functionality in Temporal Databases. In Temporal Databases-Research and Practice, LNCS, pages 56–95. Springer-Verlag, 1998.
C. Jensen and R. Snodgrass. Temporal Specialization and Generalization. IEEE Transactions on Knowledge and Data Engineering, 6(6):954–975, December 1994.
C. Jensen, M. Soo, and R. Snodgrass. Unifying Temporal Data Models via a Conceptual Model. Technical Report TR 93-31, Dept. of Computer Science, University of Arizona, September 1993.
R. Kowalski. Database Updates in the Event Calculus. Journal of Logic Programming, 12(162):121–146, 1992.
R. Kowalski, F. Sadri, and P. Soper. Integrity Checking in Deductive Databases. In Proceedings of the 13th International Conference on Very Large Databases, 1987.
R. Kowalski and M. Sergot. A Logic-Based Calculus of Events. New Generation Computing, 4:67–95, 1986.
J. Lloyd. Foundations of Logic Programming. Springer Verlag, 1987.
C. A. Mareco. Especificación e Implementación de Bases de Datos Temporales en un Cálculo de Eventos Extendido. Master’s thesis, Departamento de Ciencia de la Computación. Pontificia Universidad Católica de Chile, 1999.
J.-M. Nicolas. Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica, 18:227–253, 1982.
J.-M. Nicolas and K. Yazdanian. Integrity Checking in Deductive Databases. In H. Gallaire and J. Minker, editors, Logic and Databases. Plenum Publishing Corp., 1978.
M. Shanahan. Prediction is Deduction but Explanation is Abduction. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 1055–1060, 1989.
R. Snodgrass. An Overview of TQuel. In Tansel et al., editors, Temporal Databases. Benjamin/Cummings, 1993.
R. Snodgrass, editor. The TSQL2 Temporal Query Language. Kluwer Academic Publishers, 1995.
R. Snodgrass and I. Ahn. Temporal Databases. IEEE Computer, pages 35–42, September 1986.
R. Snodgrass, M. Böhlen, C. Jensen, and A. Steiner. Transitioning Temporal Support in TSQL2 to SQL3. In Temporal Databases-Research and Practice, LNCS, pages 150–194. Springer-Verlag, 1998.
S. M. Sripada. A Logical Framework for Temporal Deductive Databases. In F. Ban-cilhon and D. J. DeWitt, editors, Proceedings of the 14th International Conference on Very Large Data Bases, pages 171–182. Morgan Kaufmann, 1988.
S. M. Sripada. Efficient Implementation of the Event Calculus for Temporal Database Applications. In L. Sterling, editor, Proceedings of the 12th International Conference on Logic Programming, pages 99–113. MIT Press, 1995.
A. Steiner. A Generalisation Approach to Temporal Data Models and their Implementation. PhD thesis, Swiss Federal Institute of Technology, Zürich, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mareco, C.A., Bertossi, L. (1999). Specification and Implementation of Temporal Databases in a Bitemporal Event Calculus. In: Chen, P.P., Embley, D.W., Kouloumdjian, J., Liddle, S.W., Roddick, J.F. (eds) Advances in Conceptual Modeling. ER 1999. Lecture Notes in Computer Science, vol 1727. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48054-4_7
Download citation
DOI: https://doi.org/10.1007/3-540-48054-4_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66653-0
Online ISBN: 978-3-540-48054-9
eBook Packages: Springer Book Archive