{"id":"https://openalex.org/W2999244640","doi":"https://doi.org/10.1017/s147106842100003x","title":"Exploiting Database Management Systems and Treewidth for Counting","display_name":"Exploiting Database Management Systems and Treewidth for Counting","publication_year":2021,"publication_date":"2021-03-12","ids":{"openalex":"https://openalex.org/W2999244640","doi":"https://doi.org/10.1017/s147106842100003x","mag":"2999244640"},"language":"en","primary_location":{"id":"doi:10.1017/s147106842100003x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s147106842100003x","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2001.04191","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"JOHANNES K. FICHTE","orcid":null},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"JOHANNES K. FICHTE","raw_affiliation_strings":["UC Berkeley, Berkeley, CA, USA (e-mail:"],"affiliations":[{"raw_affiliation_string":"UC Berkeley, Berkeley, CA, USA (e-mail:","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":null,"display_name":"MARKUS HECHER","orcid":"https://orcid.org/0000-0003-0131-6771"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"MARKUS HECHER","raw_affiliation_strings":["TU Wien, Vienna, Austria (e-mails:"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria (e-mails:","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":null,"display_name":"PATRICK THIER","orcid":null},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"PATRICK THIER","raw_affiliation_strings":["TU Wien, Vienna, Austria (e-mails:"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria (e-mails:","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":null,"display_name":"STEFAN WOLTRAN","orcid":"https://orcid.org/0000-0003-1594-8972"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"STEFAN WOLTRAN","raw_affiliation_strings":["TU Wien, Vienna, Austria (e-mails:"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria (e-mails:","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I95457486"],"apc_list":null,"apc_paid":null,"fwci":0.7161,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.71242366,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"22","issue":"1","first_page":"128","last_page":"157"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11719","display_name":"Data Quality and Management","score":0.3921000063419342,"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"}},"topics":[{"id":"https://openalex.org/T11719","display_name":"Data Quality and Management","score":0.3921000063419342,"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.18330000340938568,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.0778999999165535,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/sql","display_name":"SQL","score":0.5638999938964844},{"id":"https://openalex.org/keywords/treewidth","display_name":"Treewidth","score":0.5235999822616577},{"id":"https://openalex.org/keywords/benchmarking","display_name":"Benchmarking","score":0.42410001158714294},{"id":"https://openalex.org/keywords/table","display_name":"Table (database)","score":0.41940000653266907},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.38920000195503235},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.3815000057220459},{"id":"https://openalex.org/keywords/true-quantified-boolean-formula","display_name":"True quantified Boolean formula","score":0.3684999942779541},{"id":"https://openalex.org/keywords/counting-problem","display_name":"Counting problem","score":0.35589998960494995}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8827000260353088},{"id":"https://openalex.org/C510870499","wikidata":"https://www.wikidata.org/wiki/Q47607","display_name":"SQL","level":2,"score":0.5638999938964844},{"id":"https://openalex.org/C132569581","wikidata":"https://www.wikidata.org/wiki/Q5067368","display_name":"Treewidth","level":5,"score":0.5235999822616577},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.476500004529953},{"id":"https://openalex.org/C86251818","wikidata":"https://www.wikidata.org/wiki/Q816754","display_name":"Benchmarking","level":2,"score":0.42410001158714294},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.41940000653266907},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.38920000195503235},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3815000057220459},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.3684999942779541},{"id":"https://openalex.org/C16592021","wikidata":"https://www.wikidata.org/wiki/Q5177154","display_name":"Counting problem","level":2,"score":0.35589998960494995},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.34779998660087585},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3271999955177307},{"id":"https://openalex.org/C37404715","wikidata":"https://www.wikidata.org/wiki/Q380679","display_name":"Dynamic programming","level":2,"score":0.325300008058548},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.3068999946117401},{"id":"https://openalex.org/C163797641","wikidata":"https://www.wikidata.org/wiki/Q2067937","display_name":"Tree structure","level":3,"score":0.29989999532699585},{"id":"https://openalex.org/C154420247","wikidata":"https://www.wikidata.org/wiki/Q846619","display_name":"Stored procedure","level":5,"score":0.29409998655319214},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.2924000024795532},{"id":"https://openalex.org/C2780882242","wikidata":"https://www.wikidata.org/wiki/Q14235582","display_name":"Literal (mathematical logic)","level":2,"score":0.29190000891685486},{"id":"https://openalex.org/C70501317","wikidata":"https://www.wikidata.org/wiki/Q462095","display_name":"Tree decomposition","level":5,"score":0.288100004196167},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28139999508857727},{"id":"https://openalex.org/C82687282","wikidata":"https://www.wikidata.org/wiki/Q66221","display_name":"Auxiliary memory","level":2,"score":0.27630001306533813},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26510000228881836},{"id":"https://openalex.org/C157692150","wikidata":"https://www.wikidata.org/wiki/Q2919848","display_name":"Query optimization","level":2,"score":0.2639999985694885},{"id":"https://openalex.org/C207024777","wikidata":"https://www.wikidata.org/wiki/Q621673","display_name":"Search tree","level":3,"score":0.25279998779296875},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.2524999976158142}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s147106842100003x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s147106842100003x","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2001.04191","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2001.04191","pdf_url":"https://arxiv.org/pdf/2001.04191","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2001.04191","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2001.04191","pdf_url":"https://arxiv.org/pdf/2001.04191","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":55,"referenced_works":["https://openalex.org/W179198942","https://openalex.org/W189719929","https://openalex.org/W325136039","https://openalex.org/W1536954034","https://openalex.org/W1537730723","https://openalex.org/W1825216778","https://openalex.org/W1848089821","https://openalex.org/W1964821516","https://openalex.org/W1982333717","https://openalex.org/W1994520092","https://openalex.org/W2050842068","https://openalex.org/W2075530391","https://openalex.org/W2114267503","https://openalex.org/W2118622620","https://openalex.org/W2137407595","https://openalex.org/W2143406303","https://openalex.org/W2145503356","https://openalex.org/W2185907055","https://openalex.org/W2186752618","https://openalex.org/W2294633264","https://openalex.org/W2551391766","https://openalex.org/W2555981498","https://openalex.org/W2560025973","https://openalex.org/W2617661790","https://openalex.org/W2741061345","https://openalex.org/W2758747189","https://openalex.org/W2807939870","https://openalex.org/W2902960646","https://openalex.org/W2914414140","https://openalex.org/W2948333530","https://openalex.org/W2966083108","https://openalex.org/W2967340447","https://openalex.org/W2974923751","https://openalex.org/W2984546510","https://openalex.org/W2996917877","https://openalex.org/W2997686574","https://openalex.org/W3003697368","https://openalex.org/W3030023697","https://openalex.org/W3040346023","https://openalex.org/W3083091134","https://openalex.org/W3085485238","https://openalex.org/W3090901911","https://openalex.org/W3204797423","https://openalex.org/W4206392861","https://openalex.org/W4394027888","https://openalex.org/W6647627328","https://openalex.org/W6655556485","https://openalex.org/W6676566120","https://openalex.org/W6682885712","https://openalex.org/W6684440478","https://openalex.org/W6684582795","https://openalex.org/W6686385223","https://openalex.org/W6687485572","https://openalex.org/W6691356458","https://openalex.org/W6790630052"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Bounded":[1],"treewidth":[2,88],"is":[3,28,180],"one":[4],"of":[5,37,62,86,105,120,130,136,158,177,194],"the":[6,12,34,103,134,156,163],"most":[7],"cited":[8],"combinatorial":[9],"invariants":[10],"in":[11,118,123],"literature.":[13],"It":[14],"was":[15],"also":[16],"applied":[17],"for":[18,47,60,127,170,185],"solving":[19,90],"several":[20],"counting":[21,26,58,72],"problems":[22,59],"efficiently.":[23],"A":[24,174],"canonical":[25],"problem":[27],"#Sat,":[29],"which":[30,143],"asks":[31],"to":[32,70,138,149,166],"count":[33],"satisfying":[35],"assignments":[36],"a":[38,67,108,146,168,191],"Boolean":[39],"formula.":[40],"Recent":[41],"work":[42],"shows":[43],"that":[44,181],"benchmarking":[45],"instances":[46,61,91],"#Sat":[48],"often":[49,116],"have":[50],"reasonably":[51],"small":[52,63,87],"treewidth.":[53,64],"This":[54,125],"paper":[55],"deals":[56],"with":[57,187,190],"We":[65],"introduce":[66],"general":[68],"framework":[69,82],"solve":[71],"questions":[73],"based":[74],"on":[75,96,172],"state-of-the-art":[76],"database":[77],"management":[78],"systems":[79],"(DBMSs).":[80],"Our":[81],"takes":[83],"explicitly":[84],"advantage":[85,176],"by":[89],"using":[92],"dynamic":[93],"programming":[94],"(DP)":[95],"tree":[97],"decompositions":[98],"(TD).":[99],"Therefore,":[100],"we":[101,161],"implement":[102],"concept":[104],"DP":[106,112,131,151],"into":[107,153],"DBMS":[109,169],"(PostgreSQL),":[110],"since":[111],"algorithms":[113,132,152,171],"are":[114],"already":[115],"given":[117],"terms":[119],"table":[121],"manipulations":[122],"theory.":[124],"allows":[126],"elegant":[128],"specifications":[129],"and":[133,141],"use":[135],"SQL":[137],"manipulate":[139],"records":[140],"tables,":[142],"gives":[144],"us":[145],"natural":[147],"approach":[148,165,179],"bring":[150],"practice.":[154],"To":[155],"best":[157],"our":[159,178],"knowledge,":[160],"present":[162],"first":[164],"employ":[167],"TDs.":[173],"key":[175],"DBMSs":[182],"naturally":[183],"allow":[184],"dealing":[186],"huge":[188],"tables":[189],"limited":[192],"amount":[193],"main":[195],"memory":[196],"(RAM).":[197]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2020-01-23T00:00:00"}