{"id":"https://openalex.org/W2998664584","doi":"https://doi.org/10.1145/3375395.3387656","title":"Counting Problems over Incomplete Databases","display_name":"Counting Problems over Incomplete Databases","publication_year":2020,"publication_date":"2020-05-29","ids":{"openalex":"https://openalex.org/W2998664584","doi":"https://doi.org/10.1145/3375395.3387656","mag":"2998664584"},"language":"en","primary_location":{"id":"doi:10.1145/3375395.3387656","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3375395.3387656","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1912.11064","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Marcelo Arenas","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Marcelo Arenas","raw_affiliation_strings":["PUC & IMFD Chile, Santiago, Chile"],"affiliations":[{"raw_affiliation_string":"PUC & IMFD Chile, Santiago, Chile","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Pablo Barcel\u00f3","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pablo Barcel\u00f3","raw_affiliation_strings":["PUC & IMFD Chile, Sanrtiago, Chile"],"affiliations":[{"raw_affiliation_string":"PUC & IMFD Chile, Sanrtiago, Chile","institution_ids":[]}]},{"author_position":"last","author":{"id":null,"display_name":"Mika\u00ebl Monet","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mika\u00ebl Monet","raw_affiliation_strings":["IMFD Chile, Santiago, Chile"],"affiliations":[{"raw_affiliation_string":"IMFD Chile, Santiago, Chile","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1524,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.39200419,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"165","last_page":"177"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.9980000257492065,"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"}},"topics":[{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.9980000257492065,"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"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9979000091552734,"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.9976999759674072,"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/counting-problem","display_name":"Counting problem","score":0.6751000285148621},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.6338000297546387},{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.5648999810218811},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5343000292778015},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.4839000105857849},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.4652000069618225},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.46380001306533813},{"id":"https://openalex.org/keywords/complexity-class","display_name":"Complexity class","score":0.454800009727478},{"id":"https://openalex.org/keywords/true-quantified-boolean-formula","display_name":"True quantified Boolean formula","score":0.44760000705718994}],"concepts":[{"id":"https://openalex.org/C16592021","wikidata":"https://www.wikidata.org/wiki/Q5177154","display_name":"Counting problem","level":2,"score":0.6751000285148621},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.6338000297546387},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.5648999810218811},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5453000068664551},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5343000292778015},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48399999737739563},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4839000105857849},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.4652000069618225},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.46380001306533813},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.454800009727478},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.44760000705718994},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44530001282691956},{"id":"https://openalex.org/C203763787","wikidata":"https://www.wikidata.org/wiki/Q371029","display_name":"Null (SQL)","level":2,"score":0.41530001163482666},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.41110000014305115},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.40790000557899475},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.4059999883174896},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.4007999897003174},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.3824000060558319},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.3522000014781952},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.33809998631477356},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.33550000190734863},{"id":"https://openalex.org/C24755975","wikidata":"https://www.wikidata.org/wiki/Q4943354","display_name":"Boolean conjunctive query","level":5,"score":0.33320000767707825},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.29510000348091125},{"id":"https://openalex.org/C115988155","wikidata":"https://www.wikidata.org/wiki/Q3262192","display_name":"Decision problem","level":2,"score":0.29330000281333923},{"id":"https://openalex.org/C12439846","wikidata":"https://www.wikidata.org/wiki/Q4809258","display_name":"Database theory","level":3,"score":0.2890999913215637},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.28439998626708984},{"id":"https://openalex.org/C74640108","wikidata":"https://www.wikidata.org/wiki/Q1372900","display_name":"Propositional formula","level":5,"score":0.2637999951839447},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.2587999999523163},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2547000050544739},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.2506999969482422}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3375395.3387656","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3375395.3387656","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1912.11064","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1912.11064","pdf_url":"https://arxiv.org/pdf/1912.11064","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"},{"id":"pmh:oai:HAL:hal-03356945v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03356945","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SIGMOD/PODS '20: International Conference on Management of Data, Jun 2020, Portland OR USA, France. pp.165-177, ⟨10.1145/3375395.3387656⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1912.11064","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1912.11064","pdf_url":"https://arxiv.org/pdf/1912.11064","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":25,"referenced_works":["https://openalex.org/W1560429372","https://openalex.org/W1984509356","https://openalex.org/W1990391007","https://openalex.org/W1998076865","https://openalex.org/W2004366212","https://openalex.org/W2006912660","https://openalex.org/W2011358434","https://openalex.org/W2044504659","https://openalex.org/W2050171146","https://openalex.org/W2050190588","https://openalex.org/W2064541898","https://openalex.org/W2065538099","https://openalex.org/W2077518845","https://openalex.org/W2079785597","https://openalex.org/W2080370600","https://openalex.org/W2083553352","https://openalex.org/W2084392902","https://openalex.org/W2087213161","https://openalex.org/W2103775650","https://openalex.org/W2115826669","https://openalex.org/W2136658073","https://openalex.org/W2155094138","https://openalex.org/W2171332293","https://openalex.org/W2948516666","https://openalex.org/W2952029797"],"related_works":[],"abstract_inverted_index":{"We":[0,92,198],"study":[1,111,200],"the":[2,12,26,35,51,64,77,82,112,115,118,138,144,162,171,193,201],"complexity":[3,116,182,194,242],"of":[4,14,28,37,66,68,79,81,84,117,140,195,203],"various":[5],"fundamental":[6],"counting":[7,151,157,210,223],"problems":[8,102,205,237],"that":[9,20,34,70,89,150,170,187],"arise":[10],"in":[11,25,129,166,175,220],"context":[13],"incomplete":[15,59],"databases,":[16],"i.e.,":[17],"relational":[18],"databases":[19],"can":[21],"contain":[22],"unknown":[23,39],"values":[24,40],"form":[27],"labeled":[29],"nulls.":[30],"Specifically,":[31],"we":[32,49,148,168,185,228],"assume":[33],"domains":[36],"these":[38,101,204],"are":[41],"finite":[42],"and,":[43],"for":[44,100],"a":[45,87,106,214],"Boolean":[46],"query":[47,232],"q,":[48],"consider":[50,229],"following":[52,119],"two":[53,120],"problems:":[54],"given":[55],"as":[56],"input":[57],"an":[58],"database":[60],"D,":[61],"(a)":[62],"return":[63,75],"number":[65,78],"completions":[67,152,224],"D":[69,85,130],"satisfy":[71],"q;":[72],"or":[73,76],"(b)":[74],"valuations":[80,158,211],"nulls":[83],"yielding":[86],"completion":[88],"satisfies":[90],"q.":[91],"obtain":[93],"dichotomies":[94],"between":[95],"#P-hardness":[96],"and":[97,110,136,190,206,234],"polynomial-time":[98],"computability":[99],"when":[103],"q":[104],"is":[105,132,143,153,164,173],"self-join-free":[107],"conjunctive":[108],"query,":[109],"impact":[113],"on":[114],"restrictions:":[121],"(1)":[122,189],"every":[123],"null":[124,142],"occurs":[125],"at":[126],"most":[127,221],"once":[128],"(what":[131],"called":[133],"Codd":[134],"tables);":[135],"(2)":[137,191],"domain":[139],"each":[141],"same.":[145],"Roughly":[146],"speaking,":[147],"show":[149,207],"much":[154],"harder":[155],"than":[156],"(for":[159],"instance,":[160],"while":[161,209],"latter":[163],"always":[165,212],"#P,":[167],"prove":[169],"former":[172],"not":[174],"#P":[176],"under":[177],"some":[178],"widely":[179],"believed":[180],"theoretical":[181],"assumption).":[183],"Moreover,":[184],"find":[186],"both":[188],"reduce":[192],"our":[196,236],"problems.":[197],"also":[199],"approximability":[202],"that,":[208],"has":[213],"fully":[215],"polynomial":[216],"randomized":[217],"approximation":[218],"scheme,":[219],"cases":[222],"does":[225],"not.":[226],"Finally,":[227],"more":[230],"expressive":[231],"languages":[233],"situate":[235],"with":[238],"respect":[239],"to":[240],"known":[241],"classes.":[243]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2020-01-10T00:00:00"}