This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Spatio-Temporal Predicates
July/August 2002 (vol. 14 no. 4)
pp. 881-901

This paper investigates temporal changes of topological relationships and thereby integrates two important research areas: First, two-dimensional topological relationships that have been investigated quite intensively and, second, the change of spatial information over time. We investigate spatio-temporal predicates, which describe developments of well-known spatial topological relationships. A framework is developed in which spatio-temporal predicates can be obtained by temporal aggregation of elementary spatial predicates and sequential composition. We compare our framework with two other possible approaches: one is based on the observation that spatio-temporal objects correspond to three-dimensional spatial objects for which existing topological predicates can be exploited. The other approach is to consider possible transitions between spatial configurations. These considerations help to identify a canonical set of spatio-temporal predicates.

[1] J.F. Allen, “Maintaining Knowledge about Temporal Intervals,” Comm. ACM, vol. 26, no. 11, pp. 832–843, 1983.
[2] J. Allen, "Towards A General Theory of Action and Time," Artificial Intelligence, Vol. 23, No. 2, July 1984, pp. 123-154.
[3] A.D. Bimbo, E. Vicario, and D. Zingoni, “Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic,” IEEE Trans. Knowledge and Data Eng., vol. 7, no. 4, pp. 609-621, Aug. 1995.
[4] R.S. Bird, Introduction to Functional Programming Using Haskell. London, UK: Prentice-Hall Int'l, 1998.
[5] M.H. Böhlen, C.S. Jensen, and B. Skjellaug, “Spatio-Temporal Database Support for Legacy Applications,” Proc. ACM Symp. Applied Computing, pp. 226-234, 1998.
[6] T.S. Cheng and S. Gadia, “A Pattern Matching Language for Spatio-Temporal Databases,” Proc. Third Int'l Conf. Information and Knowledge Management, pp. 288-295, 1994.
[7] E. Clementini, D. Paolino, and P. Oosterom, “A Small Set of Formal Topological Relationships Suitable for End-User Interaction,” Advances in Spatial Databases, D.J. Abel and B.C. Ooi, eds., pp. 277-295, 1993.
[8] J. Clifford and A. Croker, “The Historical Relational Data Model (HRDM) Revisited,” Temporal Databases: Theory, Design, and Implementation, pp. 6-27, 1993.
[9] J. Clifford, A. Croker, and A. Tuzhilin, “On the Completeness of Query Languages for Grouped and Ungrouped Historical Data Models,” Temporal Databases: Theory, Design, and Implementation, pp. 496-533, 1993.
[10] Z. Cui, A.G. Cohn, and D.A. Randell, "Qualitative and Topological Relationships in Spatial Databases," D.J. Abel and B.C. Ooi, eds., Proc. SSD '93, Third Int'l Symp. Advances in Spatial Databases, Lecture Notes in Computer Science, vol. 692, pp. 296-315.Singapore: Springer-Verlag, 1993.
[11] M.J. Egenhofer, “Definitions of Line-Line Relations for Geographic Databases,” Proc. 16th Int'l Conf. Data Eng., pp. 40-46, 1993.
[12] M.J. Egenhofer and K. Al-Taha, "Reasoning about Gradual Changes of Topological Relationships," A.U. Frank, I. Campari, and U. Formentini, eds., Theories and Models of Spatio-Temporal Reasoning in Geographic Space, Lecture Notes in Computer Science, vol. 639, pp. 196-219.Berlin: Springer-Verlag, 1992.
[13] M.J. Egenhofer and R.D. Franzosa, “Point-Set Topological Spatial Relations,” Int'l J. Geographical Information Systems, vol. 5, no. 2, pp. 161-174, 1991.
[14] M.J. Egenhofer and D. Mark, “Modeling Conceptual Neighborhoods of Topological Line-Region Relations,” Int'l J. Geographical Information Systems, vol. 9, no. 5, pp. 555-565, 1995.
[15] M. Erwig, R.H. Güting, M. Schneider, and M. Vazirgiannis, “Abstract and Discrete Modeling of Spatio-Temporal Data Types,” Proc. Sixth ACM Int'l Symp. Advances in Geographic Information Systems, pp. 131-136, 1998.
[16] M. Erwig, R.H. Goting, M. Schneider, and M. Vazirgiannis, “Spatio-Temporal Data Types: An Approach to Modeling and Querying Moving Objects in Databases,” GeoInformatica, vol. 3, no. 3, 1999.
[17] M. Erwig and V. Meyer, "Heterogeneous Visual Languages—Integrating Visual and Textual Programming," V. Haarslev, ed., Proc. IEEE Symp. Visual Languages, Sept. 1995.
[18] M. Erwig and M. Schneider, “Developments in Spatio-Temporal Query Languages,” Proc. IEEE Int'l Workshop Spatio-Temporal Data Models and Languages, pp. 441-449, 1999.
[19] M. Erwig and M. Schneider, “The Honeycomb Model of Spatio-Temporal Partitions,” Proc. Int'l Workshop Spatio-Temporal Database Management, pp. 39-59, 1999.
[20] M. Erwig and M. Schneider, “Visual Specifications of Spatio-Temporal Developments,” Proc. 15th IEEE Symp. Visual Languages, pp. 187-188, 1999.
[21] M. Erwig and M. Schneider, “Query-By-Trace: Visual Predicate Specification in Spatio-Temporal Databases,” Proc. Fifth Int'l Federation for Information Processing Conf. Visual Databases, 2000.
[22] M. Erwig, M. Schneider, and R. H. Güting, “Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations,” Proc. Int'l Workshop Advances in Database Technologies, pp. 454-465, 1998.
[23] S. Gaal, Point Set Topology. Academic Press, 1964.
[24] S.K. Gadia and S.S. Nair, “Temporal Databases: A Prelude to Parametric Data,” Temporal Databases: Theory, Design, and Implementation, pp. 28-66, 1993.
[25] A. Galton, “Towards a Qualitative Theory of Movement,” Proc. Second Int'l Conf. Spatial Information Theory, pp. 377-396, 1995.
[26] A. Galton, “Continuous Change in Spatial Regions,” Proc. Third Int'l Conf. Spatial Information Theory (COSIT), pp. 1–13, 1997.
[27] S. Grumbach, P. Rigaux, and L. Segoufin, Spatio-Temporal Data Handling with Constraints Proc. ACM Symp. Geographic Information Systems, Nov. 1998.
[28] R.H. Gueting, “Geo-Relational Algebra: A Model and Query Language for Geometric Database System,” Proc. Int'l Conf. Extending Database Technology, J.W. Schmidt, S. Ceri and M. Missikoff, eds., pp. 506-527, 1988.
[29] R.H. Güting et al., “A Foundation for Representing and Querying Moving Objects,” ACM Trans. Database Systems, vol. 25, no. 1, pp. 1-42, 2000.
[30] R.H. Gueting and M. Schneider, "Realm-Based Spatial Data Types: The ROSE Algebra," VLDB J., vol. 4, no. 2, pp. 243-286, 1995.
[31] J. Renz and B. Nebel, “On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus,” Artificial Intelligence, vol. 108, nos. 1-2, pp. 69-123, 1999.
[32] M. Schneider, Spatial Data Types for Database Systems—Finite Resolution Geometry for Geographic Information Systems. Springer-Verlag, 1997.
[33] M. Scholl and A. Voisard, “Thematic Map Modeling,” Proc. First Int'l Symp. Large Spatial Databases, pp. 167-190, 1989.
[34] A. Segev and A. Shoshani, “A Temporal Data Model Based on Time Sequences” Temporal Databases: Theory, Design, and Implementation, pp. 248-270, 1993.
[35] M. Stonebraker, “Inclusion of New Types in Relational Data Base Systems,” Proc. Int'l Conf. Data Eng., pp. 262-269, 1986.
[36] M. Stonebraker, B. Rubenstein, and A. Guttman, “Application of Abstract Data Types and Abstract Indices to CAD Data Bases,” Proc. ACM/IEEE Conf. Eng. Design Applications, pp. 107-113, 1983.
[37] P. Svensson, "GEO-SAL: A Query Language for Spatial Data Analysis," Proc. Int'l Symp. Advances in Spatial Databases, Lecture Notes in Computer Science 525, pp. 119-140, 1991.
[38] A. Tansel et al. Temporal Databases: Theory, Design, and Implementation. Database Systems and Applications Series, Benjamin/Cummings, 1993.
[39] Y. Theodoridis, T. Sellis, A.N. Papadopoulos, and Y. Manolopoulos, Specifications for Efficient Indexing in Spatiotemporal Databases Proc. 11th Int'l Conf. Scientific and Statistical Database Management, 1999.
[40] R.B. Tilove, “Set Membership Classification: A Unified Approach to Geometric Intersection Problems,” IEEE Trans. Computers, vol. 29, pp. 874-883, 1980.
[41] M.F. Worboys, “A Unified Model for Spatial and Temporal Information,” The Computer J., vol. 37, no. 1, pp. 25-34, 1994.
[42] T.S. Yeh and B. de Cambray, “Time as a Geometric Dimension for Modeling the Evolution of Entities: A 3D Approach,” Proc. Int'l Conf. Integrating GIS and Environmental Modeling, 1993.
[43] T.S. Yeh and B. de Cambray, “Modeling Highly Variable Spatio-Temporal Data,” Proc. Sixth AustraliAsian Database Conf., pp. 221-230, 1995.

Index Terms:
Time in geographic information, spatio-temporal data types, representation of spatio-temporal objects, changes of spatial predicates, developments of spatial objects.
Citation:
Martin Erwig, Markus Schneider, "Spatio-Temporal Predicates," IEEE Transactions on Knowledge and Data Engineering, vol. 14, no. 4, pp. 881-901, July-Aug. 2002, doi:10.1109/TKDE.2002.1019220
Usage of this product signifies your acceptance of the Terms of Use.