{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:12Z","timestamp":1725663672238},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540512516"},{"type":"electronic","value":"9783540461821"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51251-9_4","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:49:59Z","timestamp":1330202999000},"page":"37-52","source":"Crossref","is-referenced-by-count":4,"title":["Towards a schema design methodology for deductive databases"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Biskup","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Convent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"4_CR1","unstructured":"M.E. Adiba, B.G. Lindsay, \u2018Database snapshots', Proc. International Conference on Very Large Databases VLDB, 1980, 86\u201391."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"A.V. Aho, J.D. Ullman, \u2018Universality of data retrieval languages', Proc. ACM Symposium on Principles of Programming Languages, 1979, 110\u2013120.","DOI":"10.1145\/567752.567763"},{"issue":"3","key":"4_CR3","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K.R. Apt","year":"1982","unstructured":"K.R. Apt, M.H. van Emden, \u2018Contributions to the theory of logic programming', Journal of the ACM, Vol. 29, No. 3, 1982, 841\u2013862.","journal-title":"Journal of the ACM"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"J. Biskup, B. Convent, \u2018A formal view integration method', Proc. ACM-SIGMOD International Conference on Management of Data, 1986, 398\u2013407.","DOI":"10.1145\/16894.16893"},{"key":"4_CR5","unstructured":"J. Biskup, \u2018Entwurf von Datenbankschemas durch schrittweises Umwandeln verbotener Teilstrukturen', Tagungsband GI-EMISA-Fachgespr\u00e4ch Entwurf von Informationssystemen \u2014 Methoden und Modelle, 1985, 130\u2013148."},{"key":"4_CR6","unstructured":"B. Convent, \u2018On the design of logic oriented database schemes', Proc. Workshop on Relational Databases and their Extensions, Lessach (Austria), Technical Report 87\/3, TU Clausthal, 1987, 185\u2013203."},{"key":"4_CR7","unstructured":"B. Convent, \u2018Deciding finiteness, groundness and domain independence of pure datalog queries', Hildesheimer Informatikberichte 2\/1988, 1988, to appear in: Journal of Information Processing and Cybernetics EIK."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"S.S. Cosmadakis, C.H. Papadimitriou, \u2018Updates of relational views', Proc. ACM-SIGACT-SIGMOD Symposium on Principles of Database Systems, 1983, 317\u2013331.","DOI":"10.1145\/588058.588096"},{"issue":"3","key":"4_CR9","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1145\/320557.320571","volume":"2","author":"R. Fagin","year":"1977","unstructured":"R. Fagin, \u2018Multivalued dependencies and a new normal form for relational databases, ACM Transactions on Database Systems, Vol. 2, No. 3, 262\u2013278, 1977.","journal-title":"ACM Transactions on Database Systems"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"A.L. Furtado, M.A. Casanova, \u2018Updating relational views', Technical Report 020, IBM do Brasil, 1984.","DOI":"10.1007\/978-3-642-82375-6_7"},{"issue":"2","key":"4_CR11","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H. Gallaire","year":"1984","unstructured":"H. Gallaire, J. Minker, J.-M. Nicolas, \u2018Logic and databases: a deductive approach', ACM Computing Surveys, Vol. 16, No. 2, 1984, 153\u2013185.","journal-title":"ACM Computing Surveys"},{"key":"4_CR12","series-title":"Technical Report","volume-title":"Deductive database design in the presence of updates","author":"P. Helman","year":"1987","unstructured":"P. Helman, R. Veroff, A. Cable, \u2018Deductive database design in the presence of updates', Technical Report CS87-9, University of New Mexico, Albuquerque, 1987."},{"issue":"1","key":"4_CR13","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BF00244512","volume":"4","author":"P. Helman","year":"1988","unstructured":"P. Helman, R. Veroff, \u2018Designing deductive databases', Journal of Automated Reasoning, Vol. 4, No. 1, 1988, 29\u201368.","journal-title":"Journal of Automated Reasoning"},{"key":"4_CR14","unstructured":"A.M. Keller, \u2018Updating relational databases through views', Dissertation, Stanford University, 1985."},{"issue":"2","key":"4_CR15","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1145\/322307.322311","volume":"29","author":"Y.E. Lien","year":"1982","unstructured":"Y.E. Lien, \u2018On the equivalence of database models', Journal of the ACM, Vol. 29, No. 2, 333\u2013362, 1982.","journal-title":"Journal of the ACM"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd, \u2018Foundations of logic programming', 2nd ed., Springer, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"1","key":"4_CR17","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0743-1066(88)90006-4","volume":"5","author":"J. Minker","year":"1988","unstructured":"J. Minker, \u2018Perspectives in deductive databases', Journal of Logic Programming, Vol. 5, No. 1, 1988, 33\u201360.","journal-title":"Journal of Logic Programming"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"J.-M. Nicolas, H. Gallaire, \u2018Data base: theory vs. interpretation', in: H. Gallaire, J. Minker (eds.), \u2018Logic and databases', Plenum Publishing Corporation, 1978, 33\u201354.","DOI":"10.1007\/978-1-4684-3384-5_2"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"R. Reiter, \u2018Towards a logical reconstruction of relational database theory', in: \u2018On conceptual modelling', M.L. Brodie, J. Mylopoulos, J.W. Schmidt (eds.), Springer, 1984, 191\u2013233.","DOI":"10.1007\/978-1-4612-5196-5_8"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"J.C. Shepherdson, \u2018Negation in logic programming', in: \u2018Foundations of deductive databases and logic programming', J. Minker (ed.), Morgan Kaufmann, 1988, 19\u201388.","DOI":"10.1016\/B978-0-934613-40-8.50005-1"},{"key":"4_CR21","unstructured":"H. Stiefeling, \u2018\u00c4nderungen auf Sichten relationaler Datenbanken', Diplomarbeit, Universit\u00e4t Dortmund, 1984."},{"key":"4_CR22","unstructured":"T.J. Teorey, J.P. Fry, \u2018Design of database structures', Prentice-Hall, 1982."},{"key":"4_CR23","unstructured":"J.D. Ullman, \u2018Principles of database and knowledge-base systems', Computer Science Press, 1988."},{"key":"4_CR24","series-title":"IBM Research Report","volume-title":"Fundamentals of dependency theory","author":"M.Y. Vardi","year":"1985","unstructured":"M.Y. Vardi, \u2018Fundamentals of dependency theory', IBM Research Report RJ 4858, IBM Research Laboratory, San Jose, 1985."},{"issue":"4","key":"4_CR25","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"M.H. van Emden, R.A. Kowalski, \u2018The semantics of predicate logic as a programming language', Journal of the ACM, Vol. 23, No. 4, 1976, 733\u2013742.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","MFDBS 89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51251-9_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:20:28Z","timestamp":1605648028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51251-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512516","9783540461821"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-51251-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}