{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,12,21]],"date-time":"2023-12-21T19:37:38Z","timestamp":1703187458288},"reference-count":22,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1983,1,1]],"date-time":"1983-01-01T00:00:00Z","timestamp":410227200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Systems"],"published-print":{"date-parts":[[1983,1]]},"DOI":"10.1016\/0306-4379(83)90024-8","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T01:31:39Z","timestamp":1060306299000},"page":"1-13","source":"Crossref","is-referenced-by-count":42,"title":["On recursive axioms in deductive databases"],"prefix":"10.1016","volume":"8","author":[{"given":"Jack","family":"Minker","sequence":"first","affiliation":[]},{"given":"Jean-Marie","family":"Nicolas","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0306-4379(83)90024-8_BIB1","series-title":"The Theory of Parsing, Translation, and Compiling Volume 1: Parsing","author":"Aho","year":"1972"},{"key":"10.1016\/0306-4379(83)90024-8_BIB2","series-title":"Logic and Data Bases","first-page":"201","article-title":"DEDUCE 2: Further investigation of deduction in relational data bases","author":"Chang","year":"1978"},{"key":"10.1016\/0306-4379(83)90024-8_BIB3","first-page":"235","article-title":"On evaluation of queries containing derived relations in a relational data base","volume":"Vol. 1","author":"Chang","year":"1980"},{"key":"10.1016\/0306-4379(83)90024-8_BIB4","series-title":"Logic and Data Bases","first-page":"293","article-title":"Negation as failure","author":"Clark","year":"1978"},{"key":"10.1016\/0306-4379(83)90024-8_BIB5","series-title":"Proc. 5th IJCAI","first-page":"55","article-title":"A deductive question answering system on relational databases","author":"Furukawa","year":"1977"},{"key":"10.1016\/0306-4379(83)90024-8_BIB6","series-title":"Logic and Data Bases","year":"1981"},{"key":"10.1016\/0306-4379(83)90024-8_BIB7","series-title":"Advances in Data Base Theory\u2014Volume 1","year":"1981"},{"key":"10.1016\/0306-4379(83)90024-8_BIB8","first-page":"36","article-title":"Introduction to Formal Language Theory","author":"Harrison","year":"1978"},{"key":"10.1016\/0306-4379(83)90024-8_BIB9","series-title":"Logic and Data Bases","first-page":"179","article-title":"Deductive planning and pathfinding for relational databases","author":"Kellogg","year":"1978"},{"key":"10.1016\/0306-4379(83)90024-8_BIB10","article-title":"A note on deduction rules with negative\u2014Premises","volume":"4","author":"Kramosil","year":"1975"},{"key":"10.1016\/0306-4379(83)90024-8_BIB11","article-title":"Cycles of unifiability and decidability by resolution","author":"Lewis","year":"1975","journal-title":"Aiken Computation Laboratory, Harvard University, Tech. Rep."},{"key":"10.1016\/0306-4379(83)90024-8_BIB12","series-title":"Logic and Data Bases","first-page":"107","article-title":"An experimental relational database system based on logic","author":"Minker","year":"1978"},{"key":"10.1016\/0306-4379(83)90024-8_BIB13","article-title":"On recursive axioms in relational databases","author":"Minker","year":"1981","journal-title":"University of Maryland, Tech. Rep. TR-1119"},{"key":"10.1016\/0306-4379(83)90024-8_BIB14","series-title":"Proc. Nat. Conf. Artificial Intelligence","first-page":"263","article-title":"Performing inferences over recursive data bases","author":"Naqvi","year":"1980"},{"key":"10.1016\/0306-4379(83)90024-8_BIB15","series-title":"Logic and Data Bases","first-page":"33","article-title":"Data Bases: theory vs. interpretation","author":"Nicolas","year":"1978"},{"key":"10.1016\/0306-4379(83)90024-8_BIB16","series-title":"Logic and Data Bases","first-page":"325","article-title":"Integrity checking in deductive databases","author":"Nicolas","year":"1978"},{"key":"10.1016\/0306-4379(83)90024-8_BIB17","series-title":"Logic and Data Bases","first-page":"149","article-title":"Deductive question-answering on relational data bases","author":"Reiter","year":"1978"},{"key":"10.1016\/0306-4379(83)90024-8_BIB18","series-title":"Logic and Data Bases","first-page":"55","article-title":"On closed world data bases","author":"Reiter","year":"1978"},{"key":"10.1016\/0306-4379(83)90024-8_BIB19","series-title":"Proc. Canadian Soc. Computational Studies of Intelligence, Second Nat. Conf.","article-title":"On structuring a first order data base","author":"Reiter","year":"1978"},{"key":"10.1016\/0306-4379(83)90024-8_BIB20","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","article-title":"A machine oriented logic based on the resolution principle","volume":"12","author":"Robinson","year":"1965","journal-title":"JACM"},{"key":"10.1016\/0306-4379(83)90024-8_BIB21","series-title":"Proc. Nat. Conf. Artificial Intelligence","first-page":"151","article-title":"Inference with recursive rules","author":"Shapiro","year":"1980"},{"key":"10.1016\/0306-4379(83)90024-8_BIB22","series-title":"Proc. ACM-SIGMOD Conf.","article-title":"Implementation of integrity constraints and views by query modification","author":"Stonebraker","year":"1975"}],"container-title":["Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0306437983900248?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0306437983900248?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T04:52:24Z","timestamp":1552625544000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0306437983900248"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,1]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1983,1]]}},"alternative-id":["0306437983900248"],"URL":"https:\/\/doi.org\/10.1016\/0306-4379(83)90024-8","relation":{},"ISSN":["0306-4379"],"issn-type":[{"value":"0306-4379","type":"print"}],"subject":[],"published":{"date-parts":[[1983,1]]}}}