Mining, indexing, and querying historical spatiotemporal data | Synapse