{"id":"https://openalex.org/W2147092239","doi":"https://doi.org/10.1017/s0269888900005129","title":"Deductive database theories","display_name":"Deductive database theories","publication_year":1989,"publication_date":"1989-12-01","ids":{"openalex":"https://openalex.org/W2147092239","doi":"https://doi.org/10.1017/s0269888900005129","mag":"2147092239"},"language":"en","primary_location":{"id":"doi:10.1017/s0269888900005129","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0269888900005129","pdf_url":null,"source":{"id":"https://openalex.org/S137506714","display_name":"The Knowledge Engineering Review","issn_l":"0269-8889","issn":["0269-8889","1469-8005"],"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":"The Knowledge Engineering Review","raw_type":"journal-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/A5078922929","display_name":"John Grant","orcid":"https://orcid.org/0000-0001-7503-7703"},"institutions":[{"id":"https://openalex.org/I4322298","display_name":"Towson University","ror":"https://ror.org/044w7a341","country_code":"US","type":"education","lineage":["https://openalex.org/I4322298"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Grant","raw_affiliation_strings":["Department of Computer and Information Sciences, Towson State University, Towson, Maryland 21204, USA","(Towson State University)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Sciences, Towson State University, Towson, Maryland 21204, USA","institution_ids":["https://openalex.org/I4322298"]},{"raw_affiliation_string":"(Towson State University)","institution_ids":["https://openalex.org/I4322298"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078013111","display_name":"Jack Minker","orcid":null},"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":"Jack Minker","raw_affiliation_strings":["Department of Computer Science and University of Maryland Institute for Advanced Computer Studies, University of Maryland, College Park, Maryland 20742, USA","University of Maryland, Institute for Advanced Computer Studies#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and University of Maryland Institute for Advanced Computer Studies, University of Maryland, College Park, Maryland 20742, USA","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"University of Maryland, Institute for Advanced Computer Studies#TAB#","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.0275,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.89258928,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"4","issue":"4","first_page":"267","last_page":"304"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"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.9994999766349792,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9977999925613403,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.996999979019165,"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/negation","display_name":"Negation","score":0.7864750027656555},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.6963383555412292},{"id":"https://openalex.org/keywords/deductive-database","display_name":"Deductive database","score":0.6208347082138062},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5733161568641663},{"id":"https://openalex.org/keywords/negation-as-failure","display_name":"Negation as failure","score":0.5533742308616638},{"id":"https://openalex.org/keywords/horn-clause","display_name":"Horn clause","score":0.5444960594177246},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5359370112419128},{"id":"https://openalex.org/keywords/french-horn","display_name":"French horn","score":0.5100489258766174},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.5019614696502686},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.49941134452819824},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.47889748215675354},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4706755578517914},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3121398091316223},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.2853280305862427},{"id":"https://openalex.org/keywords/stable-model-semantics","display_name":"Stable model semantics","score":0.24654150009155273},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21967029571533203},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.18177610635757446},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.10224851965904236}],"concepts":[{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.7864750027656555},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6963383555412292},{"id":"https://openalex.org/C2777502361","wikidata":"https://www.wikidata.org/wiki/Q1182254","display_name":"Deductive database","level":2,"score":0.6208347082138062},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5733161568641663},{"id":"https://openalex.org/C194146651","wikidata":"https://www.wikidata.org/wiki/Q2119400","display_name":"Negation as failure","level":5,"score":0.5533742308616638},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.5444960594177246},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5359370112419128},{"id":"https://openalex.org/C152076505","wikidata":"https://www.wikidata.org/wiki/Q1126540","display_name":"French horn","level":2,"score":0.5100489258766174},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.5019614696502686},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.49941134452819824},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.47889748215675354},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4706755578517914},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3121398091316223},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.2853280305862427},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.24654150009155273},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21967029571533203},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.18177610635757446},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.10224851965904236},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C19417346","wikidata":"https://www.wikidata.org/wiki/Q7922","display_name":"Pedagogy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0269888900005129","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0269888900005129","pdf_url":null,"source":{"id":"https://openalex.org/S137506714","display_name":"The Knowledge Engineering Review","issn_l":"0269-8889","issn":["0269-8889","1469-8005"],"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":"The Knowledge Engineering Review","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6000000238418579,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W363508587","https://openalex.org/W1494051470","https://openalex.org/W1496815773","https://openalex.org/W1514729613","https://openalex.org/W1524811847","https://openalex.org/W1530765221","https://openalex.org/W1541434994","https://openalex.org/W1543461272","https://openalex.org/W1551066637","https://openalex.org/W1819711275","https://openalex.org/W1967701834","https://openalex.org/W1980131378","https://openalex.org/W1983808534","https://openalex.org/W1984715534","https://openalex.org/W1984820433","https://openalex.org/W1985819576","https://openalex.org/W1995303925","https://openalex.org/W1998072811","https://openalex.org/W1998162300","https://openalex.org/W2008294142","https://openalex.org/W2031868932","https://openalex.org/W2039303449","https://openalex.org/W2051223322","https://openalex.org/W2058656940","https://openalex.org/W2065555531","https://openalex.org/W2082367267","https://openalex.org/W2091433498","https://openalex.org/W2092842298","https://openalex.org/W2105505307","https://openalex.org/W2108911687","https://openalex.org/W2111353076","https://openalex.org/W2134046100","https://openalex.org/W2162621793","https://openalex.org/W2352490338","https://openalex.org/W2411085520","https://openalex.org/W2505409600","https://openalex.org/W3021487187","https://openalex.org/W4206370914","https://openalex.org/W4210435783","https://openalex.org/W4232631306","https://openalex.org/W4237639151","https://openalex.org/W6649141639"],"related_works":["https://openalex.org/W1565767456","https://openalex.org/W4242285398","https://openalex.org/W1596105581","https://openalex.org/W4212824748","https://openalex.org/W79246384","https://openalex.org/W2593015871","https://openalex.org/W4214701509","https://openalex.org/W2077585551","https://openalex.org/W2109031030","https://openalex.org/W2097324525"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2],"surveys":[3],"a":[4],"variety":[5],"of":[6,19,55],"deductive":[7],"database":[8],"theories.":[9],"Such":[10],"theories":[11,30],"differ":[12],"from":[13],"one":[14],"another":[15],"in":[16,37,47,53,67],"the":[17,38,48,56],"set":[18],"axioms":[20],"and":[21,26,35,45,59,75,85],"metarules":[22],"that":[23],"they":[24],"allow":[25],"use.":[27],"The":[28],"following":[29],"are":[31,62,83,88],"discussed:":[32],"relational,":[33],"Horn,":[34,44],"stratified":[36],"text;":[39],"protected,":[40],"disjunctive,":[41],"typed,":[42],"extended":[43],"normal":[46],"appendix.":[49],"Connections":[50],"with":[51],"programming":[52],"terms":[54],"declarative,":[57],"fixpoint,":[58],"procedural":[60],"semantics":[61],"explained.":[63],"Negation":[64],"is":[65],"treated":[66],"several":[68],"different":[69],"ways:":[70],"closed":[71],"world,":[72],"completed":[73],"database,":[74],"negation":[76],"as":[77],"failure.":[78],"For":[79],"each":[80],"theory":[81],"examples":[82],"given":[84],"implementation":[86],"issues":[87],"considered.":[89]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}