{"id":"W2503947316","doi":"10.1145/3062341.3062348","title":"HoTTSQL: proving query rewrites with univalent SQL semantics","year":2017,"lang":"en","type":"preprint","venue":"","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":59,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Defense Advanced Research Projects Agency; Alberta Innovates - Technology Futures; U.S. Department of Energy; National Science Foundation","keywords":"Computer science; SQL; Query optimization; Programming language; Query language; Conjunctive query; Query by Example; Sargable; Spatial query; Tuple; Database; Theoretical computer science; Relational database; Information retrieval; Web search query; Mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003261296,0.0003974033,0.0004798751,0.0001163964,0.000322851,0.0004616374,0.001504738,0.0001661599,0.000009611987],"category_scores_gemma":[0.00007072289,0.0002873271,0.00009363303,0.00006860012,0.0001335257,0.0008443995,0.00353624,0.0005087204,0.00002963447],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006849963,"about_ca_system_score_gemma":0.000426497,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000739152,"about_ca_topic_score_gemma":0.0004387453,"domain_scores_codex":[0.9978086,0.00006260012,0.0003379103,0.0009460669,0.0004474875,0.0003973082],"domain_scores_gemma":[0.9956787,0.00006950439,0.000498872,0.003401804,0.0002185333,0.0001326362],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002575088,0.0001434979,0.00377604,0.002049483,0.0001869461,0.0005258861,0.001081423,0.001223255,0.0002569682,0.9595796,0.005343265,0.02580787],"study_design_scores_gemma":[0.001914744,0.0006879895,0.006876076,0.01282444,0.0001813959,0.0006254956,0.0007866629,0.1105261,0.00976373,0.01997119,0.8291105,0.006731704],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001978195,0.0003881186,0.9845567,0.001144688,0.00086502,0.000539088,0.00004149447,0.000513951,0.00997274],"genre_scores_gemma":[0.09078437,0.0002882418,0.8969237,0.0001527267,0.0004174045,0.00008562241,0.0000660507,0.0000561965,0.01122573],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9396084,"threshold_uncertainty_score":0.9999579,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02431601265766373,"score_gpt":0.2649466878078302,"score_spread":0.2406306751501665,"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."}}