{"id":"W2953181121","doi":"10.1145/3140587.3062348","title":"HoTTSQL: proving query rewrites with univalent SQL semantics","year":2017,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":23,"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; Undecidable problem; Tuple; Null (SQL); Database; Theoretical computer science; Decidability; Relational database; Information retrieval; Web search query; Mathematics; Discrete 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":[],"consensus_categories":[],"category_scores_codex":[0.0002374403,0.0001939826,0.000225997,0.00005909186,0.0006727945,0.0004341943,0.001720553,0.00004782054,0.000006306486],"category_scores_gemma":[0.000371356,0.000142988,0.00003381027,0.00007106595,0.0001439771,0.002137587,0.0008317932,0.0001386125,0.0000418548],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001988449,"about_ca_system_score_gemma":0.00007646748,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003289742,"about_ca_topic_score_gemma":0.0004893783,"domain_scores_codex":[0.9986675,0.00004137713,0.0002011692,0.0004421581,0.0003096389,0.000338136],"domain_scores_gemma":[0.9966364,0.0002160283,0.0003507975,0.002602286,0.00009081487,0.0001036636],"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.0001601083,0.0003449613,0.1866436,0.001331634,0.0002794475,0.001629384,0.005677477,0.0007466878,0.005875223,0.7120877,0.005146126,0.08007769],"study_design_scores_gemma":[0.004404003,0.001977737,0.2370141,0.004230317,0.0002295206,0.0005433786,0.003281021,0.03754807,0.04074556,0.00619025,0.6588828,0.004953253],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.512901,0.0009604167,0.4614033,0.009300852,0.0019318,0.00103836,0.0001175871,0.001036562,0.01131014],"genre_scores_gemma":[0.8049952,0.0000303445,0.1940191,0.0001136837,0.0001846765,0.00001100283,0.00000973529,0.00001724532,0.0006189373],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7058974,"threshold_uncertainty_score":0.583088,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02599575075013483,"score_gpt":0.2683679918576917,"score_spread":0.2423722411075568,"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."}}