{"id":"https://openalex.org/W1530000138","doi":null,"title":"Universal Finiteness and Satisfiability.","display_name":"Universal Finiteness and Satisfiability.","publication_year":1994,"publication_date":"1994-01-01","ids":{"openalex":"https://openalex.org/W1530000138","mag":"1530000138"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.44.9019","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.9019","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://portal.research.bell-labs.com/home/mumick@research/papers/pspapers/pods94PubUnivFinite940330.ps.Z","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5060258942","display_name":"Inderpal Singh Mumick","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Inderpal Singh Mumick","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5047193562","display_name":"Oded Shmueli","orcid":"https://orcid.org/0000-0003-4304-310X","observed_orcids":["https://orcid.org/0000-0003-4304-310X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Oded Shmueli","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9406,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.75748361,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"190","last_page":"200"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.736299991607666,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.736299991607666,"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.1120000034570694,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.03500000014901161,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/satisfiability","display_name":"satisfiability","score":0.9599999785423279},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.5080000162124634},{"id":"https://openalex.org/keywords/decidability","display_name":"decidability","score":0.8479999899864197},{"id":"https://openalex.org/keywords/undecidability","display_name":"undecidability","score":0.9879999756813049},{"id":"https://openalex.org/keywords/query-processing","display_name":"query processing","score":0.36800000071525574}],"concepts":[{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7439911961555481},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6070188283920288},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3956095278263092},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3602929711341858},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34776681661605835}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.44.9019","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.9019","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://portal.research.bell-labs.com/home/mumick@research/papers/pspapers/pods94PubUnivFinite940330.ps.Z","raw_type":"text"},{"id":"mag:1530000138","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/pods/pods94.html#MumickS94","pdf_url":null,"source":{"id":"https://openalex.org/S4306420993","display_name":"Symposium on Principles of Database Systems","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Symposium on Principles of Database Systems","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W125053135","https://openalex.org/W245469613","https://openalex.org/W1501047561","https://openalex.org/W1596887828","https://openalex.org/W1846087057","https://openalex.org/W1994301353","https://openalex.org/W1995214664","https://openalex.org/W2004862636","https://openalex.org/W2012670464","https://openalex.org/W2023578426","https://openalex.org/W2105681750","https://openalex.org/W2110463644","https://openalex.org/W2144829796","https://openalex.org/W2146078049"],"related_works":["https://openalex.org/W2038239639","https://openalex.org/W1865654227","https://openalex.org/W7097046623","https://openalex.org/W2174784885","https://openalex.org/W1769503814","https://openalex.org/W2146078049","https://openalex.org/W1577516165","https://openalex.org/W2058844036","https://openalex.org/W118881","https://openalex.org/W2173302770"],"abstract_inverted_index":{")":[0],"Inderpal":[1],"Singh":[2],"Mumick":[3],"AT&T":[4],"Bell":[5],"Laboratories":[6],"mumick@research.att.com":[7],"Oded":[8],"Shmueli":[9],"Technion":[10],"oshmu@cs.Technion.ac.il":[11],"Abstract":[12],"The":[13,41,113],"problem":[14,42,72,102,115],"of":[15,33,43],"determining":[16,44],"whether,":[17],"for":[18,57,84,93,105,130],"every":[19],"extensional":[20,59],"database,":[21],"a":[22,26,30,46,50,54],"given":[23,27,47,51],"predicate":[24,48],"in":[25,49],"program":[28,52],"has":[29,53],"finite":[31],"number":[32],"derivations":[34],"is":[35,61,103],"called":[36,62],"the":[37,63,69,77,99,121],"universal":[38,70,90,100,122,136],"finiteness":[39,71,91,101,123],"problem.":[40,65,79],"whether":[45],"non-empty":[55],"extension":[56],"some":[58],"database":[60],"satisfiability":[64,78,85,114,131],"We":[66],"show":[67],"that":[68,98,126],"can":[73,86,96,116,132,141],"be":[74,87,117,133],"reduced":[75,119],"to":[76,89,120,135],"Thus":[80],"all":[81,127],"decidability":[82],"results":[83,129],"applied":[88,134],"-":[92],"example,":[94],"we":[95,140],"infer":[97,142],"decidable":[104],"Datalog":[106],"extended":[107],"with":[108],"negation":[109],"on":[110],"base":[111],"predicates.":[112],"easily":[118],"problem,":[124],"so":[125],"undecidability":[128],"finiteness.":[137],"For":[138],"example":[139],"t...":[143]},"counts_by_year":[],"updated_date":"2026-09-26T08:19:03.415552","created_date":"2016-06-24T00:00:00"}