{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:10:38Z","timestamp":1725455438100},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540167839"},{"type":"electronic","value":"9783540399094"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/bfb0016235","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T05:39:17Z","timestamp":1131860357000},"page":"78-92","source":"Crossref","is-referenced-by-count":4,"title":["A semantical model for integration and modularization of rules"],"prefix":"10.1007","author":[{"given":"Peter","family":"van Emde Boas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"6_CR1","unstructured":"Chang, C.L., DEDUCE 2: Further investigations of Deduction in Relational Databases, in [GM78]."},{"key":"6_CR2","unstructured":"Clocksin, E.F. & C.S. Mellish, Programming in Prolog, Springer 1981."},{"key":"6_CR3","unstructured":"de Bakker, J.W., Mathematical Theory of Program correctness, Prentice Hall, 1980."},{"key":"6_CR4","unstructured":"de Brock, E.O., Database Models and Retrieval Languages, PhD Thesis Technical University Eindhoven, Mrt 1984."},{"volume-title":"Logic and Databases","year":"1978","key":"6_CR5","unstructured":"Gallaire, H.V. & J. Minker, eds., Logic and Databases, Plenum, New York 1978."},{"key":"6_CR6","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H.V. Gallaire","year":"1985","unstructured":"Gallaire, H.V., J. Minker & J-M. Nicolas, Logic and Databases: a Deductive Approach, Computing Surveys 16 (1985) 153\u2013185.","journal-title":"Computing Surveys"},{"key":"6_CR7","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0743-1066(84)90004-9","volume":"1","author":"J.A. Goguen","year":"1985","unstructured":"Goguen, J.A. & J. Messeguer, Equality, Types, Modules, and (why not) Generics for Logic Programming, J. Logic Programming 1 (1985) 179\u2013210.","journal-title":"J. Logic Programming"},{"key":"6_CR8","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1016\/0022-0000(84)90077-1","volume":"28","author":"T. Imielinski","year":"1984","unstructured":"Imielinski, T. & W. Lipski, jr., The Relational Model of Data and Cylindric Algebras, J. Comput. Syst. Sci. 28 (1984) 80\u2013102.","journal-title":"J. Comput. Syst. Sci."},{"key":"6_CR9","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1007\/3-540-10007-5_44","volume":"86","author":"P. Lucas","year":"1980","unstructured":"Lucas, P., On the Structure of Application Programs, in D. Bj\u00f8rner, ed., Abstract Software Specifications, Proc. Copenhagen Winterschool 1979, Springer LCS 86 (1980) 390\u2013438.","journal-title":"Abstract Software Specifications"},{"key":"6_CR10","unstructured":"Lucas, P., On the Versatility of Knowledge Representations, in E.J. Neuholt & G. Chroust, eds., The Role of Abstract models in Information Processing, Proc IFIP Working Conference, Vienna Jan 1985, North Holland Publ. Cie. 1985."},{"key":"6_CR11","series-title":"Computer Science Series","volume-title":"Mathematical Theory of Computation","author":"Z. Manna","year":"1974","unstructured":"Manna, Z., Mathematical Theory of Computation, Computer Science Series, McGraw-Hill, New York 1974."},{"key":"6_CR12","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/2422.2423","volume":"31","author":"S.A. Naqvi","year":"1984","unstructured":"Naqvi, S.A. & L.J. Henschen, On Compiling Queries in Recursive First-Order Databases, J. ACM 31 (1984) 47\u201385.","journal-title":"J. ACM"},{"key":"6_CR13","unstructured":"Reiter, R., Deductive Question-Answering on Relational Databases, in [GM78]."},{"key":"6_CR14","volume-title":"Principles of Database Systems","author":"J.D. Ullman","year":"1982","unstructured":"Ullman, J.D., Principles of Database Systems, 2nd ed. Computer Science Press, Rockville MD 1982.","edition":"2nd ed."},{"key":"6_CR15","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1145\/3979.3980","volume":"10","author":"J.D. Ullman","year":"1985","unstructured":"Ullman, J.D., Implementation of Logical Query Languages for Databases, ACM Trans. Database Systems, 10 (1985) 289\u2013321.","journal-title":"ACM Trans. Database Systems"},{"key":"6_CR16","unstructured":"van Emde Boas, P., RL, a Language for Enhanced Rule Bases Database Processing, Working Document, Rep RJ 4869 (51299), Oct 1986."},{"key":"6_CR17","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1147\/rd.301.0080","volume":"30","author":"H. Emde Boas van","year":"1986","unstructured":"van Emde Boas, H. & P. van Emde Boas, Storing and Evaluating Horn-Clause Rules in a Relational Database, IBM J. Res. Develop. 30 (1986) 80\u201392.","journal-title":"IBM J. Res. Develop."},{"key":"6_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00265077","volume":"5","author":"A. Wijngaarden van","year":"1975","unstructured":"van Wijngaarden, A. ea., Revised Report on the Algorithmic Language ALGOL68, Acta Informatica 5 (1975) 1\u2013236.","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1986"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0016235","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T10:48:20Z","timestamp":1549277300000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0016235"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540167839","9783540399094"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0016235","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}