{"id":"https://openalex.org/W4416146054","doi":"https://doi.org/10.1145/3767710","title":"A Unifying Algorithm for Hierarchical Queries","display_name":"A Unifying Algorithm for Hierarchical Queries","publication_year":2025,"publication_date":"2025-11-10","ids":{"openalex":"https://openalex.org/W4416146054","doi":"https://doi.org/10.1145/3767710"},"language":"en","primary_location":{"id":"doi:10.1145/3767710","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3767710","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":"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://doi.org/10.1145/3767710","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034538466","display_name":"Mahmoud Abo Khamis","orcid":"https://orcid.org/0000-0003-3894-6494"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mahmoud Abo Khamis","raw_affiliation_strings":["RelationalAI, Berkeley, CA, USA"],"raw_orcid":"https://orcid.org/0000-0003-3894-6494","affiliations":[{"raw_affiliation_string":"RelationalAI, Berkeley, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010003349","display_name":"Jesse Comer","orcid":"https://orcid.org/0009-0006-9734-3457"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jesse Comer","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":"https://orcid.org/0009-0006-9734-3457","affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041825861","display_name":"Phokion G. Kolaitis","orcid":"https://orcid.org/0000-0002-8407-8563"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Phokion G. Kolaitis","raw_affiliation_strings":["UC Santa Cruz, Santa Cruz, CA, USA and IBM Research, Almaden, CA, USA"],"raw_orcid":"https://orcid.org/0000-0002-8407-8563","affiliations":[{"raw_affiliation_string":"UC Santa Cruz, Santa Cruz, CA, USA and IBM Research, Almaden, CA, USA","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Sudeepa Roy","orcid":"https://orcid.org/0009-0002-8300-7891"},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sudeepa Roy","raw_affiliation_strings":["Duke University, Durham, NC, USA"],"raw_orcid":"https://orcid.org/0009-0002-8300-7891","affiliations":[{"raw_affiliation_string":"Duke University, Durham, NC, USA","institution_ids":["https://openalex.org/I170897317"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036528289","display_name":"Val Tannen","orcid":"https://orcid.org/0009-0008-6847-7274"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Val Tannen","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":"https://orcid.org/0009-0008-6847-7274","affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"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.34999566,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"3","issue":"5","first_page":"1","last_page":"22"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.41440001130104065,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.41440001130104065,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.1298000067472458,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.09790000319480896,"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.6183000206947327},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5220999717712402},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4790000021457672},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4526999890804291},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.42969998717308044},{"id":"https://openalex.org/keywords/database-theory","display_name":"Database theory","score":0.3950999975204468},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.38580000400543213},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.3614000082015991},{"id":"https://openalex.org/keywords/maximization","display_name":"Maximization","score":0.33889999985694885}],"concepts":[{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.6183000206947327},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6086999773979187},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5855000019073486},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5220999717712402},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4790000021457672},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4526999890804291},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.42969998717308044},{"id":"https://openalex.org/C12439846","wikidata":"https://www.wikidata.org/wiki/Q4809258","display_name":"Database theory","level":3,"score":0.3950999975204468},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.38580000400543213},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.3614000082015991},{"id":"https://openalex.org/C2776330181","wikidata":"https://www.wikidata.org/wiki/Q18358244","display_name":"Maximization","level":2,"score":0.33889999985694885},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3336000144481659},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33219999074935913},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.3305000066757202},{"id":"https://openalex.org/C24755975","wikidata":"https://www.wikidata.org/wiki/Q4943354","display_name":"Boolean conjunctive query","level":5,"score":0.3273000121116638},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.3158000111579895},{"id":"https://openalex.org/C46274116","wikidata":"https://www.wikidata.org/wiki/Q185521","display_name":"Truth value","level":2,"score":0.3118000030517578},{"id":"https://openalex.org/C3018263672","wikidata":"https://www.wikidata.org/wiki/Q1296251","display_name":"Efficient algorithm","level":2,"score":0.30640000104904175},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.3003999888896942},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.27059999108314514},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.26750001311302185},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.260699987411499},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.258899986743927},{"id":"https://openalex.org/C148764684","wikidata":"https://www.wikidata.org/wiki/Q621751","display_name":"Approximation algorithm","level":2,"score":0.2551000118255615},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.2533000111579895}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3767710","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3767710","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":"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/3767710","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3767710","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":"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":[{"id":"https://openalex.org/F4320334164","display_name":"Simons Institute for the Theory of Computing, University of California Berkeley","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1570425181","https://openalex.org/W1862784933","https://openalex.org/W2043997666","https://openalex.org/W2052936500","https://openalex.org/W2072181151","https://openalex.org/W2078686663","https://openalex.org/W2079785597","https://openalex.org/W2091602684","https://openalex.org/W2592257482","https://openalex.org/W2893188841","https://openalex.org/W2936689511","https://openalex.org/W3031536178","https://openalex.org/W4312046579","https://openalex.org/W4411329205"],"related_works":[],"abstract_inverted_index":{"The":[0,89],"class":[1],"of":[2,11,46,69,187,195],"hierarchical":[3,63,151],"queries":[4,30,64],"is":[5,143],"known":[6],"to":[7,57],"define":[8,65],"the":[9,12,19,43,67,70,85,104,139,188,196,200],"boundary":[10,68],"dichotomy":[13,71],"between":[14,72],"tractability":[15,73],"and":[16,74,166],"intractability":[17,75],"for":[18,76,150,199],"following":[20],"two":[21],"extensively":[22],"studied":[23],"problems":[24,159,190],"about":[25],"self-join":[26],"free":[27],"Boolean":[28],"conjunctive":[29],"(SJF-BCQ):":[31],"(i)":[32],"evaluating":[33],"a":[34,37,47,50,54,77,95,100,114,170,183,192],"SJF-BCQ":[35,55,96],"on":[36,52,113,177],"tuple-independent":[38],"probabilistic":[39],"database;":[40],"(ii)":[41],"computing":[42],"Shapley":[44,163],"value":[45,106,164],"fact":[48],"in":[49],"database":[51,101,115,129],"which":[53,82],"evaluates":[56],"true.":[58],"Here,":[59],"we":[60,83,136,153],"establish":[61],"that":[62,107,138,155,175],"also":[66],"different":[78,193],"natural":[79],"algorithmic":[80],"problem,":[81],"call":[84],"bag-set":[86,90,140,167],"maximization":[87,91,141],"problem.":[88,147],"problem":[92,142,201],"associated":[93],"with":[94],"Q":[97,108],"asks:":[98],"given":[99,128],"D,":[102],"find":[103],"biggest":[105],"takes":[109],"under":[110],"bag":[111],"semantics":[112],"D'":[116],"obtained":[117],"from":[118,126],"D":[119,130],"by":[120],"adding":[121],"at":[122,202],"most":[123],"\u03b8":[124],"facts":[125],"another":[127],"r":[131],".":[132,185],"For":[133],"non-hierarchical":[134],"queries,":[135,152],"show":[137,154],"an":[144,178],"NP-complete":[145],"optimization":[146],"More":[148],"significantly,":[149],"all":[156],"three":[157,189],"aforementioned":[158],"(probabilistic":[160],"query":[161],"evaluation,":[162],"computation,":[165],"maximization)":[168],"admit":[169],"single":[171],"unifying":[172],"polynomial-time":[173],"algorithm":[174],"operates":[176],"abstract":[179],"algebraic":[180],"structure,":[181],"called":[182],"2-monoid":[184,197],"Each":[186],"requires":[191],"instantiation":[194],"tailored":[198],"hand.":[203]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-11-12T00:00:00"}