Querying and mining of time series data | Synapse