Spatio-temporal predicates
IEEE Transactions on Knowledge and Data EngineeringPublished 1 July 2002
Martin Erwig, Markus Schneider
Citations158
SJR quartileQ1
SJR score2.57
SNIP3.30
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
A framework is developed in which spatio-temporal predicates can be obtained by temporal aggregation of elementary spatial predicates and sequential composition, and two approaches are considered to consider possible transitions between spatial configurations.
Abstract
Investigates temporal changes of topological relationships and thereby integrates two important research areas: first, 2D 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 3D 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.
Keywords
Computer ScienceSocial Sciences
Communications of the ACMMaintaining knowledge about temporal intervals
7,550 Citations1983James F. Allen
An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation, which is notable in offering a delicate balance between space and time.
Artificial IntelligenceTowards a general theory of action and time
2,562 Citations1984James F. Allen
A formalism for reasoning about actions that is based on a temporal logic allows a much wider range of actions to be described than with previous approaches such as the situation calculus and a framework for planning in a dynamic world with external events and multiple agents is suggested.
International Journal of Geographical Information SystemsPoint-set topological spatial relations
1,651 Citations1991Max J. Egenhofer, Robert Franzosa
A novel theory of topological spatial relations between sets is developed in which the relations are defined in terms of the intersections of the boundaries and interiors of two sets, and it is shown that these relations correspond to some of the standard set theoretical andTopological spatial Relations between sets such as equality, disjointness and containment in the interior.
ACM Transactions on Database SystemsA foundation for representing and querying moving objects
756 Citations2000Ralf Hartmut Güting, Michael H. Böhlen +5 more
The paper formally defines the types and operations, offers detailed insight into the considerations that went into the design, and exemplifies the use of the abstract data types using SQL.
Oxford University Research Archive (ORA) (University of Oxford)Introduction to functional programming
687 Citations1988Richard Bird
This is a thorough introduction to the fundamental concepts of functional programming that includes a simple, yet coherent treatment of the Haskell class; a calculus of time complexity; and new coverage of monadic input-output.
Lecture notes in computer scienceA small set of formal topological relationships suitable for end-user interaction
503 Citations1993Eliseo Clementini, Paolino Di Felice +1 more
The first method is an extension of the geometric point-set approach by taking the dimension of the intersections into account, which results in a very large number of different topological relationships for point, line, and area features.
Oxford University Research Archive (ORA) (University of Oxford)Introduction to Functional Programming using Haskell
411 Citations1998Richard Bird
1. Fundamental concepts, 2. Simple Datatypes, 3. Lists, 4. Monads and Interaction, 5. Examples.
GeoInformaticaSpatio-Temporal Data Types: An Approach to Modeling and Querying Moving Objects in Databases
384 Citations1999Martin Erwig, Ralf Hartmut Gu ̈ting +2 more
This paper proposes a new line of research where moving points and moving regions are viewed as 3-D (2-D space+time) or higher-dimensional entities whose structure and behavior is captured by modeling them as abstract data types.
The Computer JournalA Unified Model for Spatial and Temporal Information
356 Citations1994Mike Worboys
A unified generic model for information which is referenced to two spatial dimensions and two temporal dimensions (database and event times) is discussed.
Lecture notes in computer scienceReasoning about gradual changes of topological relationships
336 Citations1992Max J. Egenhofer, Khaled K. Al-Taha
This model describes a partial order over topological relationships and provides a measure to assess how far two relationships are apart from each other and provides answers to three kinds of qualitative space-time inferences.
IEEE Transactions on ComputersSet Membership Classification: A Unified Approach to Geometric Intersection Problems
294 Citations1980Tilove
The VLDB JournalRealm-based spatial data types: The ROSE algebra
209 Citations1995Ralf Hartmut Güting, Markus Schneider
The ROSE algebra is described within a polymorphic type system and interacts with a DMBS data model and query language through an abstractobject model interface and an example integration of ROSE into the object-oriented data model O2 and its query language is presented.
Inclusion of new types in relational data base systems
189 Citations1986Michael Stonebraker
This paper explores a mechanism to support user-defined data types for columns in a relational data base system to suggest ways to allow query optimization on commands which include new data types and operators and ways to allowed access methods to be used for new datatypes.
Lecture notes in computer scienceGeo-relational algebra: A model and query language for geometric database systems
172 Citations1988Ralf Hartmut Güting
The user's conceptual model of a database system for geometric data should be simple and precise, easy to learn and understand, with clearly defined semantics, and efficiently implementable.
Lecture notes in computer scienceQualitative and topological relationships in spatial databases
155 Citations1993Zhanfeng Cui, Anthony G. Cohn +1 more
A spatial logic which can be used to reason about topological and spatial relationships among objects in spatial databases is presented and how the formalism can be extended to include orientation and metrical information is shown.
IEEE Transactions on Knowledge and Data EngineeringSymbolic description and visual querying of image sequences using spatio-temporal logic
142 Citations1995Alberto Del Bimbo, Enrico Vicario +1 more
International Journal of Geographical Information SystemsModelling conceptual neighbourhoods of topological line-region relations
136 Citations1995Max J. Egenhofer, David Mark
The groupings the subjects made indicate that the smooth-transition model captures more important aspects of the similarity of topological line-region relations than the snapshot model.
Specifications for efficient indexing in spatiotemporal databases
123 Citations2002Yannis Theodoridis, Timos Sellis +2 more
The basic specifications such a spatiotemporal index structure should follow are introduced, existing proposals with respect to the above specifications are evaluated, and issues of interest involving object representation, query processing, and index maintenance are illustrated.
Lecture notes in computer scienceSpatial Data Types for Database Systems
110 Citations1997Markus Schneider
Lecture notes in computer scienceThematic map modeling
92 Citations1990Micheł Scholl, Agnès Voisard
The model presented here is a first step toward a high level spatial query language adapted to the manipulation of thematic maps and provides the designer of geographic databases with a database query language extensible and customizable.
Abstract and discrete modeling of spatio-temporal data types
88 Citations1998Martin Erwig, Ralf Hartmut Güting +2 more
This paper presents a meta-modelling framework for discrete modeling of spatially-temporal data types and some examples show how this model can be modified for discrete-time data types.
Spatial Data Types for Database Systems: Finite Resolution Geometry for Geographic Information Systems
87 Citations1997Markus Schneider
The ROSE algebra is used as a foundation for spatial data types in database systems to implement Realm system and ROSE system and to implement efficient algorithms for realm-based spatialData types.
Developments in spatio-temporal query languages
85 Citations1999Martin Erwig, Markus Schneider
Based on a definition of the notion of spatio-temporal predicate, a framework is provided which allows to build more and more complex predicates starting with a small set of elementary ones which can be well used to characterize developments.
Lecture notes in computer scienceTowards a qualitative theory of movement
79 Citations1995Antony Galton
By attending closely to the constraints imposed by continuity on the temporal behaviour of different fluents the authors develop theory of dominance, which enables us to generate ab initio the perturbation relation on the full set of positional relations.
Heterogeneous visual languages-integrating visual and textual programming
60 Citations2002M. Erwig, Bernd Meyer
In addition to a basic framework for heterogeneous languages, this work outlines the design of a development system that allows rapid prototyping of implementations of heterogeneous Languages from the domains of logical, functional and procedural languages.
Spatio-temporal data handling with constraints
59 Citations1998Stéphane Grumbach, Philippe Rigaux +1 more
This paper presents a data model, based on linear constraints, dedicated to the representation and manipulation of multidimensional data, and restricts the orthographic dimension of an object O, defined as the dimension of the components O1, On such that O=O1×...× On.
Lecture notes in computer scienceGeo-SAL: A query language for spatial data analysis
57 Citations1991Per Svensson, Zhexue Huang
This chapter discusses query languages, which focus on the retrieval and modification of data from a database to a user or a host program.
Spatio-temporal database support for legacy applications
50 Citations1998Michael H. Böhlen, Christian S. Jensen +1 more
This paper initially defines technical requirements to a spatio-temporal DBMS aimed at protecting business investments in the existing legacy applications and at reusing personnel expertise, which provide a foundation for making it economically feasible to migrate legacy applications from a relational DBMS.
A pattern matching language for spatio-temporal databases
37 Citations1994Tsz Shing Cheng, Shashi K. Gadia
The concept of pattern matching introduced in this paper is independent of the choice of the underlying model for spatio-temporal databases, and in particular, the pattern matching language seamlessly extends the authors' SQL-like query language ParaSQL for spatial databases.
Query-by-Trace: Visual Predicate Specification in Spatio-Temporal Databases
35 Citations2000Martin Erwig, Markus Schneider
A preliminary user interface that supports the specification of predicates to be used in queries on spatio-temporal databases on an intuitive and easily manageable level is outlined and the design of the underlying visual language is described.
Modeling Highly Variable Spatio-Temporal Data.
29 Citations1995Tsin-Shu Yeh, Béatrix de Cambray
A new approach to represent and to manipulate highly variable spatio-temporal data of the real world is proposed, and queries on highly variable data are solved by using geometric algorithm techniques on the geometric representation.
Lecture notes in computer scienceContinuous change in spatial regions
27 Citations1997Antony Galton
This paper applies different forms of continuity within the context of the great variety of types of spatial change by definining different measures of separation between regions, such that different changes may be continuous with respect to different selections from this set of measures.
Lecture notes in computer scienceThe Honeycomb Model of Spatio-Temporal Partitions
25 Citations1999Martin Erwig, Markus Schneider
A formal model of spatio-temporal partitions is defined which can be used to model temporally changing maps and investigates new applications and generalizations of operations that are well-known for static spatial maps.
Lecture notes in computer scienceTemporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations
21 Citations1999Martin Erwig, Markus Schneider +1 more
A anew approach to temporal data modeling based on the very general notion of temporal object is presented and the database embedding of temporal objects by means of the abstract data type (ADT) approach is proposed.
Visual specification of spatio-temporal developments
15 Citations1999Martin Erwig, Markus Schneider
A visual language for the specification of temporally changing spatial situations by representing spatio-temporal objects in a two-dimensional way by their trace that can be used, for example, to query spatiotemporal databases.
Wiley Encyclopedia of Computer Science and EngineeringTemporal Databases
14 Citations2008Abdullah Uz Tansel