Specification and implementation of temporal databases in a bitemporal event calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1727, Issue , 1999, Pages 74-85

  Mareco, Carlos A ^a   Bertossi, Leopoldo ^a  

^a PONTIFICIA UNIVERSIDAD CATÓLICA DE CHILE   (Chile)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; DATA MINING; DATABASE SYSTEMS; INFORMATION SYSTEMS; LOGIC PROGRAMMING; REVERSE ENGINEERING; WORLD WIDE WEB;

CONSISTENCY CHECKING; EVENT CALCULUS; INTEGRITY CONSTRAINTS; TEMPORAL DATABASE; TRANSACTION TIME; UPDATE TRANSACTION;

INFORMATION MANAGEMENT;

EID: 84958679340     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48054-4_7     Document Type: Conference Paper

References (20)

1. M. Böhlen. Managing Temporal Knowledge in Deductive Databases. PhD thesis, Swiss Federal Institute of Technology Ziirich, 1994
2. L. Chittaro and A. Montanari. Efficient Temporal Reasoning in the Cached Event Calculus. Computational Intelligence, 12(3):359-382, 1996
3. 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
4. C. Jensen and R. Snodgrass. Temporal Specialization and Generalization. IEEE Th-ansactions on Knowledge and Data Engineering, 6(6):954-975, December 1994
5. 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
6. R. Kowalski. Database Updates in the Event Calculus. Journal of Logic Programming, 12(162):121-146, 1992
7. R. Kowalski, F. Sadri, and P. Soper. Integrity Checking in Deductive Databases. In Proceedings of the 13th International Conference on Very Large Databases, 1987
8. R. Kowalski and M. Sergot. A Logic-Based Calculus of Events. New Generation Computing, 4:67-95, 1986
9. J. Lloyd. Foundations of Logic Programming. Springer Verlag, 1987
10. C. A. Mareco. Especificacion e Implementacion de Bases de Dates Temporales en un Calculo de Eventos Extendido. Master's thesis, Departamento de Ciencia de la Computacion. Pontificia Universidad Catolica de Chile, 1999
11. J.-M. Nicolas. Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica, 18:227-253, 1982
12. 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
13. M. Shanahan. Prediction is Deduction but Explanation is Abduction. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 1055- 1060, 1989
14. R. Snodgrass. An Overview of TQuel. In Tansel et al., editors, Temporal Databases. Benjamin/Cummings, 1993
15. R. Snodgrass, editor. The TSQL2 Temporal Query Language. Kluwer Academic Publishers, 1995
16. R. Snodgrass and I. Ahn. Temporal Databases. IEEE Computer, pages 35-42, September 1986
17. R. Snodgrass, M. Bohlen, 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
18. S. M. Sripada. A Logical Framework for Temporal Deductive Databases. In P. Bancilhon and D. J. DeWitt, editors, Proceedings of the 14th International Conference on Very Large Data Bases, pages 171-182. Morgan Kaufmann, 1988
19. 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
20. A. Steiner. A Generalisation Approach to Temporal Data Models and their Implementation. PhD thesis, Swiss Federal Institute of Technology, Ziirich, 1998.