A logic-based calculus of events
New Generation Computing
Computer
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Database updates in the event calculus
Journal of Logic Programming
The TSQL2 Temporal Query Language
The TSQL2 Temporal Query Language
Temporal Specialization and Generalization
IEEE Transactions on Knowledge and Data Engineering
Integrity Checking in Deductive Databases
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
A logical framework for temporal deductive databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Prediction is deduction but explanation is abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |
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.