{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:11Z","timestamp":1725663791296},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578185"},{"type":"electronic","value":"9783540483427"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57818-8_49","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:25:30Z","timestamp":1330262730000},"page":"159-172","source":"Crossref","is-referenced-by-count":5,"title":["A rule-based approach for the design and implementation of information systems"],"prefix":"10.1007","author":[{"given":"Ilias","family":"Petrounias","sequence":"first","affiliation":[]},{"given":"Pericles","family":"Loucopoulos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Budde, R. (ed.) Approaches to prototyping, Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-69796-8"},{"issue":"no.1","key":"16_CR2","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P.P-C. Chen","year":"1976","unstructured":"Chen P.P-C. The Entity-Relationship Model-Toward a Unified View of Data ACM TODS vol.1 no.1, pp.9\u201336, March 1976.","journal-title":"ACM TODS"},{"key":"16_CR3","unstructured":"Elmasri, R. and Navathe, S.B. Fundamentals of Database Systems, The Benjamin\/Cummings Publishing Company, Inc. 1989."},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Gallaire, H. and Minker, J. (eds) Logic and Databases, Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Gallaire, H., Minker, J. and Nicolas, J.M. Logic and Databases: A Deductive Approach, Computing Surveys, Vol 16., No. 2, June 1984.","DOI":"10.1145\/356924.356929"},{"key":"16_CR6","unstructured":"Gardarin, G. and Valduriez, P. Relational Databases and Knowledge Bases, Addison-Wesley Publishing Company, Inc., 1989."},{"key":"16_CR7","unstructured":"Horsfield, T., Bocca, J. and Dahmen, M., MegaLog User Guide, 1990."},{"key":"16_CR8","unstructured":"Katsouli, E., Papastamatiou, G.,Petrounias, I.,Loucopoulos,P.,Theodoulidis, B., Revision of the Rule Language of TEMPORA, E2469\/UMIST\/NT1.1\/1\/Draft, 1992."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Kim W., Banerjee J., Chou H.T., Garza J.F., Woelk D. Composite Object Support in Object-Oriented Database Systems, Proc. 2nd Int. Conf. on Object-Oriented Programming Systems, Languages and Applications, Orlando, 1987.","DOI":"10.1145\/38765.38818"},{"key":"16_CR10","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0743-1066(85)90013-5","volume":"2","author":"J.W. Lloyd","year":"1985","unstructured":"Lloyd, J.W. and Topor, B.W. A Basis for Deductive Database Systems, The Journal of Logic Programming, 1985(2), pp 93\u2013109.","journal-title":"The Journal of Logic Programming"},{"key":"16_CR11","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0743-1066(86)90004-X","volume":"5","author":"J.W. Lloyd","year":"1986","unstructured":"Lloyd, J.W. and Topor, B.W. A Basis for Deductive Database Systems II, The Journal of Logic Programming, 1986(5), pp 55\u201367.","journal-title":"The Journal of Logic Programming"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Loucopoulos, P.,Karakostas, V., Modelling and Validating office information systems: an object and logic oriented approach, Software Engineering Journal, March 1989.","DOI":"10.1049\/sej.1989.0011"},{"key":"16_CR13","unstructured":"Minker, J. (ed). Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann Publishers, Inc., 1988."},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Petrounias, I., Loucopoulos, P. Design, Implementation & Evaluation of an Application following the Deductive Approach, 4th DAISD'93, Catalonia, 1993.","DOI":"10.1145\/170088.170126"},{"key":"16_CR15","unstructured":"Rolland, C. and C. Richard, The REMORA Methodology for Information Systems Development and Management, Conference on Comparative Review of Information System Design Methodologies, North Holland, 1982."},{"key":"16_CR16","unstructured":"Tarski, A. Logic semantics and metamathematics, Oxford University Press, 1956."},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Theodoulidis, C., Wangler, B. and Loucopoulos, P. Requirements Specification in TEMPORA, Proceedings CAiSE'90, Kista, Sweden, 1990.","DOI":"10.1007\/BFb0000597"}],"container-title":["Lecture Notes in Computer Science","Advances in Database Technology \u2014 EDBT '94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57818-8_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:14:19Z","timestamp":1605647659000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57818-8_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578185","9783540483427"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-57818-8_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}