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.
Οι μέθοδοι τις χρονικές ερωτήσεις λογικής, και τα συστήματα για τις χρονικές ερωτήσεις λογικής, αποκαλύπτονται. Τα στοιχεία που συνδέονται με τα στατιστικά κριτήρια αξιοπιστίας σχολιάζονται σε μια πηγή στοιχείων. Το στοιχείο βασικών γραμμών που αποθηκεύεται στην πηγή στοιχείων συνοψίζεται. Τα χρονικά αιτήματα στοιχείων που υποβάλλονται επάνω στην πηγή στοιχείων συγχωνεύονται αυτόματα με τα στοιχεία που συνδέονται με τα στατιστικά κριτήρια αξιοπιστίας, για να παραγάγουν μια στατιστικά έγκυρη ερώτηση στοιχείων. Τα στοιχεία ρωτούν ότι τα αποτελέσματα παρέχονται προαιρετικά σε μια ενότητα στατιστικών για την επεξεργασία των στατιστικών αναλύσεων.
