{"id":"W2139714950","doi":"10.1023/a:1016524013831","title":"Hypothetical Temporal Reasoning in Databases","year":2002,"lang":"en","type":"article","venue":"Journal of Intelligent Information Systems","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Predicate (mathematical logic); Data integrity; Relational database; Temporal database; Database schema; Temporal logic; Programming language; Database; Theoretical computer science; State (computer science); Database theory; Database design; Information retrieval","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007634674,0.000438833,0.000781575,0.002190855,0.002604711,0.007861656,0.002446954,0.003025445,0.00978213],"category_scores_gemma":[0.03877252,0.0009466606,0.001620179,0.002639891,0.006314681,0.01993454,0.002658244,0.00350864,0.00105668],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002691361,"about_ca_system_score_gemma":0.0015775,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003221443,"about_ca_topic_score_gemma":0.002485164,"domain_scores_codex":[0.994727,0.002927671,0.0005065664,0.0006201794,0.0009788275,0.0002397933],"domain_scores_gemma":[0.9788507,0.01602021,0.0007196212,0.002372983,0.001499804,0.0005367841],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007922784,0.00003443048,0.0003377879,0.00006773524,0.0000183077,0.00008988485,0.0002833691,0.003082256,0.0001572529,0.9853054,0.001779532,0.008764882],"study_design_scores_gemma":[0.00001705477,0.000005358314,0.00005146113,0.00001388025,0.00001219911,0.00005457475,0.00008245242,0.01167576,0.00016107,0.9854929,0.002426626,0.000006508142],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08828324,0.006924246,0.798193,0.02225874,0.0006626588,0.0001891887,0.0008858475,0.0007036749,0.08189943],"genre_scores_gemma":[0.8021438,0.00268597,0.1839863,0.0009936374,0.0006360197,0.0001290368,0.001006914,0.00007513999,0.008343234],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00978213,"threshold_uncertainty_score":0.04037648,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04761731362541245,"score_gpt":0.2615235239113944,"score_spread":0.2139062102859819,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}