A Linear Temporal Logic Model for Topological Relationships between Moving Regions
Mark M. McKenney · 2017
We introduce a mechanism to express spatiotemporal topological predicates over moving regions using Linear Temporal Logic. The mechanism allows for the expression of movement constraints among sets of moving regions in database systems, and the expression of topological predicates over moving regions for querying purposes. Because we build our mechanism over topological relationships between non-moving regions, the idea can be extended to any spatial types for which topological relationships are defined.