{"id":"https://openalex.org/W4411141319","doi":"https://doi.org/10.1145/3725250","title":"Smallest Synthetic Witnesses for Conjunctive Queries","display_name":"Smallest Synthetic Witnesses for Conjunctive Queries","publication_year":2025,"publication_date":"2025-06-09","ids":{"openalex":"https://openalex.org/W4411141319","doi":"https://doi.org/10.1145/3725250"},"language":"en","primary_location":{"id":"doi:10.1145/3725250","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3725250","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/A5114419945","display_name":"Aryan Esmailpour","orcid":null},"institutions":[{"id":"https://openalex.org/I39422238","display_name":"University of Illinois Chicago","ror":"https://ror.org/02mpq6x41","country_code":"US","type":"education","lineage":["https://openalex.org/I39422238"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Aryan Esmailpour","raw_affiliation_strings":["Department of Computer Science, University of Illinois Chicago, Chicago, IL, USA"],"raw_orcid":"https://orcid.org/0009-0000-3798-9578","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois Chicago, Chicago, IL, USA","institution_ids":["https://openalex.org/I39422238"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061858093","display_name":"Boris Glavic","orcid":"https://orcid.org/0000-0003-2887-2452"},"institutions":[{"id":"https://openalex.org/I39422238","display_name":"University of Illinois Chicago","ror":"https://ror.org/02mpq6x41","country_code":"US","type":"education","lineage":["https://openalex.org/I39422238"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Boris Glavic","raw_affiliation_strings":["Department of Computer Science, University of Illinois Chicago, Chicago, IL, USA"],"raw_orcid":"https://orcid.org/0000-0003-2887-2452","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois Chicago, Chicago, IL, USA","institution_ids":["https://openalex.org/I39422238"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Xiao Hu","orcid":"https://orcid.org/0000-0002-7890-665X"},"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":["Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada"],"raw_orcid":"https://orcid.org/0000-0002-7890-665X","affiliations":[{"raw_affiliation_string":"Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015883931","display_name":"Stavros Sintos","orcid":"https://orcid.org/0000-0002-2114-8886"},"institutions":[{"id":"https://openalex.org/I39422238","display_name":"University of Illinois Chicago","ror":"https://ror.org/02mpq6x41","country_code":"US","type":"education","lineage":["https://openalex.org/I39422238"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stavros Sintos","raw_affiliation_strings":["Department of Computer Science, University of Illinois Chicago, Chicago, IL, USA"],"raw_orcid":"https://orcid.org/0000-0002-2114-8886","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois Chicago, Chicago, IL, USA","institution_ids":["https://openalex.org/I39422238"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5114419945"],"corresponding_institution_ids":["https://openalex.org/I39422238"],"apc_list":null,"apc_paid":null,"fwci":3.662,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.93462205,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"3","issue":"2","first_page":"1","last_page":"25"},"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.9998000264167786,"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.9998000264167786,"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/T11719","display_name":"Data Quality and Management","score":0.9990000128746033,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9987000226974487,"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/conjunctive-query","display_name":"Conjunctive query","score":0.45249104499816895},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3997061550617218},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.305331289768219},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.07413896918296814}],"concepts":[{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.45249104499816895},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3997061550617218},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.305331289768219},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.07413896918296814}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3725250","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3725250","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":[{"id":"https://openalex.org/F4320323817","display_name":"Universitas Brawijaya","ror":"https://ror.org/01wk3d929"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W1556771345","https://openalex.org/W1595483292","https://openalex.org/W1862784933","https://openalex.org/W2014178973","https://openalex.org/W2022431239","https://openalex.org/W2022858489","https://openalex.org/W2032950184","https://openalex.org/W2048372226","https://openalex.org/W2070099460","https://openalex.org/W2104498537","https://openalex.org/W2125399128","https://openalex.org/W2127795772","https://openalex.org/W2136179049","https://openalex.org/W2143102052","https://openalex.org/W2148417962","https://openalex.org/W2158098837","https://openalex.org/W2169998163","https://openalex.org/W2277593056","https://openalex.org/W2293299776","https://openalex.org/W2345040254","https://openalex.org/W2433238673","https://openalex.org/W2536131596","https://openalex.org/W2563541764","https://openalex.org/W2791094827","https://openalex.org/W2798499404","https://openalex.org/W2964115955","https://openalex.org/W3013303285","https://openalex.org/W3029264065","https://openalex.org/W3031536178","https://openalex.org/W3049407862","https://openalex.org/W3107700780","https://openalex.org/W3167477380","https://openalex.org/W4214495955","https://openalex.org/W4237172715","https://openalex.org/W4294635342","https://openalex.org/W4295298150","https://openalex.org/W4312046579","https://openalex.org/W4379135671","https://openalex.org/W4389260824","https://openalex.org/W4396892986","https://openalex.org/W4404989521"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W1810918211"],"abstract_inverted_index":{"Given":[0],"a":[1,7,13,18,56,65,107,159,167,171,174,189,199,225,254,307],"self-join-free":[2],"conjunctive":[3],"query":[4,175,241],"Q":[5,26,176,242,249],"and":[6,85,91,134,145,161,177],"set":[8],"of":[9,25,68,110,148,173,209,237,269,296,310,320],"tuples":[10],"S":[11,30,169,195,210,238],",":[12,196],"synthetic":[14,49,57,66,200,227],"witness":[15,50,58,67,79,201,228],"D":[16,28,51,179],"is":[17,29,74,103,117,185,258],"database":[19,154,160,178],"instance":[20],"such":[21,125,253],"that":[22,55,101,183,223,243,265,299,327],"the":[23,42,60,77,89,92,127,135,207,216,235,245,267,294,303,318],"result":[24,292],"on":[27,215],".":[31,180,211],"In":[32],"this":[33,290],"work,":[34],"we":[35,99,213,263,316],"are":[36,94,147],"interested":[37],"in":[38,113,122,131,139,186,203,206,229,280,332],"two":[39],"problems.":[40],"First,":[41],"existence":[43],"problem":[44,62,73,80,130,138],"ESW":[45,144,184],"decides":[46,197],"whether":[47,198],"any":[48,194,240,273],"exists.":[52],"Second,":[53],"given":[54,193],"exists,":[59],"minimization":[61],"SSW":[63,72,102,116,146,217,257,276,311,321,328],"computes":[64,224],"minimal":[69,226],"size.":[70],"The":[71],"related":[75,118],"to":[76,119,143,234,293],"smallest":[78],"recently":[81],"studied":[82],"by":[83,165,325],"Hu":[84],"Sintos":[86],"[22];":[87],"however,":[88],"objective":[90],"results":[93],"inherently":[95],"different.":[96],"More":[97,261],"specifically,":[98,262],"show":[100,220,264],"poly-time":[104],"solvable":[105],"for":[106,152,156,162,239,266,312,335],"wider":[108],"range":[109],"queries.":[111,314],"Interestingly,":[112],"some":[114,336],"cases,":[115],"optimization":[120],"problems":[121],"other":[123],"domains,":[124],"as":[126,170],"role":[128],"mining":[129,133],"data":[132,163],"edge":[136],"concentration":[137],"graph":[140],"drawing.":[141],"Solutions":[142],"practical":[149],"interest,":[150],"e.g.,":[151],"test":[153],"generation":[155],"applications":[157],"accessing":[158],"compression":[164],"encoding":[166],"dataset":[168],"pair":[172],"We":[181,219,287],"prove":[182],"P,":[187],"presenting":[188],"simple":[190],"algorithm":[191,222],"that,":[192],"exists":[202],"polynomial":[204,230,281,333],"time":[205,231,282,334],"size":[208,236],"Next,":[212],"focus":[214],"problem.":[218],"an":[221],"with":[232],"respect":[233],"has":[244],"head-domination":[246,304],"property.":[247],"If":[248],"does":[250],"not":[251,301],"have":[252,302],"property,":[255,305],"then":[256,288],"generally":[259],"hard.":[260],"class":[268,295],"path":[270],"queries":[271,298,324,338],"(of":[272],"constant":[274],"length),":[275],"cannot":[277,329],"be":[278,330],"solved":[279,331],"unless":[283,339],"P":[284,340],"=":[285,341],"NP.":[286,342],"extend":[289],"hardness":[291,319],"Berge-acyclic":[297,313,323],"do":[300],"obtaining":[306],"full":[308],"dichotomy":[309],"Finally,":[315],"investigate":[317],"beyond":[322],"showing":[326],"cyclic":[337]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}