{"id":"https://openalex.org/W4281813636","doi":"https://doi.org/10.1145/3514221.3526125","title":"WeTune: Automatic Discovery and Verification of Query Rewrite Rules","display_name":"WeTune: Automatic Discovery and Verification of Query Rewrite Rules","publication_year":2022,"publication_date":"2022-06-10","ids":{"openalex":"https://openalex.org/W4281813636","doi":"https://doi.org/10.1145/3514221.3526125"},"language":"en","primary_location":{"id":"doi:10.1145/3514221.3526125","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3514221.3526125","pdf_url":null,"source":{"id":"https://openalex.org/S4363608845","display_name":"Proceedings of the 2022 International Conference on Management of Data","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2022 International Conference on Management of Data","raw_type":"proceedings-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/A5101743342","display_name":"Zhaoguo Wang","orcid":"https://orcid.org/0000-0002-0220-5726"},"institutions":[{"id":"https://openalex.org/I1327237609","display_name":"Ministry of Education of the People's Republic of China","ror":"https://ror.org/01mv9t934","country_code":"CN","type":"funder","lineage":["https://openalex.org/I1327237609","https://openalex.org/I4210127390"]},{"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":"Zhaoguo Wang","raw_affiliation_strings":["Shanghai Jiao Tong University & Ministry of Education of the People's Republic of China, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University & Ministry of Education of the People's Republic of China, Shanghai, China","institution_ids":["https://openalex.org/I183067930","https://openalex.org/I1327237609"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5117515686","display_name":"Zhou Zhou","orcid":"https://orcid.org/0009-0003-9921-7487"},"institutions":[{"id":"https://openalex.org/I1327237609","display_name":"Ministry of Education of the People's Republic of China","ror":"https://ror.org/01mv9t934","country_code":"CN","type":"funder","lineage":["https://openalex.org/I1327237609","https://openalex.org/I4210127390"]},{"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":"Zhou Zhou","raw_affiliation_strings":["Shanghai Jiao Tong University & Ministry of Education of the People's Republic of China, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University & Ministry of Education of the People's Republic of China, Shanghai, China","institution_ids":["https://openalex.org/I183067930","https://openalex.org/I1327237609"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064145014","display_name":"Yicun Yang","orcid":"https://orcid.org/0009-0004-5303-2599"},"institutions":[{"id":"https://openalex.org/I1327237609","display_name":"Ministry of Education of the People's Republic of China","ror":"https://ror.org/01mv9t934","country_code":"CN","type":"funder","lineage":["https://openalex.org/I1327237609","https://openalex.org/I4210127390"]},{"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":"Yicun Yang","raw_affiliation_strings":["Shanghai Jiao Tong University & Ministry of Education of the People's Republic of China, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University & Ministry of Education of the People's Republic of China, Shanghai, China","institution_ids":["https://openalex.org/I183067930","https://openalex.org/I1327237609"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016429102","display_name":"Haoran Ding","orcid":"https://orcid.org/0000-0003-3253-1730"},"institutions":[{"id":"https://openalex.org/I1327237609","display_name":"Ministry of Education of the People's Republic of China","ror":"https://ror.org/01mv9t934","country_code":"CN","type":"funder","lineage":["https://openalex.org/I1327237609","https://openalex.org/I4210127390"]},{"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":["Shanghai Jiao Tong University & Ministry of Education of the People's Republic of China, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University & Ministry of Education of the People's Republic of China, Shanghai, China","institution_ids":["https://openalex.org/I183067930","https://openalex.org/I1327237609"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070199557","display_name":"Gansen Hu","orcid":"https://orcid.org/0009-0006-0468-3744"},"institutions":[{"id":"https://openalex.org/I1327237609","display_name":"Ministry of Education of the People's Republic of China","ror":"https://ror.org/01mv9t934","country_code":"CN","type":"funder","lineage":["https://openalex.org/I1327237609","https://openalex.org/I4210127390"]},{"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":"Gansen Hu","raw_affiliation_strings":["Shanghai Jiao Tong University & Ministry of Education of the People's Republic of China, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University & Ministry of Education of the People's Republic of China, Shanghai, China","institution_ids":["https://openalex.org/I183067930","https://openalex.org/I1327237609"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100352104","display_name":"Ding Ding","orcid":"https://orcid.org/0000-0002-5559-4091"},"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":"Ding Ding","raw_affiliation_strings":["New York University, New York City, NY, USA"],"affiliations":[{"raw_affiliation_string":"New York University, New York City, NY, USA","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028552513","display_name":"Chuzhe Tang","orcid":"https://orcid.org/0000-0001-7757-5708"},"institutions":[{"id":"https://openalex.org/I1327237609","display_name":"Ministry of Education of the People's Republic of China","ror":"https://ror.org/01mv9t934","country_code":"CN","type":"funder","lineage":["https://openalex.org/I1327237609","https://openalex.org/I4210127390"]},{"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":"Chuzhe Tang","raw_affiliation_strings":["Shanghai Jiao Tong University & Ministry of Education of the People's Republic of China, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University & Ministry of Education of the People's Republic of China, Shanghai, China","institution_ids":["https://openalex.org/I183067930","https://openalex.org/I1327237609"]}]},{"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"]},{"id":"https://openalex.org/I1327237609","display_name":"Ministry of Education of the People's Republic of China","ror":"https://ror.org/01mv9t934","country_code":"CN","type":"funder","lineage":["https://openalex.org/I1327237609","https://openalex.org/I4210127390"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haibo Chen","raw_affiliation_strings":["Shanghai Jiao Tong University & Ministry of Education of the People's Republic of China, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University & Ministry of Education of the People's Republic of China, Shanghai, China","institution_ids":["https://openalex.org/I183067930","https://openalex.org/I1327237609"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100320436","display_name":"Jinyang Li","orcid":"https://orcid.org/0009-0007-6936-4418"},"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":["New York University, New York City, NY, USA"],"affiliations":[{"raw_affiliation_string":"New York University, New York City, NY, USA","institution_ids":["https://openalex.org/I57206974"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5101743342"],"corresponding_institution_ids":["https://openalex.org/I1327237609","https://openalex.org/I183067930"],"apc_list":null,"apc_paid":null,"fwci":5.8371,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.97938857,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"94","last_page":"107"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9904000163078308,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9897000193595886,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8503780364990234},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.6602795124053955},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6054908633232117},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.5529921054840088},{"id":"https://openalex.org/keywords/query-optimization","display_name":"Query optimization","score":0.5486637949943542},{"id":"https://openalex.org/keywords/query-language","display_name":"Query language","score":0.5301077365875244},{"id":"https://openalex.org/keywords/sargable","display_name":"Sargable","score":0.5244391560554504},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5053122639656067},{"id":"https://openalex.org/keywords/sql","display_name":"SQL","score":0.504555344581604},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.46987277269363403},{"id":"https://openalex.org/keywords/semantic-equivalence","display_name":"Semantic equivalence","score":0.448516845703125},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4422711431980133},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.42297613620758057},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.4032207429409027},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.367408812046051},{"id":"https://openalex.org/keywords/web-search-query","display_name":"Web search query","score":0.3560123145580292},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.3541732430458069},{"id":"https://openalex.org/keywords/search-engine","display_name":"Search engine","score":0.17158570885658264},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.12012195587158203}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8503780364990234},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.6602795124053955},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6054908633232117},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.5529921054840088},{"id":"https://openalex.org/C157692150","wikidata":"https://www.wikidata.org/wiki/Q2919848","display_name":"Query optimization","level":2,"score":0.5486637949943542},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.5301077365875244},{"id":"https://openalex.org/C192939062","wikidata":"https://www.wikidata.org/wiki/Q104840822","display_name":"Sargable","level":4,"score":0.5244391560554504},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5053122639656067},{"id":"https://openalex.org/C510870499","wikidata":"https://www.wikidata.org/wiki/Q47607","display_name":"SQL","level":2,"score":0.504555344581604},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.46987277269363403},{"id":"https://openalex.org/C37926939","wikidata":"https://www.wikidata.org/wiki/Q7449061","display_name":"Semantic equivalence","level":4,"score":0.448516845703125},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4422711431980133},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.42297613620758057},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.4032207429409027},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.367408812046051},{"id":"https://openalex.org/C164120249","wikidata":"https://www.wikidata.org/wiki/Q995982","display_name":"Web search query","level":3,"score":0.3560123145580292},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3541732430458069},{"id":"https://openalex.org/C97854310","wikidata":"https://www.wikidata.org/wiki/Q19541","display_name":"Search engine","level":2,"score":0.17158570885658264},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.12012195587158203},{"id":"https://openalex.org/C511149849","wikidata":"https://www.wikidata.org/wiki/Q7449051","display_name":"Semantic computing","level":3,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3514221.3526125","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3514221.3526125","pdf_url":null,"source":{"id":"https://openalex.org/S4363608845","display_name":"Proceedings of the 2022 International Conference on Management of Data","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2022 International Conference on Management of Data","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5021539333","display_name":null,"funder_award_id":"62132014,61902242,62172272","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W135863099","https://openalex.org/W1480909796","https://openalex.org/W1988504473","https://openalex.org/W2033368934","https://openalex.org/W2122406210","https://openalex.org/W2136195851","https://openalex.org/W2158141386","https://openalex.org/W2293299776","https://openalex.org/W2548266162","https://openalex.org/W2614913282","https://openalex.org/W2790625403","https://openalex.org/W2953181121","https://openalex.org/W2964142859","https://openalex.org/W2971026710","https://openalex.org/W2981758446","https://openalex.org/W3004705163","https://openalex.org/W3006102157","https://openalex.org/W3020616315","https://openalex.org/W3099158806","https://openalex.org/W4205381461","https://openalex.org/W4246376997","https://openalex.org/W4281813636","https://openalex.org/W4291713239","https://openalex.org/W4301666354","https://openalex.org/W6602587288","https://openalex.org/W6605485969"],"related_works":["https://openalex.org/W2096359267","https://openalex.org/W2392799717","https://openalex.org/W3125756434","https://openalex.org/W2572349046","https://openalex.org/W2026738364","https://openalex.org/W2124814993","https://openalex.org/W2017989738","https://openalex.org/W2113390685","https://openalex.org/W1981131819","https://openalex.org/W2161787409"],"abstract_inverted_index":{"Query":[0],"rewriting":[1,24],"transforms":[2],"a":[3,53,75,111,140,149],"relational":[4],"database":[5],"query":[6,71,114,150],"into":[7],"an":[8],"equivalent":[9,82],"but":[10],"more":[11,89],"efficient":[12,90],"one,":[13],"which":[14,98],"is":[15,95],"crucial":[16],"for":[17],"the":[18,45,108,146,158,170,175],"performance":[19,197],"of":[20,100,113,123,135,148,160],"database-backed":[21],"applications.":[22],"Such":[23],"relies":[25],"on":[26,169,182],"pre-specified":[27],"rewrite":[28,34,60,161],"rules.":[29,61],"In":[30,47],"existing":[31,190],"systems,":[32],"these":[33],"rules":[35,162],"are":[36],"discovered":[37,163],"through":[38],"manual":[39],"insights":[40],"and":[41,78,129],"accumulate":[42],"slowly":[43],"over":[44],"years.":[46],"this":[48,118],"paper,":[49],"we":[50,166],"present":[51],"WeTune,":[52,165],"rule":[54],"generator":[55],"that":[56,84,126,189],"automatically":[57],"discovers":[58],"new":[59,141],"Inspired":[62],"by":[63,120,164],"compiler":[64],"superoptimization,":[65],"WeTune":[66,184],"enumerates":[67],"all":[68],"valid":[69],"logical":[70],"plans":[72,83],"up":[73],"to":[74,80,88,96,106,144],"certain":[76],"size":[77],"tries":[79],"discover":[81],"could":[85],"potentially":[86],"lead":[87],"rewrites.":[91],"The":[92],"core":[93],"challenge":[94,119],"determine":[97],"set":[99],"conditions":[101],"(aka":[102],"constraints)":[103],"allows":[104],"one":[105],"prove":[107],"equivalence":[109,147],"between":[110,132],"pair":[112,134,151],"plans.":[115],"We":[116,137],"address":[117],"enumerating":[121],"combinations":[122],"\"interesting\"":[124],"constraints":[125],"relate":[127],"tables":[128],"their":[130],"attributes":[131],"each":[133],"queries.":[136],"also":[138],"propose":[139],"SMT-based":[142],"verifier":[143],"verify":[145],"under":[152],"different":[153],"enumerated":[154],"constraints.":[155],"To":[156],"evaluate":[157],"usefulness":[159],"apply":[167],"them":[168],"SQL":[171],"queries":[172,188],"collected":[173],"from":[174],"20":[176],"most":[177],"popular":[178],"open-source":[179],"web":[180],"applications":[181],"GitHub.":[183],"successfully":[185],"optimizes":[186],"247":[187],"databases":[191],"cannot":[192],"optimize,":[193],"resulting":[194],"in":[195],"substantial":[196],"improvements.":[198]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":10},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":9},{"year":2022,"cited_by_count":1}],"updated_date":"2026-03-09T08:58:05.943551","created_date":"2025-10-10T00:00:00"}