A visual language for the evolution of spatial relationships and its translation into a spatio-temporal calculus

Queries about objects that change their spatial attributes over time become particularly interesting when they ask for changes in the spatial relationships between different objects. We propose a visual notation that is able to describe scenarios of changing object relationships. The visual language is based on the idea to analyze two-dimensional traces of moving objects to infer a temporal development of their mutual spatial relationships. We motivate the language design by successively simplifying object traces to their intrinsic properties. The notation can be effectively translated into a calculus of spatio-temporal predicates that formally characterizes the evolution of spatial relationships. We also outline a user interface that supports specifications by menus and a drawing editor. The visual notation can be used directly as a visual query interface to spatio-temporal databases, or it can provide predicate specifications that can be integrated into textual query languages leading to heterogeneous languages.

[1]  Tsin-Shu Yeh,et al.  Modeling Highly Variable Spatio-Temporal Data , 1995, Australasian Database Conference.

[2]  Arie Shoshani,et al.  A Temporal Data Model Based on Time Sequences , 1993, Temporal Databases.

[3]  Markus Schneider,et al.  A foundation for representing and querying moving objects , 2000, TODS.

[4]  MAX J. EGENHOFER,et al.  Point Set Topological Relations , 1991, Int. J. Geogr. Inf. Sci..

[5]  M. Egenhofer,et al.  Point-Set Topological Spatial Relations , 2001 .

[6]  Martin Erwig,et al.  Heterogeneous visual languages-integrating visual and textual programming , 1995, Proceedings of Symposium on Visual Languages.

[7]  Michael Stonebraker,et al.  Application of Abstract Data Types and Abstract Indices to CAD Data Bases , 1986, Engineering Design Applications.

[8]  James F. Allen Towards a General Theory of Action and Time , 1984, Artif. Intell..

[9]  Markus Schneider,et al.  Visual specification of spatio-temporal developments , 1999, Proceedings 1999 IEEE Symposium on Visual Languages.

[10]  Y. C. Lee,et al.  An Iconic Query Language for Topological Relationships in GIS , 1995, Int. J. Geogr. Inf. Sci..

[11]  Antony Galton,et al.  Towards a Qualitative Theory of Movement , 1995, COSIT.

[12]  M. J. Enenhofer Spatial-Query-by-Sketch , 1996, Proceedings 1996 IEEE Symposium on Visual Languages.

[13]  Markus Schneider,et al.  Developments in spatio-temporal query languages , 1999, Proceedings. Tenth International Workshop on Database and Expert Systems Applications. DEXA 99.

[14]  Markus Schneider,et al.  Query-By-Trace: Visual Predicate Specification in Spatio-Temporal Databases , 2000, VDB.

[15]  Bernd Meyer Pictorial deduction in spatial information systems , 1994, Proceedings of 1994 IEEE Symposium on Visual Languages.

[16]  Alberto Del Bimbo,et al.  Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic , 1995, IEEE Trans. Knowl. Data Eng..

[17]  Christian S. Jensen,et al.  Spatio-temporal database support for legacy applications , 1998, SAC '98.

[18]  Ralf Hartmut Güting,et al.  Spatio-Temporal Data Types: An Approach to Modeling and Querying Moving Objects in Databases , 1999, GeoInformatica.

[19]  Michel Mainguenaud,et al.  Cigales, a Visual Query Language for a Geographical Information System: the User Interface , 1994, J. Vis. Lang. Comput..

[20]  Marie-Aude Aufaure-Portier A High Level Interface Language for GIS , 1995 .

[21]  Markus Schneider,et al.  Spatio-Temporal Predicates , 2002, IEEE Trans. Knowl. Data Eng..

[22]  Andreas Dieberger International Conference on Spatial Information Theory , 1995, LINK.

[23]  Michael F. Worboys,et al.  A Unified Model for Spatial and Temporal Information , 1994, Comput. J..

[24]  Ralf Hartmut Güting,et al.  Abstract and discrete modeling of spatio-temporal data types , 1998, GIS '98.

[25]  Shashi K. Gadia,et al.  Temporal Databases: A Prelude to Parametric Data , 1993, Temporal Databases.

[26]  Tsz S. Cheng,et al.  A pattern matching language for spatio-temporal databases , 1994, CIKM '94.

[27]  Ralf Hartmut Güting,et al.  Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations , 1998, ER Workshops.

[28]  Volker Haarslev,et al.  VISCO: bringing visual spatial querying to reality , 1998, Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254).

[29]  Masahito Hirakawa,et al.  An image database system facilitating icon-driven spatial information definition and retrieval , 1991, Proceedings 1991 IEEE Workshop on Visual Languages.

[30]  Michael Stonebraker,et al.  Inclusion of new types in relational data base systems , 1986, 1986 IEEE Second International Conference on Data Engineering.

[31]  Anthony G. Cohn,et al.  Qualitative and Topological Relationships in Spatial Databases , 1993, SSD.

[32]  Shi-Kuo Chang,et al.  Image sequence compression by iconic indexing , 1989, [Proceedings] 1989 IEEE Workshop on Visual Languages.

[33]  Peter C. Lockemann,et al.  A Semantic Network Based Deductive Database System for Image Sequence Evaluation , 1991, VDB.