{"id":"https://openalex.org/W2576726417","doi":"https://doi.org/10.1145/3034786.3034787","title":"Circuit Treewidth, Sentential Decision, and Query Compilation","display_name":"Circuit Treewidth, Sentential Decision, and Query Compilation","publication_year":2017,"publication_date":"2017-05-09","ids":{"openalex":"https://openalex.org/W2576726417","doi":"https://doi.org/10.1145/3034786.3034787","mag":"2576726417"},"language":"en","primary_location":{"id":"doi:10.1145/3034786.3034787","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3034786.3034787","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems","raw_type":"proceedings-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/A5023349661","display_name":"Simone Bova","orcid":"https://orcid.org/0000-0002-1069-7257"},"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":true,"raw_author_name":"Simone Bova","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037092803","display_name":"Stefan Szeider","orcid":"https://orcid.org/0000-0001-8994-1656"},"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 Szeider","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5023349661"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":1.7552,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.88046874,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"233","last_page":"246"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9969000220298767,"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"}},"topics":[{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9969000220298767,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9958000183105469,"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.995199978351593,"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/query-optimization","display_name":"Query optimization","score":0.8027822971343994},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8021218776702881},{"id":"https://openalex.org/keywords/query-language","display_name":"Query language","score":0.6761660575866699},{"id":"https://openalex.org/keywords/sargable","display_name":"Sargable","score":0.6397782564163208},{"id":"https://openalex.org/keywords/boolean-conjunctive-query","display_name":"Boolean conjunctive query","score":0.617098331451416},{"id":"https://openalex.org/keywords/query-expansion","display_name":"Query expansion","score":0.5881549715995789},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.5486926436424255},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5270745158195496},{"id":"https://openalex.org/keywords/query-by-example","display_name":"Query by Example","score":0.5076216459274292},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4844112992286682},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4776700437068939},{"id":"https://openalex.org/keywords/rdf-query-language","display_name":"RDF query language","score":0.4629339575767517},{"id":"https://openalex.org/keywords/web-query-classification","display_name":"Web query classification","score":0.46156588196754456},{"id":"https://openalex.org/keywords/probabilistic-database","display_name":"Probabilistic database","score":0.42004960775375366},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.3498278856277466},{"id":"https://openalex.org/keywords/web-search-query","display_name":"Web search query","score":0.3301849365234375},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19689780473709106},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.162247896194458},{"id":"https://openalex.org/keywords/database-theory","display_name":"Database theory","score":0.1582847237586975},{"id":"https://openalex.org/keywords/search-engine","display_name":"Search engine","score":0.13368657231330872}],"concepts":[{"id":"https://openalex.org/C157692150","wikidata":"https://www.wikidata.org/wiki/Q2919848","display_name":"Query optimization","level":2,"score":0.8027822971343994},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8021218776702881},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.6761660575866699},{"id":"https://openalex.org/C192939062","wikidata":"https://www.wikidata.org/wiki/Q104840822","display_name":"Sargable","level":4,"score":0.6397782564163208},{"id":"https://openalex.org/C24755975","wikidata":"https://www.wikidata.org/wiki/Q4943354","display_name":"Boolean conjunctive query","level":5,"score":0.617098331451416},{"id":"https://openalex.org/C99016210","wikidata":"https://www.wikidata.org/wiki/Q5488129","display_name":"Query expansion","level":2,"score":0.5881549715995789},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.5486926436424255},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5270745158195496},{"id":"https://openalex.org/C194222762","wikidata":"https://www.wikidata.org/wiki/Q114486","display_name":"Query by Example","level":4,"score":0.5076216459274292},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4844112992286682},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4776700437068939},{"id":"https://openalex.org/C96956885","wikidata":"https://www.wikidata.org/wiki/Q6138701","display_name":"RDF query language","level":5,"score":0.4629339575767517},{"id":"https://openalex.org/C118689300","wikidata":"https://www.wikidata.org/wiki/Q7978614","display_name":"Web query classification","level":4,"score":0.46156588196754456},{"id":"https://openalex.org/C174539288","wikidata":"https://www.wikidata.org/wiki/Q7246853","display_name":"Probabilistic database","level":4,"score":0.42004960775375366},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.3498278856277466},{"id":"https://openalex.org/C164120249","wikidata":"https://www.wikidata.org/wiki/Q995982","display_name":"Web search query","level":3,"score":0.3301849365234375},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19689780473709106},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.162247896194458},{"id":"https://openalex.org/C12439846","wikidata":"https://www.wikidata.org/wiki/Q4809258","display_name":"Database theory","level":3,"score":0.1582847237586975},{"id":"https://openalex.org/C97854310","wikidata":"https://www.wikidata.org/wiki/Q19541","display_name":"Search engine","level":2,"score":0.13368657231330872},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3034786.3034787","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3034786.3034787","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.75,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W36639738","https://openalex.org/W112858668","https://openalex.org/W143512583","https://openalex.org/W1518905819","https://openalex.org/W1586392743","https://openalex.org/W1949847137","https://openalex.org/W1986660301","https://openalex.org/W2010438070","https://openalex.org/W2023076960","https://openalex.org/W2029001691","https://openalex.org/W2033255359","https://openalex.org/W2078686663","https://openalex.org/W2080267935","https://openalex.org/W2085608749","https://openalex.org/W2108196350","https://openalex.org/W2111229178","https://openalex.org/W2128906567","https://openalex.org/W2156776134","https://openalex.org/W2179600973","https://openalex.org/W2238678393","https://openalex.org/W2253548355","https://openalex.org/W2272508587","https://openalex.org/W2293299776","https://openalex.org/W2338322935","https://openalex.org/W2341999675","https://openalex.org/W2345030715","https://openalex.org/W2402839980","https://openalex.org/W2576122162","https://openalex.org/W2576726417","https://openalex.org/W2579650983","https://openalex.org/W2733688566","https://openalex.org/W2951699500","https://openalex.org/W2962996948","https://openalex.org/W2999916861","https://openalex.org/W3099451540","https://openalex.org/W4213368513","https://openalex.org/W4298687135"],"related_works":["https://openalex.org/W2156776134","https://openalex.org/W2951002752","https://openalex.org/W2405916311","https://openalex.org/W4379135730","https://openalex.org/W1515568087","https://openalex.org/W4224101939","https://openalex.org/W2111229178","https://openalex.org/W2023076960","https://openalex.org/W2114334214","https://openalex.org/W15647449"],"abstract_inverted_index":{"The":[0,28],"evaluation":[1],"of":[2,15,22,30,75,79],"a":[3,6,16,47],"query":[4,24,31,41,71],"over":[5,25,62,86],"probabilistic":[7],"database":[8],"boils":[9],"down":[10],"to":[11],"computing":[12],"the":[13,20,23,26,34,40,57,63],"probability":[14,51,59],"suitable":[17],"Boolean":[18],"function,":[19],"lineage":[21,42],"database.":[27],"method":[29],"compilation":[32,72],"approaches":[33],"task":[35],"in":[36,46,70],"two":[37],"stages:":[38],"first,":[39],"is":[43,53,60,73],"implemented":[44],"(compiled)":[45],"circuit":[48,90],"form":[49],"where":[50],"computation":[52],"tractable;":[54],"and":[55],"second,":[56],"desired":[58],"computed":[61],"compiled":[64],"circuit.":[65],"A":[66],"basic":[67],"theoretical":[68],"quest":[69],"that":[74],"identifying":[76],"pertinent":[77],"classes":[78],"queries":[80],"whose":[81],"lineages":[82],"admit":[83],"compact":[84],"representations":[85],"increasingly":[87],"succinct,":[88],"tractable":[89],"classes.":[91]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}