{"id":"https://openalex.org/W4396892986","doi":"https://doi.org/10.1145/3651605","title":"Minimally Factorizing the Provenance of Self-join Free Conjunctive Queries","display_name":"Minimally Factorizing the Provenance of Self-join Free Conjunctive Queries","publication_year":2024,"publication_date":"2024-05-10","ids":{"openalex":"https://openalex.org/W4396892986","doi":"https://doi.org/10.1145/3651605"},"language":"en","primary_location":{"id":"doi:10.1145/3651605","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3651605","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3651605","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3651605","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009013643","display_name":"Neha Makhija","orcid":"https://orcid.org/0000-0003-0221-6836"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Neha Makhija","raw_affiliation_strings":["Northeastern University, Boston, MA, USA"],"affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, MA, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086781628","display_name":"Wolfgang Gatterbauer","orcid":"https://orcid.org/0000-0002-9614-0504"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wolfgang Gatterbauer","raw_affiliation_strings":["Northeastern University, Boston, MA, USA"],"affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, MA, USA","institution_ids":["https://openalex.org/I12912129"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5009013643"],"corresponding_institution_ids":["https://openalex.org/I12912129"],"apc_list":null,"apc_paid":null,"fwci":3.2209,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.92945928,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"2","issue":"2","first_page":"1","last_page":"24"},"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.9997000098228455,"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.9997000098228455,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9940000176429749,"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/T11719","display_name":"Data Quality and Management","score":0.9934999942779541,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/p","display_name":"P","score":0.7232529520988464},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.659071147441864},{"id":"https://openalex.org/keywords/factorization","display_name":"Factorization","score":0.6578471660614014},{"id":"https://openalex.org/keywords/boolean-data-type","display_name":"Boolean data type","score":0.5625919103622437},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5369318127632141},{"id":"https://openalex.org/keywords/join","display_name":"Join (topology)","score":0.4621679484844208},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4285622239112854},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41548722982406616},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.4103900194168091},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.37267643213272095},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35691627860069275},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.316392183303833},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.30237138271331787},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2706931233406067},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.07883131504058838},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.07714089751243591},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07104569673538208}],"concepts":[{"id":"https://openalex.org/C134026603","wikidata":"https://www.wikidata.org/wiki/Q846354","display_name":"P","level":3,"score":0.7232529520988464},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.659071147441864},{"id":"https://openalex.org/C187834632","wikidata":"https://www.wikidata.org/wiki/Q188804","display_name":"Factorization","level":2,"score":0.6578471660614014},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.5625919103622437},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5369318127632141},{"id":"https://openalex.org/C2776124973","wikidata":"https://www.wikidata.org/wiki/Q3183033","display_name":"Join (topology)","level":2,"score":0.4621679484844208},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4285622239112854},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41548722982406616},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.4103900194168091},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37267643213272095},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35691627860069275},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.316392183303833},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.30237138271331787},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2706931233406067},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.07883131504058838},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.07714089751243591},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07104569673538208}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3651605","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3651605","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3651605","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":{"id":"doi:10.1145/3651605","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3651605","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3651605","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Management of Data","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4396892986.pdf"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W420407208","https://openalex.org/W1532196532","https://openalex.org/W1593793857","https://openalex.org/W1862784933","https://openalex.org/W1979604948","https://openalex.org/W1983178058","https://openalex.org/W1989783863","https://openalex.org/W1991477862","https://openalex.org/W2010003895","https://openalex.org/W2015987974","https://openalex.org/W2020774087","https://openalex.org/W2028124393","https://openalex.org/W2031298013","https://openalex.org/W2040293060","https://openalex.org/W2046649829","https://openalex.org/W2050100848","https://openalex.org/W2056994701","https://openalex.org/W2062282899","https://openalex.org/W2070023605","https://openalex.org/W2076694979","https://openalex.org/W2111692040","https://openalex.org/W2113123266","https://openalex.org/W2115324747","https://openalex.org/W2124647958","https://openalex.org/W2125399128","https://openalex.org/W2129299803","https://openalex.org/W2148417962","https://openalex.org/W2163925749","https://openalex.org/W2166214052","https://openalex.org/W2293299776","https://openalex.org/W2536131596","https://openalex.org/W2585424461","https://openalex.org/W2613457660","https://openalex.org/W2913095643","https://openalex.org/W2948257569","https://openalex.org/W3031536178","https://openalex.org/W4211035117","https://openalex.org/W4211250771","https://openalex.org/W4214932999","https://openalex.org/W4230573295","https://openalex.org/W4238104076","https://openalex.org/W4253887201","https://openalex.org/W4298184511","https://openalex.org/W4312046579"],"related_works":["https://openalex.org/W2963364464","https://openalex.org/W2551830925","https://openalex.org/W2156776134","https://openalex.org/W1977121595","https://openalex.org/W2069986075","https://openalex.org/W4288363924","https://openalex.org/W2157308304","https://openalex.org/W2261395231","https://openalex.org/W2606293658","https://openalex.org/W3166830313"],"abstract_inverted_index":{"We":[0,100,113,132],"consider":[1],"the":[2,6,10,24,35,42,46,66,89,127,152],"problem":[3,30,40,67,130],"of":[4,9,12,26,45,49,79,94,157],"finding":[5],"minimal-size":[7],"factorization":[8,39,129],"provenance":[11,47],"self-join-free":[13],"conjunctive":[14],"queries,":[15],"i.e.,we":[16],"want":[17],"to":[18,33,117],"find":[19],"a":[20,76,135],"formula":[21,38,56],"that":[22,65,81,124,141,150,182],"minimizes":[23],"number":[25],"variable":[27],"repetitions.":[28],"This":[29],"is":[31,58,68],"equivalent":[32],"solving":[34],"fundamental":[36],"Boolean":[37,55],"for":[41,167],"restricted":[43],"setting":[44],"formulas":[48,96],"self-join":[50],"free":[51],"queries.":[52,99],"While":[53],"general":[54],"minimization":[57],"\u03a3":[59],"p":[60],"2":[61],"-complete,":[62],"we":[63,74,148,174],"show":[64,149],"NP-Complete":[69,195],"in":[70,85,190],"our":[71,158,161],"case.":[72],"Additionally,":[73],"identify":[75],"large":[77],"class":[78],"queries":[80],"can":[82,125,183],"be":[83],"solved":[84],"PTIME,":[86,191],"expanding":[87],"beyond":[88],"previously":[90],"known":[91,170,187],"tractable":[92],"cases":[93,189,196],"read-once":[95],"and":[97,109,160,180],"hierarchical":[98],"describe":[101],"connections":[102],"between":[103],"factorizations,":[104],"Variable":[105],"Elimination":[106],"Orders":[107],"(VEOs),":[108],"minimal":[110,128],"query":[111],"plans.":[112],"leverage":[114],"these":[115],"insights":[116],"create":[118],"an":[119,143],"Integer":[120],"Linear":[121,153],"Program":[122],"(ILP)":[123,199],"solve":[126,194],"exactly.":[131],"also":[133,193],"propose":[134],"Max-Flow":[136],"Min-Cut":[137],"(MFMC)":[138],"based":[139],"algorithm":[140,163],"gives":[142],"efficient":[144],"approximate":[145],"solution.":[146],"Importantly,":[147],"both":[151,184],"Programming":[154],"(LP)":[155],"relaxation":[156],"ILP,":[159],"MFMC-based":[162],"are":[164],"always":[165],"correct":[166],"all":[168,186],"currently":[169],"PTIME":[171,188],"cases.":[172],"Thus,":[173],"present":[175],"two":[176],"unified":[177],"algorithms":[178],"(ILP":[179],"MFMC)":[181],"recover":[185],"yet":[192],"either":[197],"exactly":[198],"or":[200],"approximately":[201],"(MFMC),":[202],"as":[203],"desired.":[204]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}