{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:05:42Z","timestamp":1725894342780},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540159995"},{"type":"electronic","value":"9783642708404"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/978-3-642-70840-4_15","type":"book-chapter","created":{"date-parts":[[2011,11,4]],"date-time":"2011-11-04T03:27:22Z","timestamp":1320377242000},"page":"199-207","source":"Crossref","is-referenced-by-count":0,"title":["Logic Databases"],"prefix":"10.1007","author":[{"given":"Jean-Marie","family":"Nicolas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","first-page":"3","volume-title":"ECRC KB internal report","author":"J Bocca","year":"1985","unstructured":"J. Bocca \u201cEDUCE \u2014 Design and Implementation\u201d, ECRC KB internal report No. 3, June 1985"},{"volume-title":"On Conceptual modeling","year":"1984","key":"15_CR2","unstructured":"M. Brodie, J. Mylopoulos and J.W. Schmidt (eds.) \u201cOn Conceptual modeling\u201d, Springer Verlag, New York, 1984"},{"volume-title":"Logic and Databases","year":"1978","key":"15_CR3","unstructured":"H. Gallaire and J. Minker (eds.) \u201cLogic and Databases\u201d, Plenum Publishing Corporation, New York, 1978"},{"key":"15_CR4","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/356924.356929","volume":"16","author":"H Gallaire","year":"1984","unstructured":"H. Gallaire, J. Minker and J.-M. Nicolas \u201cLogic and Databases: a deductive approach\u201d, ACM-Computing Surveys, Vol. 16, No. 2, June 1984","journal-title":"ACM-Computing Surveys"},{"key":"15_CR5","volume-title":"Nicolas How to look at deductive Databases, Proceedings","author":"H Gallaire","year":"1985","unstructured":"H. Gallaire and J.-M. Nicolas \u201cHow to look at deductive Databases\u201d, Proceedings, Workshop on Knowledge Base Management Systems, Xania, June 1985"},{"key":"15_CR6","volume-title":"Vassiliou Coupling Expert Systems with DBMS","author":"M Jarke","year":"1984","unstructured":"M. Jarke and Y. Vassiliou \u201cCoupling Expert Systems with DBMS\u201d, AI application for business, ABLEX, January 1984"},{"key":"15_CR7","volume-title":"Technical Report","author":"EL Lozinskii","year":"1984","unstructured":"E.L. Lozinskii \u201cInference by generating and structuring Deductive Databases\u201d, Technical Report, Hebrew University of Jerusalem, June 1984"},{"key":"15_CR8","volume-title":"TR 85\/01 University of Melbourne","author":"JW Lloyd","year":"1985","unstructured":"J.W. Lloyd and R.W. Topor \u201cA basis for Deductive Database systems\u201d, TR 85\/01 University of Melbourne, April 1985"},{"key":"15_CR9","volume-title":"Logic Colloquium \u201982","author":"JA Makowsky","year":"1984","unstructured":"J.A. Makowsky \u201cModel theoretical issues in theoretical computer science. Part 1: relational Databases and abstract data types\u201d, Logic Colloquium \u201982, North Holland, 1984"},{"key":"15_CR10","volume-title":"Proceedings, IFIP 83 Conference, North Holland","author":"J-M Nicolas","year":"1983","unstructured":"J.-M. Nicolas and K. Yazdanian \u201cAn outline of BDGEN: a deductive DBMS\u201d, Proceedings, IFIP \u201983 Conference, North Holland, 1983"},{"key":"15_CR11","volume-title":"Two-mode evaluation for dealing with implicit interactions between logic programs and relational Data bases","author":"IP Orci","year":"1985","unstructured":"I.P. Orci and D. Sahlin \u201cTwo-mode evaluation for dealing with implicit interactions between logic programs and relational Data bases\u201d, Proceedings, Workshop on KBMS, Xania, June 1985"},{"key":"15_CR12","unstructured":"R. Reiter \u201cTowards a logical reconstruction of relational database theory\u201d, in (BMS)"},{"key":"15_CR13","first-page":"6","volume-title":"ECRC Technical Report","author":"L Vieille","year":"1985","unstructured":"L. Vieille \u201cRecursive Axioms in Deductive Databases: various solutions\u201d, ECRC Technical Report No. 6, May 1985"},{"key":"15_CR14","volume-title":"ECRC Technical Report","author":"M Wallace","year":"1985","unstructured":"M. Wallace and H. Decker \u201cPROLOG-KB prototype\u201d, ECRC Technical Report Nos. 2 and 3, February 1985"}],"container-title":["Informatik-Fachberichte","Wissensbasierte Systeme"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-70840-4_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T23:08:11Z","timestamp":1606259291000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-70840-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540159995","9783642708404"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-70840-4_15","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1985]]}}}