{"id":"https://openalex.org/W4409869023","doi":"https://doi.org/10.1145/3718751.3718767","title":"Verification of Query Weak Equivalence in OLAP Databases","display_name":"Verification of Query Weak Equivalence in OLAP Databases","publication_year":2024,"publication_date":"2024-11-15","ids":{"openalex":"https://openalex.org/W4409869023","doi":"https://doi.org/10.1145/3718751.3718767"},"language":"en","primary_location":{"id":"doi:10.1145/3718751.3718767","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3718751.3718767","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 4th International Conference on Big Data, Artificial Intelligence and Risk Management","raw_type":"proceedings-article"},"type":"conference-paper","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":null,"display_name":"Yuxuan Wang","orcid":"https://orcid.org/0009-0007-5071-1416"},"institutions":[{"id":"https://openalex.org/I10660446","display_name":"Kunming University of Science and Technology","ror":"https://ror.org/00xyeez13","country_code":"CN","type":"education","lineage":["https://openalex.org/I10660446"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuxuan Wang","raw_affiliation_strings":["Kunming University of Science and Technology, Kunming, Yunnan, China"],"raw_orcid":"https://orcid.org/0009-0007-5071-1416","affiliations":[{"raw_affiliation_string":"Kunming University of Science and Technology, Kunming, Yunnan, China","institution_ids":["https://openalex.org/I10660446"]}]},{"author_position":"last","author":{"id":null,"display_name":"Peilei He","orcid":"https://orcid.org/0009-0002-4718-4073"},"institutions":[{"id":"https://openalex.org/I10660446","display_name":"Kunming University of Science and Technology","ror":"https://ror.org/00xyeez13","country_code":"CN","type":"education","lineage":["https://openalex.org/I10660446"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Peilei He","raw_affiliation_strings":["Kunming University of Science and Technology, Kunming, Yunnan, China"],"raw_orcid":"https://orcid.org/0009-0002-4718-4073","affiliations":[{"raw_affiliation_string":"Kunming University of Science and Technology, Kunming, Yunnan, China","institution_ids":["https://openalex.org/I10660446"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I10660446"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"96","last_page":"100"},"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.9998000264167786,"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.9998000264167786,"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/T11106","display_name":"Data Management and Algorithms","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.9929999709129333,"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.775981068611145},{"id":"https://openalex.org/keywords/online-analytical-processing","display_name":"Online analytical processing","score":0.7692887783050537},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6296947598457336},{"id":"https://openalex.org/keywords/query-optimization","display_name":"Query optimization","score":0.5804430842399597},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.5611711144447327},{"id":"https://openalex.org/keywords/query-language","display_name":"Query language","score":0.497527152299881},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.4586515426635742},{"id":"https://openalex.org/keywords/rdf-query-language","display_name":"RDF query language","score":0.4457976520061493},{"id":"https://openalex.org/keywords/web-search-query","display_name":"Web search query","score":0.3088070750236511},{"id":"https://openalex.org/keywords/web-query-classification","display_name":"Web query classification","score":0.21291369199752808},{"id":"https://openalex.org/keywords/data-warehouse","display_name":"Data warehouse","score":0.20690858364105225},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1134808361530304},{"id":"https://openalex.org/keywords/search-engine","display_name":"Search engine","score":0.06794270873069763}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.775981068611145},{"id":"https://openalex.org/C201932085","wikidata":"https://www.wikidata.org/wiki/Q642514","display_name":"Online analytical processing","level":3,"score":0.7692887783050537},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6296947598457336},{"id":"https://openalex.org/C157692150","wikidata":"https://www.wikidata.org/wiki/Q2919848","display_name":"Query optimization","level":2,"score":0.5804430842399597},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.5611711144447327},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.497527152299881},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.4586515426635742},{"id":"https://openalex.org/C96956885","wikidata":"https://www.wikidata.org/wiki/Q6138701","display_name":"RDF query language","level":5,"score":0.4457976520061493},{"id":"https://openalex.org/C164120249","wikidata":"https://www.wikidata.org/wiki/Q995982","display_name":"Web search query","level":3,"score":0.3088070750236511},{"id":"https://openalex.org/C118689300","wikidata":"https://www.wikidata.org/wiki/Q7978614","display_name":"Web query classification","level":4,"score":0.21291369199752808},{"id":"https://openalex.org/C135572916","wikidata":"https://www.wikidata.org/wiki/Q193351","display_name":"Data warehouse","level":2,"score":0.20690858364105225},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1134808361530304},{"id":"https://openalex.org/C97854310","wikidata":"https://www.wikidata.org/wiki/Q19541","display_name":"Search engine","level":2,"score":0.06794270873069763},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3718751.3718767","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3718751.3718767","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 4th International Conference on Big Data, Artificial Intelligence and Risk Management","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1974695870","https://openalex.org/W2038412523","https://openalex.org/W2072764742","https://openalex.org/W2100099053","https://openalex.org/W2613232875","https://openalex.org/W2614913282","https://openalex.org/W2953181121","https://openalex.org/W2964142859","https://openalex.org/W2971026710","https://openalex.org/W4281771843","https://openalex.org/W4289866538","https://openalex.org/W4291713239"],"related_works":["https://openalex.org/W2096359267","https://openalex.org/W2572349046","https://openalex.org/W2392799717","https://openalex.org/W3125756434","https://openalex.org/W2394844208","https://openalex.org/W4256058599","https://openalex.org/W2970853428","https://openalex.org/W2026738364","https://openalex.org/W2029593518","https://openalex.org/W2146885082"],"abstract_inverted_index":{"Modern":[0],"database":[1],"applications":[2],"operate":[3],"on":[4,203,225],"massive":[5],"data":[6,67],"and":[7,192,231],"support":[8],"a":[9,24,45,145,152],"range":[10],"of":[11,26,40,78,134,189,199,205,228],"complex":[12],"queries,":[13,42,114],"especially":[14],"OLAP":[15],"queries":[16,53,93,165,179,184],"which":[17,69,121],"are":[18,55,95,122,161],"time-consuming.":[19],"To":[20,81],"accelerate":[21],"query":[22,31,79,190],"processing,":[23],"variety":[25],"methods":[27],"for":[28,91,112],"automatically":[29],"verifying":[30],"equivalence":[32,90,158,175],"have":[33,50],"been":[34],"proposed":[35],"to":[36,163,171,180,182],"avoid":[37],"redundant":[38,187],"executions":[39],"equivalent":[41,58,98],"mainly":[43],"in":[44],"semantic":[46],"sense.":[47],"However,":[48],"we":[49,115,141,167],"observed":[51],"some":[52],"that":[54,94,148,154,160,186,208,212],"not":[56,96],"semantically":[57,97],"also":[59],"return":[60],"the":[61,65,101,105,172,209,220,226],"same":[62,102],"tuples":[63],"under":[64,104],"specific":[66],"distribution,":[68],"cannot":[70],"be":[71,195],"detected":[72],"by":[73],"most":[74],"current":[75],"automated":[76],"verification":[77],"equivalence.":[80],"deal":[82],"with":[83],"this":[84,86],"issue,":[85],"paper":[87],"proposes":[88],"weak":[89],"identifying":[92],"but":[99],"produce":[100],"results":[103],"read-mostly":[106],"scenarios":[107],"such":[108],"as":[109,151],"OLAP.":[110],"Specifically,":[111],"posed":[113],"extract":[116],"their":[117,135],"filter":[118],"condition":[119],"expressions,":[120],"then":[123],"transformed":[124],"into":[125,157],"symbolic":[126],"representations,":[127],"namely":[128],"first-order":[129],"logic":[130],"formulae.":[131],"In":[132],"terms":[133],"partial":[136],"order,":[137],"i.e.,":[138],"containment":[139],"relationship,":[140],"introduce":[142],"Query":[143,200,213],"Lattice,":[144],"novel":[146],"structure":[147],"is":[149,155,217],"constructed":[150],"lattice":[153],"partitioned":[156],"classes":[159],"convex":[162],"answer":[164],"if":[166],"determine":[168],"they":[169],"belong":[170],"classes.":[173],"The":[174],"class":[176],"enables":[177],"stored":[178],"respond":[181],"future":[183],"so":[185],"generation":[188],"plan":[191],"execution":[193],"can":[194,215],"bypassed.":[196],"Experimental":[197],"evaluation":[198],"Lattice":[201,214],"built":[202],"top":[204],"PostgreSQL":[206],"shows":[207],"maximum":[210],"speedup":[211],"achieve":[216],"44.95%":[218],"over":[219],"original":[221],"PostgreSQL,":[222],"when":[223],"running":[224],"datasets":[227],"both":[229],"TPC-H":[230,232],"Skew":[233],"benchmarks.":[234]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}