{"id":"https://openalex.org/W4380433204","doi":"https://doi.org/10.1145/3588909","title":"Detecting Logic Bugs of Join Optimizations in DBMS","display_name":"Detecting Logic Bugs of Join Optimizations in DBMS","publication_year":2023,"publication_date":"2023-05-26","ids":{"openalex":"https://openalex.org/W4380433204","doi":"https://doi.org/10.1145/3588909"},"language":"en","primary_location":{"id":"doi:10.1145/3588909","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3588909","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":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2602.21955","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072228670","display_name":"Xiu Tang","orcid":"https://orcid.org/0000-0001-8611-0283"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xiu Tang","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"raw_orcid":"https://orcid.org/0000-0001-8611-0283","affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017672363","display_name":"Sai Wu","orcid":"https://orcid.org/0000-0002-7903-1496"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Sai Wu","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"raw_orcid":"https://orcid.org/0000-0002-7903-1496","affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011200911","display_name":"Dongxiang Zhang","orcid":"https://orcid.org/0000-0002-9964-2470"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dongxiang Zhang","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"raw_orcid":"https://orcid.org/0000-0002-9964-2470","affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100450470","display_name":"Feifei Li","orcid":"https://orcid.org/0009-0003-0770-5775"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Feifei Li","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"raw_orcid":"https://orcid.org/0009-0003-0770-5775","affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100389286","display_name":"Gang Chen","orcid":"https://orcid.org/0000-0002-7483-0045"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Gang Chen","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"raw_orcid":"https://orcid.org/0000-0002-7483-0045","affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5072228670"],"corresponding_institution_ids":["https://openalex.org/I76130692"],"apc_list":null,"apc_paid":null,"fwci":5.3136,"has_fulltext":true,"cited_by_count":25,"citation_normalized_percentile":{"value":0.98002736,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"1","issue":"1","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11719","display_name":"Data Quality and Management","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9959999918937683,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8393734693527222},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6513563394546509},{"id":"https://openalex.org/keywords/query-optimization","display_name":"Query optimization","score":0.569054365158081},{"id":"https://openalex.org/keywords/joins","display_name":"Joins","score":0.5226052403450012},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.43123704195022583},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.42746394872665405},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4085223972797394},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3666462302207947},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3554009795188904}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8393734693527222},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6513563394546509},{"id":"https://openalex.org/C157692150","wikidata":"https://www.wikidata.org/wiki/Q2919848","display_name":"Query optimization","level":2,"score":0.569054365158081},{"id":"https://openalex.org/C2778692605","wikidata":"https://www.wikidata.org/wiki/Q4041866","display_name":"Joins","level":2,"score":0.5226052403450012},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.43123704195022583},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.42746394872665405},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4085223972797394},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3666462302207947},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3554009795188904}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3588909","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3588909","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"},{"id":"pmh:oai:arXiv.org:2602.21955","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2602.21955","pdf_url":"https://arxiv.org/pdf/2602.21955","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:doi:10.48550/arxiv.2602.21955","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":"repository"},"license":"publisher-specific-oa","license_id":"https://openalex.org/licenses/publisher-specific-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2602.21955","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2602.21955","pdf_url":"https://arxiv.org/pdf/2602.21955","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4199845722","display_name":null,"funder_award_id":"61872315","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":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4380433204.pdf"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W109452506","https://openalex.org/W180578187","https://openalex.org/W1854679880","https://openalex.org/W1989009626","https://openalex.org/W2016432059","https://openalex.org/W2049251595","https://openalex.org/W2061253631","https://openalex.org/W2065793351","https://openalex.org/W2077443691","https://openalex.org/W2098456636","https://openalex.org/W2099525917","https://openalex.org/W2101566835","https://openalex.org/W2112100340","https://openalex.org/W2140100614","https://openalex.org/W2141933093","https://openalex.org/W2170737051","https://openalex.org/W2171831739","https://openalex.org/W2299503697","https://openalex.org/W2439326083","https://openalex.org/W2761359361","https://openalex.org/W2797054769","https://openalex.org/W2970388188","https://openalex.org/W2997653900","https://openalex.org/W3042605769","https://openalex.org/W3099032206","https://openalex.org/W3099134950","https://openalex.org/W3105233790","https://openalex.org/W3106731144","https://openalex.org/W3139337630","https://openalex.org/W3142348832","https://openalex.org/W3177116918","https://openalex.org/W4238083723","https://openalex.org/W6665948649","https://openalex.org/W6770109039"],"related_works":["https://openalex.org/W2088925915","https://openalex.org/W2382891957","https://openalex.org/W2393491644","https://openalex.org/W2067184662","https://openalex.org/W3047837489","https://openalex.org/W2378924333","https://openalex.org/W2061417947","https://openalex.org/W2362446711","https://openalex.org/W1495801388","https://openalex.org/W2551308855"],"abstract_inverted_index":{"Generation-based":[0],"testing":[1,54,118],"techniques":[2],"have":[3],"shown":[4],"their":[5],"effectiveness":[6],"in":[7,188,195,210,213,216,220],"detecting":[8,58],"logic":[9,59,190],"bugs":[10,60,191,203,209],"of":[11,20,96,192],"DBMS,":[12,70],"which":[13],"are":[14,28],"often":[15],"caused":[16],"by":[17,62],"improper":[18],"implementation":[19],"query":[21,98,145,167],"optimizers.":[22],"Nonetheless,":[23],"existing":[24],"generation-based":[25],"debug":[26,130],"tools":[27],"limited":[29],"to":[30,101,115],"single-table":[31],"queries":[32,42,63],"and":[33,81,85,120,157,162,179,218],"there":[34],"is":[35,186],"a":[36,52,68,117,122],"substantial":[37],"research":[38],"gap":[39],"regarding":[40],"multi-table":[41,65,97],"with":[43,75],"join":[44,193],"operators.":[45],"In":[46],"this":[47],"paper,":[48],"we":[49],"propose":[50],"TQS,":[51],"novel":[53],"framework":[55],"targeted":[56],"at":[57],"derived":[61],"involving":[64],"joins.":[66],"Given":[67],"target":[69],"TQS":[71,171,185],"achieves":[72],"the":[73,93,111,139,150,159],"goal":[74],"two":[76],"key":[77,94],"components:":[78],"Data-guided":[79],"Schema":[80],"Query":[82,87],"Generation":[83],"(DSG)":[84],"Knowledge-guided":[86],"Space":[88],"Exploration":[89],"(KQE).":[90],"DSG":[91,132],"addresses":[92],"challenge":[95],"debugging:":[99],"how":[100],"generate":[102,116],"ground-truth":[103],"(query,":[104],"result)":[105],"pairs":[106],"for":[107,125,166],"verification.":[108],"It":[109,199],"adopts":[110],"database":[112,196],"normalization":[113],"technique":[114],"schema":[119],"maintains":[121],"bitmap":[123],"index":[124],"result":[126],"tracking.":[127],"To":[128,142],"improve":[129],"efficiency,":[131],"also":[133],"artificially":[134],"inserts":[135],"some":[136],"noises":[137],"into":[138],"generated":[140],"data.":[141],"avoid":[143],"repetitive":[144],"space":[146],"search,":[147],"KQE":[148],"forms":[149],"problem":[151],"as":[152],"isomorphic":[153],"graph":[154,160],"set":[155],"discovery":[156],"combines":[158],"embedding":[161],"weighted":[163],"random":[164],"walk":[165],"generation.":[168],"We":[169],"evaluated":[170],"on":[172],"four":[173],"popular":[174],"DBMSs:":[175],"MySQL,":[176,211],"MariaDB,":[177,214],"TiDB":[178],"PolarDB.":[180],"Experimental":[181],"results":[182],"show":[183],"that":[184],"effective":[187],"finding":[189],"optimization":[194],"management":[197],"systems.":[198],"successfully":[200],"detected":[201],"115":[202],"within":[204],"24":[205],"hours,":[206],"including":[207],"31":[208,215],"30":[212],"TiDB,":[217],"23":[219],"PolarDB":[221],"respectively.":[222]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":14},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}