{"id":"https://openalex.org/W7117687674","doi":"https://doi.org/10.1145/3786785","title":"Finding Smallest Witnesses for Conjunctive Queries","display_name":"Finding Smallest Witnesses for Conjunctive Queries","publication_year":2025,"publication_date":"2025-12-30","ids":{"openalex":"https://openalex.org/W7117687674","doi":"https://doi.org/10.1145/3786785"},"language":"en","primary_location":{"id":"doi:10.1145/3786785","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3786785","pdf_url":null,"source":{"id":"https://openalex.org/S90119964","display_name":"ACM Transactions on Database Systems","issn_l":"0362-5915","issn":["0362-5915","1557-4644"],"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":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Database Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3786785","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":["Cheriton School of Computer Science, University of Waterloo"],"raw_orcid":"https://orcid.org/0000-0002-7890-665X","affiliations":[{"raw_affiliation_string":"Cheriton School of Computer Science, University of Waterloo","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"],"raw_orcid":"https://orcid.org/0000-0002-2114-8886","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois Chicago","institution_ids":["https://openalex.org/I39422238"]}]}],"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.57838768,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"51","issue":"4","first_page":"1","last_page":"31"},"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.3483000099658966,"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.3483000099658966,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.10429999977350235,"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.093299999833107,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.796999990940094},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.7746999859809875},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.7109000086784363},{"id":"https://openalex.org/keywords/logarithm","display_name":"Logarithm","score":0.6098999977111816},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5806000232696533},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.5476999878883362},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.508400022983551},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.4634000062942505}],"concepts":[{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.796999990940094},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7746999859809875},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.7109000086784363},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6545000076293945},{"id":"https://openalex.org/C39927690","wikidata":"https://www.wikidata.org/wiki/Q11197","display_name":"Logarithm","level":2,"score":0.6098999977111816},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5806000232696533},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.5476999878883362},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.508400022983551},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.4634000062942505},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.4465999901294708},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4106999933719635},{"id":"https://openalex.org/C148764684","wikidata":"https://www.wikidata.org/wiki/Q621751","display_name":"Approximation algorithm","level":2,"score":0.38760000467300415},{"id":"https://openalex.org/C2776900844","wikidata":"https://www.wikidata.org/wiki/Q8028383","display_name":"Witness","level":2,"score":0.38670000433921814},{"id":"https://openalex.org/C123842658","wikidata":"https://www.wikidata.org/wiki/Q2918980","display_name":"Property testing","level":2,"score":0.3853999972343445},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.383899986743927},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.36329999566078186},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.3262999951839447},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.32499998807907104},{"id":"https://openalex.org/C24755975","wikidata":"https://www.wikidata.org/wiki/Q4943354","display_name":"Boolean conjunctive query","level":5,"score":0.30869999527931213},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3009999990463257},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2793999910354614},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2775999903678894},{"id":"https://openalex.org/C173259116","wikidata":"https://www.wikidata.org/wiki/Q864003","display_name":"Discrete logarithm","level":4,"score":0.25870001316070557},{"id":"https://openalex.org/C157692150","wikidata":"https://www.wikidata.org/wiki/Q2919848","display_name":"Query optimization","level":2,"score":0.25690001249313354},{"id":"https://openalex.org/C63553672","wikidata":"https://www.wikidata.org/wiki/Q581168","display_name":"Binary logarithm","level":2,"score":0.2565999925136566},{"id":"https://openalex.org/C3018263672","wikidata":"https://www.wikidata.org/wiki/Q1296251","display_name":"Efficient algorithm","level":2,"score":0.25369998812675476}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3786785","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3786785","pdf_url":null,"source":{"id":"https://openalex.org/S90119964","display_name":"ACM Transactions on Database Systems","issn_l":"0362-5915","issn":["0362-5915","1557-4644"],"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":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Database Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3786785","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3786785","pdf_url":null,"source":{"id":"https://openalex.org/S90119964","display_name":"ACM Transactions on Database Systems","issn_l":"0362-5915","issn":["0362-5915","1557-4644"],"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":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Database Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5649684071540833}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1598698067","https://openalex.org/W1862784933","https://openalex.org/W1964857063","https://openalex.org/W1973113631","https://openalex.org/W1989783863","https://openalex.org/W2015706819","https://openalex.org/W2022092881","https://openalex.org/W2036118854","https://openalex.org/W2044471216","https://openalex.org/W2080551019","https://openalex.org/W2104498537","https://openalex.org/W2125399128","https://openalex.org/W2143102052","https://openalex.org/W2143996311","https://openalex.org/W2146492010","https://openalex.org/W2146507303","https://openalex.org/W2148417962","https://openalex.org/W2158098837","https://openalex.org/W2293299776","https://openalex.org/W2296148711","https://openalex.org/W2536131596","https://openalex.org/W2620939520","https://openalex.org/W2767952030","https://openalex.org/W2798499404","https://openalex.org/W2963025941","https://openalex.org/W2963560792","https://openalex.org/W2964115955","https://openalex.org/W3031536178","https://openalex.org/W3107700780","https://openalex.org/W4295298150","https://openalex.org/W4396892986","https://openalex.org/W4411141319"],"related_works":[],"abstract_inverted_index":{"A":[0],"witness":[1,46,133,164],"is":[2,114],"a":[3,16,68,98,132,180,190,196,219,224,247,251],"sub-database":[4],"that":[5,65,95,140,222],"preserves":[6],"the":[7,11,44,52,63,93,124,129,141,148,158,161,213,271,300,303,309,315],"query":[8,25,29],"results":[9],"of":[10,15,54,131,160,308],"original":[12],"database,":[13],"but":[14],"much":[17],"smaller":[18],"size.":[19],"It":[20,295],"has":[21,81,144],"wide":[22],"applications":[23],"in":[24,73,106],"rewriting":[26],"and":[27,36,77,110,305],"debugging,":[28],"explanation,":[30],"IoT":[31],"analytics,":[32],"multi-layer":[33],"network":[34],"routing,":[35],"so":[37],"on.":[38],"In":[39,166],"this":[40],"article,":[41],"we":[42,91,217,245,266,286],"study":[43],"smallest":[45,163],"problem":[47,151,269],"(":[48],"SWP":[49,66,96,169,184,268,311],")":[50],"for":[51,67,97,147,170,185,210,229,233,256,312],"class":[53],"conjunctive":[55],"queries":[56],"(CQs)":[57],"without":[58,188,212,314],"self-joins.":[59],"We":[60,120,137,204],"first":[61],"establish":[62,287],"dichotomy":[64,94],"CQ":[69,99,172,187,235],"can":[70,103,176,278],"be":[71,104,177,193,279],"computed":[72,105],"polynomial":[74,167],"time":[75,108],"if":[76,79,109,112],"only":[78,111,237],"it":[80,113],"head-cluster":[82,101],"property":[83,102,175,191],",":[84],"unless":[85,199],"P":[86,200],"=":[87,201],"NP":[88,202],".":[89,203],"Furthermore,":[90],"discover":[92],"with":[100,173,236,250],"linear":[107],"acyclic,":[115],"assuming":[116],"some":[117],"well-known":[118],"conjectures.":[119],"next":[121],"turn":[122],"to":[123,270,281,298],"approximated":[125,162,178,194,310],"version":[126],"by":[127],"relaxing":[128],"size":[130],"from":[134],"being":[135],"minimum.":[136],"surprisingly":[138],"find":[139],"head-domination":[142,174,214,316],"property\u2014that":[143],"been":[145],"identified":[146],"deletion":[149],"propagation":[150],"[":[152],"40":[153],"]\u2014can":[154],"also":[155],"precisely":[156],"capture":[157],"hardness":[159],"problem.":[165],"time,":[168],"any":[171,186,234],"within":[179,195],"constant":[181],"factor,":[182,198],"while":[183],"such":[189,241],"cannot":[192],"logarithmic":[197,252],"further":[205],"explore":[206],"efficient":[207],"approximation":[208,227,253],"algorithms":[209,277],"CQs":[211,283,313],"property:":[215],"(1)":[216],"show":[218,246],"trivial":[220],"algorithm":[221,249],"achieves":[223],"polynomially":[225],"large":[226],"ratio":[228],"general":[230],"CQs;":[231],"(2)":[232],"one":[238],"non-output":[239,264],"attribute,":[240],"as":[242],"star":[243],"CQs,":[244,258],"greedy":[248],"ratio;":[254],"(3)":[255],"line":[257,282],"which":[259],"contain":[260],"at":[261],"least":[262],"two":[263],"attributes,":[265],"relate":[267],"directed":[272],"Steiner":[273],"forest":[274],"problem,":[275],"whose":[276],"applied":[280],"directly.":[284],"Meanwhile,":[285],"an":[288],"exponentially":[289],"larger":[290],"lower":[291,304],"bound":[292],"than":[293],"above.":[294],"remains":[296],"open":[297],"close":[299],"gap":[301],"between":[302],"upper":[306],"bounds":[307],"property.":[317]},"counts_by_year":[],"updated_date":"2026-06-16T07:32:37.131356","created_date":"2025-12-31T00:00:00"}