{"id":"W4404181435","doi":"10.14778/3685800.3685894","title":"Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries","year":2024,"lang":"en","type":"article","venue":"Proceedings of the VLDB Endowment","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Programming language; Computer science; Equivalence (formal languages); SQL; SQL/PSM; Database; Stored procedure; Information retrieval; Query by Example; Mathematics; Discrete mathematics; Web search query","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01207477,0.001160206,0.0009562442,0.001375407,0.001523996,0.003809968,0.004953372,0.002393336,0.008913528],"category_scores_gemma":[0.04819249,0.001412729,0.002310631,0.001097898,0.005551141,0.009109594,0.009176444,0.005701418,0.002283409],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002280068,"about_ca_system_score_gemma":0.005235538,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006958373,"about_ca_topic_score_gemma":0.005529401,"domain_scores_codex":[0.9787724,0.006383367,0.001874676,0.002670759,0.008314859,0.001983949],"domain_scores_gemma":[0.9415306,0.03611302,0.00174665,0.01343933,0.006515997,0.0006543318],"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.003814313,0.002218094,0.01493407,0.001547638,0.0004337449,0.003075618,0.002696302,0.08401918,0.166137,0.3663023,0.06386595,0.2909558],"study_design_scores_gemma":[0.0009127583,0.0006307596,0.001178479,0.0002053632,0.0001778385,0.0006168956,0.0002810665,0.5677224,0.262283,0.1326628,0.03311381,0.0002147417],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.04982857,0.0002558432,0.8895481,0.002070512,0.0004042909,0.0004024644,0.001360145,0.04880178,0.007328465],"genre_scores_gemma":[0.5236822,0.0002589711,0.4613698,0.00222539,0.0001699451,0.0004426745,0.002809449,0.004756875,0.004284583],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.01207477,"threshold_uncertainty_score":0.06385827,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02881900024655679,"score_gpt":0.2677268580327518,"score_spread":0.238907857786195,"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."}}