Towards a general theory of action and time
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
Support for temporal data by complex objects
Proceedings of the sixteenth international conference on Very large databases
Database updates in the event calculus
Journal of Logic Programming
Temporal databases: theory, design, and implementation
Temporal databases: theory, design, and implementation
A consensus glossary of temporal database concepts
ACM SIGMOD Record
The situation calculus and event calculus compared
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Maintaining knowledge about temporal intervals
Communications of the ACM
Time Structures: Formal Description and Algorithmic Representation
Time Structures: Formal Description and Algorithmic Representation
Temporal Databases: Research and Practice
Temporal Databases: Research and Practice
Building a Deductive Database
A Logic Programming Framework for Modeling Temporal Objects
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
A Formal Temporal Object-Oriented Data Model
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
Managing Time in GIS: An Event-Oriented Approach
Proceedings of the International Workshop on Temporal Databases: Recent Advances in Temporal Databases
Hi-index | 0.00 |
In our approach, the Event Calculus is used to provide a formalism that avoids the question of object timestamping by not applying time to objects. Rather, temporal behavior is reflected in events, which bring about changes in objects. Previous applications of the Event Calculus in databases are considered. An extension of the formalism to a fully bitemporal model is demonstrated. These extensions and the Object Event Calculus (OEC) form a framework for approaching temporal issues in object-oriented systems. Practical application issues as well as formal theory are described.Current GISes will support areal calculations on geographic objects, and can also describe topological relations between them. However, they lack the ability to extrapolate from historical data. The sufficiency of the temporal GIS model to support inventory, updates, quality control and display is demonstrated. Follow-up and further extensions and areas of exploration are presented at the conclusion.