{"id":"W2951247826","doi":"","title":"Efficient Consistency Proofs for Generalized Queries on a Committed Database.","year":2004,"lang":"en","type":"preprint","venue":"IACR Cryptology ePrint Archive","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematical proof; Computer science; Database; Range tree; View; Data structure; Range (aeronautics); Range query (database); Alias; Theoretical computer science; Protocol (science); Rectangle; Consistency (knowledge bases); Information retrieval; Mathematics; Database design; Web search query; Sargable; Tree structure; Programming language; Search engine; Interval tree","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006321688,0.0007865654,0.001072555,0.0005871836,0.000483392,0.0002234098,0.002805721,0.0004294242,0.00003670854],"category_scores_gemma":[0.0003602335,0.0007578805,0.0006580467,0.0002942288,0.0009000023,0.00008456358,0.004570498,0.001375043,0.00007437379],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001234137,"about_ca_system_score_gemma":0.0007933349,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001671486,"about_ca_topic_score_gemma":0.0002651593,"domain_scores_codex":[0.9951455,0.0004878719,0.0008826291,0.002095963,0.000435236,0.0009528247],"domain_scores_gemma":[0.9946793,0.0009106969,0.0005628359,0.003326636,0.0002177731,0.0003027757],"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.0002862046,0.0005932066,0.0001724358,0.000342466,0.0002175658,0.00007169831,0.001795735,0.004243746,0.0002689959,0.989054,0.001196141,0.001757754],"study_design_scores_gemma":[0.001781574,0.0002762316,0.001174915,0.000308986,0.00008437931,0.00005163643,0.00004374352,0.01993383,0.001114162,0.9700682,0.004317694,0.0008446104],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02784838,0.0004414895,0.9601834,0.00250851,0.001940239,0.0024868,0.00220426,0.0005355671,0.001851312],"genre_scores_gemma":[0.05751498,0.0001028203,0.9384854,0.001064535,0.0001938379,0.001234742,0.001356383,0.00004677229,5.685602e-7],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02966661,"threshold_uncertainty_score":0.9994872,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02770761102754235,"score_gpt":0.2841236627902481,"score_spread":0.2564160517627058,"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."}}