{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:20:51Z","timestamp":1725614451555},"publisher-location":"Boston, MA","reference-count":18,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781461289487"},{"type":"electronic","value":"9781461316794"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/978-1-4613-1679-4_47","type":"book-chapter","created":{"date-parts":[[2011,9,28]],"date-time":"2011-09-28T06:55:39Z","timestamp":1317192939000},"page":"660-673","source":"Crossref","is-referenced-by-count":1,"title":["An Algebraic Deductive Database Managing a Mass of Rule Clauses"],"prefix":"10.1007","author":[{"given":"Tadashi","family":"Ohmori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hidehiko","family":"Tanaka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"47_CR1","first-page":"368","volume-title":"Proc. of ACM-SIGMOD International Conference on Management of Data\u201986","author":"J Bocca","year":"1986","unstructured":"J. Bocca. On the Evaluation Strategy of EDUCE. In Proc. of ACM-SIGMOD International Conference on Management of Data\u201986, pages 368\u2013378, 1986."},{"key":"47_CR2","series-title":"Technical Report","volume-title":"Amalgamating Language and Metalanguage in Logic Programming","author":"K Bowen","year":"1981","unstructured":"K. Bowen. AMALGAMATING LANGUAGE AND METALANGUAGE IN LOGIC PROGRAMMING. Technical Report, Syracuse University, June 1981."},{"key":"47_CR3","first-page":"395","volume-title":"Proc. of the 12th Conference on Very Large Data Base","author":"S Ceri","year":"1986","unstructured":"S. Ceri, G. Gottlob, and L. Lavazza. Translation and optimization of logic queries: the algebraic approach. In Proc. of the 12th Conference on Very Large Data Base, pages 395\u2013402, 1986."},{"key":"47_CR4","first-page":"155","volume-title":"Proc. of ACM-SIGMOD International Conference on Management of Data\u201986","author":"AV Gelder","year":"1986","unstructured":"A.V. Gelder. A Message Passing Framework for Logical Query Evaluation. In Proc. of ACM-SIGMOD International Conference on Management of Data\u201986, pages 155\u2013165, 1986."},{"volume-title":"Logic and Databases","year":"1978","key":"47_CR5","unstructured":"H. Gallaire and J. Minker, editors. LOGIC AND DATABASES. Plenum press, 1978."},{"key":"47_CR6","first-page":"42","volume-title":"Proc. of the 12th Conference on Very Large Data Base","author":"C Kellog","year":"1986","unstructured":"C. Kellog, A.O\u2019. Hare, and L. Travis. Optimizing the Rule-Data Interface in a KBMS. In Proc. of the 12th Conference on Very Large Data Base, pages 42\u201351, 1986."},{"key":"47_CR7","first-page":"109","volume-title":"Proc. of the 6th Advanced Database Symposium","author":"M Kifer","year":"1986","unstructured":"M. Kifer and E.L. Lozinskii. A Framework for an Efficient Implementation of Deductive Databases. In Proc. of the 6th Advanced Database Symposium, pages 109\u2013116, Information Processing Society of Japan, 1986."},{"key":"47_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"J Lloyd","year":"1984","unstructured":"J. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1984."},{"key":"47_CR9","series-title":"Technical Report 183","volume-title":"Compiling Horn Clause Queries in Deductive Databases: A Horn Clause Transformation Approach","author":"N Miyazaki","year":"1986","unstructured":"N. Miyazaki. Compiling Horn Clause Queries in Deductive Databases: A Horn Clause Transformation Approach. Technical Report 183, ICOT, 1986."},{"key":"47_CR10","first-page":"52","volume-title":"Proc. of the 12th Conference on Very Large Data Base","author":"Y Morita","year":"1986","unstructured":"Y. Morita, H. Yokota, K. Nishida, and I. Itoh. Retrieval-By-Unification Operation in a Relational Knowledge Base. In Proc. of the 12th Conference on Very Large Data Base, pages 52\u201359, 1986."},{"key":"47_CR11","volume-title":"Master\u2019s thesis, The University of Tokyo","author":"T Ohmori","year":"1987","unstructured":"T. Ohmori. An Algebraic Approach to Deductive Database system for managing a large amount of procedural knowledge. Master\u2019s thesis, The University of Tokyo, 1987."},{"key":"47_CR12","first-page":"149","volume-title":"Logic and Databases","author":"R Reiter","year":"1978","unstructured":"R. Reiter. Deductive Question-Answering on Relational Data Bases. In [GM78], pages 149\u2013177, 1978."},{"key":"47_CR13","first-page":"191","volume-title":"Proc. of ACM-SIGMOD International Conference on Management of Data\u201986","author":"TK Sellis","year":"1986","unstructured":"T.K. Sellis. GROBAL QUERY OPTIMIZATION. In Proc. of ACM-SIGMOD International Conference on Management of Data\u201986, pages 191\u2013205, 1986."},{"key":"47_CR14","volume-title":"Principles of Data Base Systems","author":"J Ullman","year":"1982","unstructured":"J. Ullman. Principles of Data Base Systems. Computer Science Press, 1982."},{"issue":"3","key":"47_CR15","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/3979.3980","volume":"10","author":"J Ullman","year":"1985","unstructured":"J. Ullman. Implementation of Logical Query Languages for Databases. ACM Transaction on Database Systems, vol.10(No.3):pp.289\u2013321, 1985.","journal-title":"ACM Transaction on Database Systems"},{"key":"47_CR16","first-page":"2","volume-title":"Proc. of the 13th International Symposium on Computer Architecture","author":"H Yokota","year":"1986","unstructured":"H. Yokota and H. Itoh. A Model and an Architecture for a Relational Knowledge Base. In Proc. of the 13th International Symposium on Computer Architecture, pages 2\u20139, 1986."},{"key":"47_CR17","volume-title":"Proc. of the 2nd International Conference on Data Engineering","author":"H Yokota","year":"1986","unstructured":"H. Yokota, K. Sakai, and H. Itoh. Deductive Database System based on Unit Resolution. In Proc. of the 2nd International Conference on Data Engineering, 1986."},{"key":"47_CR18","first-page":"458","volume-title":"Proc. of the 11th Conference on Very Large Data Base","author":"C Zaniolo","year":"1985","unstructured":"C. Zaniolo. The Representation and Deductive Retrieval of Complex Objects. In Proc. of the 11th Conference on Very Large Data Base, pages 458\u2013469, 1985."}],"container-title":["The Kluwer International Series in Engineering and Computer Science","Database Machines and Knowledge Base Machines"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4613-1679-4_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T02:05:47Z","timestamp":1619834747000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4613-1679-4_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9781461289487","9781461316794"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-1-4613-1679-4_47","relation":{},"ISSN":["0893-3405"],"issn-type":[{"type":"print","value":"0893-3405"}],"subject":[],"published":{"date-parts":[[1988]]}}}