{"id":"https://openalex.org/W1994801292","doi":"https://doi.org/10.1145/232616.232691","title":"Implementing deductive databases by mixed integer programming","display_name":"Implementing deductive databases by mixed integer programming","publication_year":1996,"publication_date":"1996-06-01","ids":{"openalex":"https://openalex.org/W1994801292","doi":"https://doi.org/10.1145/232616.232691","mag":"1994801292"},"language":"en","primary_location":{"id":"doi:10.1145/232616.232691","doi":"https://doi.org/10.1145/232616.232691","is_oa":false,"landing_page_url":"https://doi.org/10.1145/232616.232691","pdf_url":null,"source":{"id":"https://openalex.org/S90119964","display_name":"ACM Transactions on Database Systems","issn_l":"0362-5915","issn":["0362-5915","1557-4644"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-a","cwts-core","dongbi-a","jufo-3","norway-1","poland-100","russia-white-list-2"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Database Systems","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"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/A5085524703","display_name":"Colin E. Bell","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I126307644","display_name":"University of Iowa","ror":"https://ror.org/036jqmy94","country_code":"US","type":"education","lineage":["https://openalex.org/I126307644"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Colin Bell","raw_affiliation_strings":["Univ. of Iowa, Iowa City","University of Iowa, Iowa City"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of Iowa, Iowa City","institution_ids":["https://openalex.org/I126307644"]},{"raw_affiliation_string":"University of Iowa, Iowa City","institution_ids":["https://openalex.org/I126307644"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082347461","display_name":"Anil Nerode","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anil Nerode","raw_affiliation_strings":["Cornell Univ., Ithaca, NY","Cornell University (Ithaca, NY);"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cornell Univ., Ithaca, NY","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"Cornell University (Ithaca, NY);","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113567130","display_name":"Raymond T. Ng","orcid":"https://orcid.org/0000-0003-3692-8524","observed_orcids":["https://orcid.org/0000-0003-3692-8524"]},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Raymond T. Ng","raw_affiliation_strings":["Univ. of British Columbia, Vancouver, B.C., Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of British Columbia, Vancouver, B.C., Canada","institution_ids":["https://openalex.org/I141945490"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038645035","display_name":"V. S. Subrahmanian","orcid":"https://orcid.org/0000-0001-7191-0296","observed_orcids":["https://orcid.org/0000-0001-7191-0296"]},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"V. S. Subrahmanian","raw_affiliation_strings":["Univ. of Maryland, College Park","University of Maryland, College Park"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of Maryland, College Park","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"University of Maryland, College Park","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.2977,"has_fulltext":true,"cited_by_count":23,"citation_normalized_percentile":{"value":0.91274759,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":"21","issue":"2","first_page":"238","last_page":"269"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.725600004196167,"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.725600004196167,"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.2410999983549118,"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.009399999864399433,"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/deductive-databases","display_name":"deductive databases","score":1.0},{"id":"https://openalex.org/keywords/mixed-integer-programming","display_name":"mixed integer programming","score":0.9419999718666077},{"id":"https://openalex.org/keywords/prolog-compiler","display_name":"Prolog compiler","score":0.6679999828338623},{"id":"https://openalex.org/keywords/least-model","display_name":"least model","score":0.7419999837875366},{"id":"https://openalex.org/keywords/minimal-models","display_name":"minimal models","score":0.9559999704360962},{"id":"https://openalex.org/keywords/integrity-constraints","display_name":"integrity constraints","score":0.8209999799728394},{"id":"https://openalex.org/keywords/incremental-inference","display_name":"incremental inference","score":0.6119999885559082},{"id":"https://openalex.org/keywords/declarative-query-language","display_name":"declarative query language","score":0.8149999976158142}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7983187437057495},{"id":"https://openalex.org/C2777502361","wikidata":"https://www.wikidata.org/wiki/Q1182254","display_name":"Deductive database","level":2,"score":0.7314008474349976},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.7307068109512329},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6481825709342957},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6372852325439453},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.6256570219993591},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6018401384353638},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.5644907355308533},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.5463966131210327},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.5362652540206909},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.4142873287200928},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36024177074432373},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3454459309577942},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.31213900446891785},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.29222217202186584},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.23254802823066711}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/232616.232691","doi":"https://doi.org/10.1145/232616.232691","is_oa":false,"landing_page_url":"https://doi.org/10.1145/232616.232691","pdf_url":null,"source":{"id":"https://openalex.org/S90119964","display_name":"ACM Transactions on Database Systems","issn_l":"0362-5915","issn":["0362-5915","1557-4644"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-a","cwts-core","dongbi-a","jufo-3","norway-1","poland-100","russia-white-list-2"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Database Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G177218894","display_name":null,"funder_award_id":"F49620","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332815","display_name":"Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":60,"referenced_works":["https://openalex.org/W24738145","https://openalex.org/W55851624","https://openalex.org/W315515509","https://openalex.org/W574021660","https://openalex.org/W574847322","https://openalex.org/W1524811847","https://openalex.org/W1528738961","https://openalex.org/W1537170873","https://openalex.org/W1541434994","https://openalex.org/W1551066637","https://openalex.org/W1564988436","https://openalex.org/W1570025952","https://openalex.org/W1572693407","https://openalex.org/W1600378632","https://openalex.org/W1952578545","https://openalex.org/W1966614680","https://openalex.org/W1976816453","https://openalex.org/W1977434144","https://openalex.org/W1977946745","https://openalex.org/W1985220893","https://openalex.org/W1992810975","https://openalex.org/W1995312751","https://openalex.org/W1997189447","https://openalex.org/W1998147193","https://openalex.org/W2011992362","https://openalex.org/W2012670464","https://openalex.org/W2012983375","https://openalex.org/W2014194924","https://openalex.org/W2037474536","https://openalex.org/W2038467301","https://openalex.org/W2040019628","https://openalex.org/W2040475127","https://openalex.org/W2046076510","https://openalex.org/W2056147406","https://openalex.org/W2058656940","https://openalex.org/W2070553391","https://openalex.org/W2071846104","https://openalex.org/W2074154477","https://openalex.org/W2085301456","https://openalex.org/W2092931458","https://openalex.org/W2101024916","https://openalex.org/W2108911687","https://openalex.org/W2118210775","https://openalex.org/W2123396057","https://openalex.org/W2132063146","https://openalex.org/W2132745831","https://openalex.org/W2139875914","https://openalex.org/W2143133577","https://openalex.org/W2144747373","https://openalex.org/W2162621793","https://openalex.org/W2411085520","https://openalex.org/W2913288853","https://openalex.org/W3105310055","https://openalex.org/W3146312719","https://openalex.org/W4205167958","https://openalex.org/W4206370914","https://openalex.org/W4255993952","https://openalex.org/W6632380663","https://openalex.org/W6724196696","https://openalex.org/W7029769179"],"related_works":["https://openalex.org/W1987578121","https://openalex.org/W1537170873","https://openalex.org/W2074154477","https://openalex.org/W1480711285","https://openalex.org/W2093207498","https://openalex.org/W2173637788","https://openalex.org/W2185361483","https://openalex.org/W2309604437","https://openalex.org/W2065555531","https://openalex.org/W1843876191"],"abstract_inverted_index":{"Existing":[0],"and":[1,12,60,69,114,160,166,178,190,202,219,222],"past":[2,80],"generations":[3],"of":[4,21,106,109,116,131,152,215,228],"Prolog":[5,23],"compilers":[6],"have":[7],"left":[8],"deduction":[9,31],"to":[10,28,37,51,169,175,181,187,193,199,205,211],"run-time":[11,19,30,136],"this":[13,153],"may":[14],"account":[15],"for":[16,58,91],"the":[17,34,66,74,79,86,96,107,112,117,223],"poor":[18],"performance":[20],"existing":[22],"systems.":[24],"Our":[25],"work":[26],"tries":[27],"minimize":[29],"by":[32,73,137],"shifting":[33],"deductive":[35,63,93,217],"process":[36],"compile-time.":[38,142],"In":[39],"addition,":[40],"we":[41],"offer":[42],"an":[43],"alternative":[44],"inferencing":[45,97,140],"procedure":[46,98],"based":[47],"on":[48],"translating":[49],"logic":[50],"mixed":[52,171,183,195,207],"integer":[53,172,184,196,208],"programming.":[54],"This":[55],"makes":[56],"available":[57],"research":[59,76],"implementation":[61],"in":[62,111,119,123,147],"databases,":[64,94,218],"all":[65],"theorems,":[67],"algorithms,":[68],"software":[70],"packages":[71],"developed":[72],"operations":[75],"community":[77],"over":[78],"50":[81],"years.":[82],"The":[83,100,126,149],"method":[84],"keeps":[85],"same":[87],"query":[88],"language":[89,101],"as":[90],"disjunctive":[92,156,229],"only":[95],"changes.":[99],"is":[102,145],"purely":[103],"declarative,":[104],"independent":[105,115],"order":[108,118],"rules":[110],"program,":[113],"which":[120],"literals":[121],"occur":[122],"clause":[124],"bodies.":[125],"technique":[127],"avoids":[128],"Prolog's":[129],"problem":[130],"infinite":[132],"looping.":[133],"It":[134],"saves":[135],"doing":[138],"primary":[139],"at":[141],"Furthermore,":[143],"it":[144],"incremental":[146],"nature.":[148],"first":[150],"half":[151],"article":[154],"translates":[155],"clauses,":[157],"integrity":[158],"constraints,":[159],"database":[161],"facts":[162],"into":[163],"Boolean":[164],"equations,":[165,177,189,201],"develops":[167,179,191,203],"procedures":[168,180,192,204],"use":[170,182,194,206],"programming":[173,185,197,209],"methods":[174,186,198,210],"compute":[176,188,200,212],"\u2014least":[213],"models":[214,221],"definite":[216],"\u2014minimal":[220],"Generalized":[224],"Closed":[225],"World":[226],"Assumption":[227],"databases.":[230]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}