{"id":"https://openalex.org/W4413978785","doi":"https://doi.org/10.14778/3749646.3749727","title":"ParSEval: Plan-Aware Test Database Generation for SQL Equivalence Evaluation","display_name":"ParSEval: Plan-Aware Test Database Generation for SQL Equivalence Evaluation","publication_year":2025,"publication_date":"2025-07-01","ids":{"openalex":"https://openalex.org/W4413978785","doi":"https://doi.org/10.14778/3749646.3749727"},"language":"en","primary_location":{"id":"doi:10.14778/3749646.3749727","is_oa":false,"landing_page_url":"https://doi.org/10.14778/3749646.3749727","pdf_url":null,"source":{"id":"https://openalex.org/S4210226185","display_name":"Proceedings of the VLDB Endowment","issn_l":"2150-8097","issn":["2150-8097"],"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 VLDB Endowment","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/A5100347529","display_name":"Chunyu Chen","orcid":"https://orcid.org/0000-0002-8880-3021"},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Chunyu Chen","raw_affiliation_strings":["Simon Fraser University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Simon Fraser University","institution_ids":["https://openalex.org/I18014758"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087858861","display_name":"Zhengjie Miao","orcid":"https://orcid.org/0009-0008-2371-1186"},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Zhengjie Miao","raw_affiliation_strings":["Simon Fraser University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Simon Fraser University","institution_ids":["https://openalex.org/I18014758"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100419741","display_name":"Yong Zhang","orcid":"https://orcid.org/0000-0001-8803-2055"},"institutions":[{"id":"https://openalex.org/I4210160618","display_name":"Huawei Technologies (United Kingdom)","ror":"https://ror.org/056gzgs71","country_code":"GB","type":"company","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210160618"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Yong Zhang","raw_affiliation_strings":["Huawei Technologies"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Huawei Technologies","institution_ids":["https://openalex.org/I4210160618"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101850960","display_name":"Jiannan Wang","orcid":"https://orcid.org/0000-0003-0178-5287"},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jiannan Wang","raw_affiliation_strings":["Huawei Technologies, Simon Fraser University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Huawei Technologies, Simon Fraser University","institution_ids":["https://openalex.org/I18014758"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.2210614,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"18","issue":"11","first_page":"4750","last_page":"4762"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9980999827384949,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9940999746322632,"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.6248679757118225},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.6049777269363403},{"id":"https://openalex.org/keywords/sql","display_name":"SQL","score":0.5547816753387451},{"id":"https://openalex.org/keywords/parsevals-theorem","display_name":"Parseval's theorem","score":0.5353109836578369},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.4608027935028076},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.44513827562332153},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3388257622718811},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17377662658691406},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.05282369256019592}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6248679757118225},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.6049777269363403},{"id":"https://openalex.org/C510870499","wikidata":"https://www.wikidata.org/wiki/Q47607","display_name":"SQL","level":2,"score":0.5547816753387451},{"id":"https://openalex.org/C89451469","wikidata":"https://www.wikidata.org/wiki/Q1443036","display_name":"Parseval's theorem","level":5,"score":0.5353109836578369},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.4608027935028076},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.44513827562332153},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3388257622718811},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17377662658691406},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.05282369256019592},{"id":"https://openalex.org/C102519508","wikidata":"https://www.wikidata.org/wiki/Q6520159","display_name":"Fourier transform","level":2,"score":0.0},{"id":"https://openalex.org/C203024314","wikidata":"https://www.wikidata.org/wiki/Q1365258","display_name":"Fourier analysis","level":3,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C76563020","wikidata":"https://www.wikidata.org/wiki/Q4817582","display_name":"Fractional Fourier transform","level":4,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.14778/3749646.3749727","is_oa":false,"landing_page_url":"https://doi.org/10.14778/3749646.3749727","pdf_url":null,"source":{"id":"https://openalex.org/S4210226185","display_name":"Proceedings of the VLDB Endowment","issn_l":"2150-8097","issn":["2150-8097"],"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 VLDB Endowment","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W1984930242","https://openalex.org/W1990391007","https://openalex.org/W1991271936","https://openalex.org/W1994143452","https://openalex.org/W2022431239","https://openalex.org/W2118915305","https://openalex.org/W2131231258","https://openalex.org/W2153513325","https://openalex.org/W2269738476","https://openalex.org/W2293299776","https://openalex.org/W2489487449","https://openalex.org/W2536574992","https://openalex.org/W2890431379","https://openalex.org/W2899575547","https://openalex.org/W2953181121","https://openalex.org/W2963207291","https://openalex.org/W2964115955","https://openalex.org/W2964142859","https://openalex.org/W2964271186","https://openalex.org/W2971026710","https://openalex.org/W3102020135","https://openalex.org/W3103962261","https://openalex.org/W4206031975","https://openalex.org/W4225922019","https://openalex.org/W4226110393","https://openalex.org/W4230648425","https://openalex.org/W4250052151","https://openalex.org/W4281813636","https://openalex.org/W4289866538","https://openalex.org/W4291713239","https://openalex.org/W4376850198","https://openalex.org/W4386768432","https://openalex.org/W4389609814","https://openalex.org/W4396214235","https://openalex.org/W4396571402","https://openalex.org/W4400582453","https://openalex.org/W4402042715"],"related_works":["https://openalex.org/W1522297789","https://openalex.org/W2495194047","https://openalex.org/W2164846160","https://openalex.org/W4296137464","https://openalex.org/W1983104818","https://openalex.org/W2391387784","https://openalex.org/W2951524812","https://openalex.org/W2963844916","https://openalex.org/W4298118036","https://openalex.org/W2179977742"],"abstract_inverted_index":{"Deciding":[0],"query":[1,31,45,113,126,137,173],"equivalence":[2,32],"has":[3],"played":[4],"an":[5],"essential":[6],"role":[7],"in":[8,35],"many":[9],"real-world":[10],"applications,":[11],"including":[12],"evaluating":[13],"the":[14,112,135,141,148],"accuracy":[15],"of":[16,124,134,143,152],"text-to-SQL":[17],"models,":[18],"where":[19],"one":[20],"needs":[21],"to":[22,43,92,109,170,180],"compare":[23],"model-generated":[24],"queries":[25],"against":[26],"ground":[27],"truth":[28],"queries.":[29,99,161],"Although":[30],"is":[33],"undecidable":[34],"general,":[36],"researchers":[37],"have":[38],"developed":[39],"two":[40],"significant":[41],"approaches":[42],"check":[44],"equivalence:":[46],"formal":[47],"verification-based":[48,177],"and":[49,63,75,128,150,159],"test-case-based.":[50],"Verification-based":[51],"solutions":[52],"ensure":[53],"correctness":[54],"but":[55,70],"may":[56],"lack":[57],"support":[58],"for":[59,97],"advanced":[60],"SQL":[61,88],"features":[62],"cross-database":[64],"adaptability.":[65],"Test":[66],"cases":[67],"are":[68],"versatile":[69],"suffer":[71],"from":[72],"ad-hoc":[73],"constraints":[74],"potential":[76],"incorrectness":[77],"(false":[78],"positives).":[79],"In":[80],"this":[81,117],"paper,":[82],"we":[83],"propose":[84],"ParSEval,":[85],"a":[86],"Plan-aware":[87],"Equivalence":[89],"evaluation":[90],"framework":[91],"generate":[93],"test":[94,104],"database":[95],"instances":[96],"given":[98],"We":[100,146],"observed":[101],"that":[102,166],"existing":[103,181],"data":[105],"generation":[106],"methods":[107],"fail":[108],"fully":[110],"explore":[111],"structure.":[114],"To":[115],"address":[116],"limitation,":[118],"ParSEval":[119,153,167,184],"formally":[120],"models":[121],"specific":[122],"behaviors":[123],"each":[125],"operator":[127],"considers":[129],"all":[130],"possible":[131],"execution":[132],"paths":[133],"logical":[136],"plan":[138],"by":[139],"adapting":[140],"notion":[142],"branch":[144],"coverage.":[145],"validated":[147],"effectiveness":[149],"efficiency":[151],"on":[154],"four":[155],"datasets":[156],"with":[157],"AI-generated":[158],"human-crafted":[160],"The":[162],"experimental":[163],"results":[164],"show":[165],"supports":[168],"up":[169],"40%":[171],"more":[172,186],"pairs":[174,188],"than":[175],"state-of-the-art":[176],"approaches.":[178],"Compared":[179],"test-case-based":[182],"approaches,":[183],"reveals":[185],"non-equivalent":[187],"while":[189],"being":[190],"21\u00d7":[191],"faster.":[192]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}