SYSTEMS AND METHODS FOR PERFORMING TEMPORAL LOGIC QUERIES

Methods of performing temporal logic queries, and systems for performing temporal logic queries, are disclosed. Data associated with statistical reliability criteria are annotated in a data source. Baseline data stored in the data source is summarized. Temporal data requests made upon the data source are automatically merged with the data associated with the statistical reliability criteria, to produce a statistically valid data query. Data query results are optionally provided to a statistics module for processing of statistical analyses.