{"id":"https://openalex.org/W4411403493","doi":"https://doi.org/10.1145/3725271","title":"Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency","display_name":"Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency","publication_year":2025,"publication_date":"2025-06-17","ids":{"openalex":"https://openalex.org/W4411403493","doi":"https://doi.org/10.1145/3725271"},"language":"en","primary_location":{"id":"doi:10.1145/3725271","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3725271","pdf_url":null,"source":{"id":"https://openalex.org/S4387289859","display_name":"Proceedings of the ACM on Management of Data","issn_l":"2836-6573","issn":["2836-6573"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Management of Data","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064145014","display_name":"Yicun Yang","orcid":"https://orcid.org/0009-0004-5303-2599"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yicun Yang","raw_affiliation_strings":["Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101743342","display_name":"Zhaoguo Wang","orcid":"https://orcid.org/0000-0002-0220-5726"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhaoguo Wang","raw_affiliation_strings":["Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Yu Xia","orcid":"https://orcid.org/0009-0002-7486-1391"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Xia","raw_affiliation_strings":["Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Zhuoran Wei","orcid":"https://orcid.org/0009-0001-3603-2165"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhuoran Wei","raw_affiliation_strings":["Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089127892","display_name":"Haoran Ding","orcid":"https://orcid.org/0009-0008-8138-8639"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haoran Ding","raw_affiliation_strings":["Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045794652","display_name":"Ru\u017eica Piska\u010d","orcid":"https://orcid.org/0000-0002-3267-0776"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ruzica Piskac","raw_affiliation_strings":["Department of Computer Science, Yale University, New Haven, Connecticut, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Yale University, New Haven, Connecticut, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100406215","display_name":"Haibo Chen","orcid":"https://orcid.org/0000-0002-9720-0361"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haibo Chen","raw_affiliation_strings":["Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073978798","display_name":"Jinyang Li","orcid":"https://orcid.org/0000-0002-9574-1746"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jinyang Li","raw_affiliation_strings":["Department of Computer Science, New York University, New York, New York, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, New York University, New York, New York, USA","institution_ids":["https://openalex.org/I57206974"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5064145014"],"corresponding_institution_ids":["https://openalex.org/I183067930"],"apc_list":null,"apc_paid":null,"fwci":4.52,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.9435835,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"3","issue":"3","first_page":"1","last_page":"28"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12016","display_name":"Web Data Mining and Analysis","score":0.970300018787384,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8554847240447998},{"id":"https://openalex.org/keywords/sql","display_name":"SQL","score":0.75483238697052},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6150246262550354},{"id":"https://openalex.org/keywords/sql-injection","display_name":"SQL injection","score":0.6091595888137817},{"id":"https://openalex.org/keywords/data-definition-language","display_name":"Data definition language","score":0.6041343808174133},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5529510974884033},{"id":"https://openalex.org/keywords/language-integrated-query","display_name":"Language Integrated Query","score":0.5493634343147278},{"id":"https://openalex.org/keywords/stored-procedure","display_name":"Stored procedure","score":0.5459020733833313},{"id":"https://openalex.org/keywords/query-by-example","display_name":"Query by Example","score":0.5372592806816101},{"id":"https://openalex.org/keywords/sql/psm","display_name":"SQL/PSM","score":0.5290034413337708},{"id":"https://openalex.org/keywords/null","display_name":"Null (SQL)","score":0.4358607232570648},{"id":"https://openalex.org/keywords/data-transformation-services","display_name":"Data Transformation Services","score":0.427840918302536},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.42527303099632263},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3096088767051697},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.2623600363731384}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8554847240447998},{"id":"https://openalex.org/C510870499","wikidata":"https://www.wikidata.org/wiki/Q47607","display_name":"SQL","level":2,"score":0.75483238697052},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6150246262550354},{"id":"https://openalex.org/C150451098","wikidata":"https://www.wikidata.org/wiki/Q506059","display_name":"SQL injection","level":5,"score":0.6091595888137817},{"id":"https://openalex.org/C55596503","wikidata":"https://www.wikidata.org/wiki/Q1431648","display_name":"Data definition language","level":3,"score":0.6041343808174133},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5529510974884033},{"id":"https://openalex.org/C179531526","wikidata":"https://www.wikidata.org/wiki/Q595637","display_name":"Language Integrated Query","level":5,"score":0.5493634343147278},{"id":"https://openalex.org/C154420247","wikidata":"https://www.wikidata.org/wiki/Q846619","display_name":"Stored procedure","level":5,"score":0.5459020733833313},{"id":"https://openalex.org/C194222762","wikidata":"https://www.wikidata.org/wiki/Q114486","display_name":"Query by Example","level":4,"score":0.5372592806816101},{"id":"https://openalex.org/C167544706","wikidata":"https://www.wikidata.org/wiki/Q360842","display_name":"SQL/PSM","level":5,"score":0.5290034413337708},{"id":"https://openalex.org/C203763787","wikidata":"https://www.wikidata.org/wiki/Q371029","display_name":"Null (SQL)","level":2,"score":0.4358607232570648},{"id":"https://openalex.org/C141589383","wikidata":"https://www.wikidata.org/wiki/Q644775","display_name":"Data Transformation Services","level":5,"score":0.427840918302536},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.42527303099632263},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3096088767051697},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.2623600363731384},{"id":"https://openalex.org/C97854310","wikidata":"https://www.wikidata.org/wiki/Q19541","display_name":"Search engine","level":2,"score":0.0},{"id":"https://openalex.org/C164120249","wikidata":"https://www.wikidata.org/wiki/Q995982","display_name":"Web search query","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3725271","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3725271","pdf_url":null,"source":{"id":"https://openalex.org/S4387289859","display_name":"Proceedings of the ACM on Management of Data","issn_l":"2836-6573","issn":["2836-6573"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Management of Data","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.44999998807907104}],"awards":[{"id":"https://openalex.org/G2679398531","display_name":null,"funder_award_id":"2220407","funder_id":"https://openalex.org/F4320323817","funder_display_name":"Universitas Brawijaya"},{"id":"https://openalex.org/G4396125339","display_name":null,"funder_award_id":"62422209,62132014,62272304","funder_id":"https://openalex.org/F4320323817","funder_display_name":"Universitas Brawijaya"}],"funders":[{"id":"https://openalex.org/F4320323817","display_name":"Universitas Brawijaya","ror":"https://ror.org/01wk3d929"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W2043794661","https://openalex.org/W2145618437","https://openalex.org/W2269738476","https://openalex.org/W2762513422","https://openalex.org/W2890431379","https://openalex.org/W2914304175","https://openalex.org/W2964142859","https://openalex.org/W2971026710","https://openalex.org/W2981852735","https://openalex.org/W3034835156","https://openalex.org/W3034999214","https://openalex.org/W3035715371","https://openalex.org/W3084548155","https://openalex.org/W3102020135","https://openalex.org/W3168999116","https://openalex.org/W3202712981","https://openalex.org/W3214600982","https://openalex.org/W4200114085","https://openalex.org/W4225922019","https://openalex.org/W4230471358","https://openalex.org/W4280554137","https://openalex.org/W4281813636","https://openalex.org/W4288089799","https://openalex.org/W4289866538","https://openalex.org/W4299527668","https://openalex.org/W4319725120","https://openalex.org/W4322718191","https://openalex.org/W4327810158","https://openalex.org/W4382202531","https://openalex.org/W4382202695","https://openalex.org/W4384615768","https://openalex.org/W4385570661","https://openalex.org/W4385574298","https://openalex.org/W4385734350","https://openalex.org/W4389519120","https://openalex.org/W4389609814","https://openalex.org/W4389982878","https://openalex.org/W4396214235","https://openalex.org/W4396571402","https://openalex.org/W4399115971","https://openalex.org/W4399175046","https://openalex.org/W4399175313","https://openalex.org/W4399208468","https://openalex.org/W4400142066","https://openalex.org/W4402386228","https://openalex.org/W4402955398","https://openalex.org/W4404181300","https://openalex.org/W4404782964"],"related_works":["https://openalex.org/W151073879","https://openalex.org/W2750425440","https://openalex.org/W2898367493","https://openalex.org/W638381921","https://openalex.org/W2912795851","https://openalex.org/W2240099544","https://openalex.org/W2512476881","https://openalex.org/W619366292","https://openalex.org/W2917505743","https://openalex.org/W2376524225"],"abstract_inverted_index":{"State-of-the-art":[0],"Text-to-SQL":[1,39,45,92,230],"models":[2],"rely":[3],"on":[4,154],"fine-tuning":[5],"or":[6],"few-shot":[7],"prompting":[8],"to":[9,23,49,56,73,87,123,146,150,210,240],"help":[10],"LLMs":[11],"learn":[12],"from":[13,18],"training":[14,93],"datasets":[15,46,80,94],"containing":[16],"mappings":[17,152,227],"natural":[19],"language":[20],"(NL)":[21],"queries":[22],"SQL":[24,74,124,151,177,187,211],"statements.":[25],"Consequently,":[26],"the":[27,30,35,57,89,98,101,130,140,204,229,235],"quality":[28,90],"of":[29,37,60,70,91,100,133,139,170,207,216],"dataset":[31],"can":[32,196],"greatly":[33],"affect":[34],"accuracy":[36,99,237],"these":[38],"models.":[40,103],"Unlike":[41],"other":[42],"NL":[43,72,122,135,149,209],"tasks,":[44],"are":[47],"prone":[48],"errors":[50],"despite":[51],"extensive":[52],"manual":[53],"efforts":[54],"due":[55],"subtle":[58],"semantics":[59],"SQL.":[61,142],"Our":[62],"study":[63],"has":[64],"found":[65],"a":[66,109,117,158,186],"non-negligible":[67],"(>30%)":[68],"portion":[69],"incorrect":[71,148,226],"mapping":[75,125,212],"cases":[76],"exists":[77],"in":[78,157,168,181,228],"popular":[79],"Spider":[81],"and":[82,95,224,232],"BIRD.":[83],"This":[84],"paper":[85],"aims":[86],"improve":[88],"thereby":[96],"increase":[97],"resulting":[102],"To":[104],"do":[105],"so,":[106],"we":[107],"propose":[108],"necessary":[110],"correctness":[111],"condition":[112],"called":[113],"execution":[114,127,131,155,171,205],"consistency.":[115,172],"For":[116],"given":[118],"database":[119,163,193],"instance,":[120],"an":[121,134,208],"satisfies":[126],"consistency":[128,156,206],"if":[129],"result":[132,167],"query":[136],"matches":[137],"that":[138,165,179,195],"corresponding":[141],"We":[143],"develop":[144],"SQLDriller":[145,190,221],"detect":[147],"based":[153],"best-effort":[159],"manner":[160],"by":[161,238],"crafting":[162],"instances":[164,194],"likely":[166],"violations":[169],"It":[173,201],"generates":[174],"multiple":[175],"candidate":[176,199],"predictions":[178],"differ":[180],"their":[182],"syntax":[183],"structures.":[184],"Using":[185],"equivalence":[188],"checker,":[189],"obtains":[191],"counterexample":[192],"distinguish":[197],"non-equivalent":[198],"SQLs.":[200],"then":[202],"checks":[203],"under":[213],"this":[214],"set":[215],"counterexamples.":[217],"The":[218],"evaluation":[219],"shows":[220],"effectively":[222],"detects":[223],"fixes":[225],"dataset,":[231],"it":[233],"improves":[234],"model":[236],"up":[239],"13.6%.":[241]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-04-17T18:11:37.981687","created_date":"2025-10-10T00:00:00"}