{"id":"W4396214235","doi":"10.1145/3649849","title":"VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints","year":2024,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Data integrity; Computer science; Equivalence (formal languages); Bounded function; SQL; Programming language; Database; Theoretical computer science; Mathematics; Discrete mathematics","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":[],"consensus_categories":[],"category_scores_codex":[0.0003832025,0.0001751321,0.0001939436,0.00006486061,0.0001845333,0.0002556441,0.001226126,0.00004809421,0.000004094885],"category_scores_gemma":[0.0007044028,0.0001081909,0.00007697839,0.0003685145,0.000405041,0.0006702337,0.00038564,0.0001754735,0.000002746149],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004383339,"about_ca_system_score_gemma":0.00006666704,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002932287,"about_ca_topic_score_gemma":0.000006756575,"domain_scores_codex":[0.9987948,0.000008107409,0.0002279034,0.0004154269,0.0002890446,0.0002647038],"domain_scores_gemma":[0.9989081,0.0001436529,0.0001586661,0.0005237617,0.0002204484,0.00004536942],"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.00005761675,0.0000495136,0.0004405454,0.0009240715,0.00004953693,0.000002049355,0.002425178,0.000001321588,0.01808544,0.8486565,0.0008476678,0.1284605],"study_design_scores_gemma":[0.001740722,0.002694215,0.004792343,0.006722399,0.0001732026,0.0003445484,0.01857854,0.004660947,0.4074928,0.04059931,0.5103496,0.001851443],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3770161,0.002201961,0.5948527,0.01402231,0.001273996,0.004585952,0.000304108,0.002544549,0.003198298],"genre_scores_gemma":[0.6245086,0.000008444065,0.3750623,0.0000613572,0.00005598143,0.0001501155,0.000006709573,0.00001515298,0.0001313853],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8080572,"threshold_uncertainty_score":0.4411899,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03972119569841741,"score_gpt":0.3154632234301081,"score_spread":0.2757420277316907,"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."}}