Abstraction and specification in program development
Abstraction and specification in program development
Object orientation: concepts, languages, databases, user interfaces
Object orientation: concepts, languages, databases, user interfaces
Categories and computer science
Categories and computer science
Temporal object-oriented databases: a critical comparison
Modern database systems
Algebra of programming
Specification of abstract data types
Specification of abstract data types
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Communications of the ACM
The Haskell: The Craft of Functional Programming
The Haskell: The Craft of Functional Programming
Introduction to Functional Programming
Introduction to Functional Programming
Qualitative Representation of Change
COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS
Specifying Open GIS with Functional Languages
SSD '95 Proceedings of the 4th International Symposium on Advances in Spatial Databases
Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
GIS: A Computing Perspective, 2nd Edition
GIS: A Computing Perspective, 2nd Edition
Spatio-temporal evolution as bigraph dynamics
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
Hi-index | 0.00 |
This paper proposes a unified formal environment for spatiotemporal databases and modeling the change in identity of objects. The real world is represented as a set of snapshots consisting of identifiable objects and relations among objects. A database needs transaction time for the consistent management of temporal links among identifiers. Four basic operations affecting object identity are proposed: create, destroy, suspend, and resume. Their compositions are either applicable on a single object (evolve), or on a group of objects (constructive and weak fusion, fission, aggregate and segregate). These operations build a finite set of identity affecting operations - lifestyles. Executable algebraic specifications, written in the functional programming language Haskell, are provided both for the database model and for lifestyles. The specifications of typical lifestyles can be re-used for various application domains.