{"id":"https://openalex.org/W4381329253","doi":"https://doi.org/10.1145/3589298","title":"Computing the Difference of Conjunctive Queries Efficiently","display_name":"Computing the Difference of Conjunctive Queries Efficiently","publication_year":2023,"publication_date":"2023-06-13","ids":{"openalex":"https://openalex.org/W4381329253","doi":"https://doi.org/10.1145/3589298"},"language":"en","primary_location":{"id":"doi:10.1145/3589298","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3589298","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/A5034417920","display_name":"Xiao Hu","orcid":null},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Xiao Hu","raw_affiliation_strings":["University of Waterloo, Waterloo, ON, Canada"],"raw_orcid":"https://orcid.org/0000-0002-7890-665X","affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040263211","display_name":"Qichen Wang","orcid":"https://orcid.org/0000-0002-0959-5536"},"institutions":[{"id":"https://openalex.org/I141568987","display_name":"Hong Kong Baptist University","ror":"https://ror.org/0145fw131","country_code":"HK","type":"education","lineage":["https://openalex.org/I141568987"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Qichen Wang","raw_affiliation_strings":["Hong Kong Baptist University, Kowloon, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0002-0959-5536","affiliations":[{"raw_affiliation_string":"Hong Kong Baptist University, Kowloon, Hong Kong","institution_ids":["https://openalex.org/I141568987"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.7069,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.85003978,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"1","issue":"2","first_page":"1","last_page":"26"},"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.9997000098228455,"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/T12292","display_name":"Graph Theory and Algorithms","score":0.9911999702453613,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/rewriting","display_name":"Rewriting","score":0.6533211469650269},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6419394016265869},{"id":"https://openalex.org/keywords/query-optimization","display_name":"Query optimization","score":0.5541318655014038},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.5146957039833069},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.5093046426773071},{"id":"https://openalex.org/keywords/spatial-query","display_name":"Spatial query","score":0.4886046051979065},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.48357149958610535},{"id":"https://openalex.org/keywords/boolean-conjunctive-query","display_name":"Boolean conjunctive query","score":0.46621567010879517},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.46552011370658875},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.46303069591522217},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.45490536093711853},{"id":"https://openalex.org/keywords/sql","display_name":"SQL","score":0.44152015447616577},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40451550483703613},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3413875699043274},{"id":"https://openalex.org/keywords/sargable","display_name":"Sargable","score":0.31844502687454224},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.2529579699039459},{"id":"https://openalex.org/keywords/search-engine","display_name":"Search engine","score":0.22847861051559448},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.2251245379447937},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.13868945837020874},{"id":"https://openalex.org/keywords/web-search-query","display_name":"Web search query","score":0.13491791486740112}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.6533211469650269},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6419394016265869},{"id":"https://openalex.org/C157692150","wikidata":"https://www.wikidata.org/wiki/Q2919848","display_name":"Query optimization","level":2,"score":0.5541318655014038},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.5146957039833069},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.5093046426773071},{"id":"https://openalex.org/C172722865","wikidata":"https://www.wikidata.org/wiki/Q2302053","display_name":"Spatial query","level":5,"score":0.4886046051979065},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.48357149958610535},{"id":"https://openalex.org/C24755975","wikidata":"https://www.wikidata.org/wiki/Q4943354","display_name":"Boolean conjunctive query","level":5,"score":0.46621567010879517},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.46552011370658875},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.46303069591522217},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.45490536093711853},{"id":"https://openalex.org/C510870499","wikidata":"https://www.wikidata.org/wiki/Q47607","display_name":"SQL","level":2,"score":0.44152015447616577},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40451550483703613},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3413875699043274},{"id":"https://openalex.org/C192939062","wikidata":"https://www.wikidata.org/wiki/Q104840822","display_name":"Sargable","level":4,"score":0.31844502687454224},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.2529579699039459},{"id":"https://openalex.org/C97854310","wikidata":"https://www.wikidata.org/wiki/Q19541","display_name":"Search engine","level":2,"score":0.22847861051559448},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2251245379447937},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.13868945837020874},{"id":"https://openalex.org/C164120249","wikidata":"https://www.wikidata.org/wiki/Q995982","display_name":"Web search query","level":3,"score":0.13491791486740112},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3589298","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3589298","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W52840101","https://openalex.org/W2026745535","https://openalex.org/W2033325972","https://openalex.org/W2065023965","https://openalex.org/W2079057772","https://openalex.org/W2104498537","https://openalex.org/W2134483537","https://openalex.org/W2146507303","https://openalex.org/W2148417962","https://openalex.org/W2160011226","https://openalex.org/W2428510227","https://openalex.org/W2502658919","https://openalex.org/W2907255177","https://openalex.org/W2914966823","https://openalex.org/W2963066364","https://openalex.org/W2963560792","https://openalex.org/W3031062390","https://openalex.org/W3043682248","https://openalex.org/W3170312185","https://openalex.org/W3173375004","https://openalex.org/W3202652238","https://openalex.org/W4281724122","https://openalex.org/W4281803334","https://openalex.org/W4294904012","https://openalex.org/W6602175484"],"related_works":["https://openalex.org/W1003283331","https://openalex.org/W2371740287","https://openalex.org/W2406556739","https://openalex.org/W3125756434","https://openalex.org/W2236547548","https://openalex.org/W2351171547","https://openalex.org/W4242370757","https://openalex.org/W609190756","https://openalex.org/W2110065340","https://openalex.org/W2387635197"],"abstract_inverted_index":{"We":[0,116,156],"investigate":[1],"how":[2],"to":[3,23,34,130,179],"efficiently":[4],"compute":[5,48],"the":[6,17,36,49,61,83,95,103,108,137,145,153,162,166,192,221],"difference":[7,50,109,124,154,168],"result":[8,159],"of":[9,51,63,98,123,136,147,164],"two":[10,52],"(or":[11,53],"multiple)":[12,54],"conjunctive":[13],"queries,":[14,125],"which":[15,69],"is":[16,33,58,177],"last":[18],"operator":[19,110],"in":[20,29,82,134,170,181],"relational":[21],"algebra":[22],"be":[24,71],"unraveled.":[25],"The":[26,210],"standard":[27,193,202],"approach":[28,57,92,127,200,219],"practical":[30],"database":[31],"systems":[32],"materialize":[35],"results":[37,81,149,212],"for":[38,119],"every":[39,65],"input":[40,66,99,138],"query":[41,67,105,148],"as":[42,112,114],"a":[43,79,90,120,131,174],"separate":[44],"set,":[45],"and":[46,101,140,207],"then":[47],"sets.":[55],"This":[56],"bottlenecked":[59],"by":[60,93,106,160,217],"complexity":[62],"evaluating":[64],"individually,":[68],"could":[70],"very":[72],"expensive,":[73],"particularly":[74],"when":[75],"there":[76],"are":[77],"only":[78],"few":[80],"difference.":[84],"In":[85],"this":[86,126,158],"paper,":[87],"we":[88,183,197],"introduce":[89],"new":[91],"exploiting":[94],"structural":[96],"property":[97],"queries":[100,169],"rewriting":[102],"original":[104],"pushing":[107],"down":[111],"much":[113],"possible.":[115],"show":[117],"that":[118,150,188],"large":[121],"class":[122],"can":[128,189],"lead":[129],"linear-time":[132,175],"algorithm,":[133],"terms":[135],"size":[139],"(final)":[141],"output":[142],"size,":[143],"i.e.,":[144],"number":[146],"survive":[151],"from":[152],"operator.":[155],"complete":[157],"showing":[161],"hardness":[163],"computing":[165],"remaining":[167],"linear":[171],"time.":[172],"Although":[173],"algorithm":[176],"hard":[178],"achieve":[180],"general,":[182],"also":[184],"provide":[185],"some":[186],"heuristics":[187],"provably":[190],"improve":[191],"approach.":[194],"At":[195],"last,":[196],"compare":[198],"our":[199,218],"with":[201],"SQL":[203,223],"engines":[204],"over":[205,220],"graph":[206],"benchmark":[208],"datasets.":[209],"experiment":[211],"demonstrate":[213],"order-of-magnitude":[214],"speedups":[215],"achieved":[216],"vanilla":[222],"engine.":[224]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}