{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009620759,0.001559027,0.001451128,0.002123609,0.001803024,0.006583423,0.0049217,0.002207474,0.006667248],"category_scores_gemma":[0.04159945,0.001864477,0.005116241,0.001536093,0.005740757,0.01102197,0.007244816,0.00544017,0.001529379],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002834146,"about_ca_system_score_gemma":0.005908461,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009136915,"about_ca_topic_score_gemma":0.007550788,"domain_scores_codex":[0.9815766,0.004104126,0.001952761,0.00267559,0.007969209,0.001721719],"domain_scores_gemma":[0.9605822,0.02481364,0.001839366,0.007014303,0.00524446,0.0005059699],"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.0005113912,0.0005603297,0.01134485,0.001627277,0.0006203646,0.001806612,0.002293486,0.08297489,0.03439479,0.7164148,0.02157189,0.1258793],"study_design_scores_gemma":[0.0002556006,0.0002368245,0.001539903,0.0002332911,0.0004003319,0.0007648033,0.0006493999,0.4213871,0.07712004,0.4757528,0.02147494,0.0001850392],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01645187,0.0002028028,0.9679319,0.0006832114,0.0001454263,0.0001726794,0.0007707886,0.01075235,0.00288898],"genre_scores_gemma":[0.4154207,0.0005165492,0.5690331,0.002180327,0.0004536199,0.0004817836,0.00407345,0.004085162,0.003755335],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009620759,"threshold_uncertainty_score":0.05088001,"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."}}