{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:14Z","timestamp":1725663434542},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541417"},{"type":"electronic","value":"9783540474449"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54141-1_9","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:32:33Z","timestamp":1330209153000},"page":"144-160","source":"Crossref","is-referenced-by-count":8,"title":["Semantics of object-oriented data models \u2014 The evolving algebra approach"],"prefix":"10.1007","author":[{"given":"Georg","family":"Gottlob","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerti","family":"Kappel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Schrefl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"M.B. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier and S. Zdonik, \u201cThe Object-Oriented Database System Manifesto,\u201d Proc. DOOD'89, 1989, pp. 40\u201357.","DOI":"10.1016\/B978-0-444-88433-6.50020-4"},{"key":"9_CR2","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0169-023X(90)90020-E","volume":"5","author":"C. Beeri","year":"1990","unstructured":"C. Beeri, \u201cA Formal Approach to Object-Oriented Databases,\u201d Data & Knowledge Engineering (5), 1990, pp. 353\u2013382.","journal-title":"Data & Knowledge Engineering"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger, \u201cA Logical Operational Semantics of Full Prolog, Part I: Selection Core and Control,\u201d CSL'89, Springer LCNS, ed. E. B\u00f6rger, H. Kleine B\u00fcning, and M. Richter, 1990.","DOI":"10.1007\/3-540-52753-2_31"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger, \u201cA Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulations,\u201d MFCS'90, Springer LCNS, 1990.","DOI":"10.1007\/3-540-52753-2_31"},{"key":"9_CR5","unstructured":"E. B\u00f6rger, \u201cA Logical Operational Semantics of Full Prolog, Part III: Built-in Predicates for Files, Terms, Arithmetic, and Input-Output,\u201d Proc. Workshop Logic for Computer Science (Nov. 89), Springer, ed. Y. Moschovakis, 1990."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Y. Gurevich, \u201cAlgorithms in the world of bounded resources,\u201d The universal Turing machine \u2014 a half-century story, Oxford University Press, ed. R. Herken, 1988, pp. 407\u2013416.","DOI":"10.1093\/oso\/9780198537748.003.0017"},{"key":"9_CR7","unstructured":"Y. Gurevich, \u201cLogic and the Challenge of Computer Science,\u201d Trends in Theoretical Computer Science, Computer Science Press, ed. E. Boerger, 1988, pp. 1\u201357."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Y. Gurevich and J.M. Morris, \u201cAlgebraic Operational Semantics and Modula-2,\u201d CSL'87, Springer, LNCS 329, ed. E. B\u00f6rger, H. Kleine B\u00fcning, and M. Richter, 1988, pp. 81\u2013101.","DOI":"10.1007\/3-540-50241-6_31"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Y. Gurevich and L.S. Moss, \u201cAlgebraic Operational Semantics and Occam,\u201d Tech. Rep. RC15352, IBM Research Division, T.J. Watson Research Center, Yorktown Heights, 1990.","DOI":"10.1007\/3-540-52753-2_39"},{"key":"9_CR10","unstructured":"G. Kappel and M. Schrefl, \u201cObject\/Behavior Diagrams,\u201d IEEE Data Engineering '91, 1991."},{"key":"9_CR11","unstructured":"W. Klas, E.J. Neuhold and M. Schrefl, \u201cOn an object-oriented datamodel for a knowledge base,\u201d Research into Networks and Distributed Application \u2014 EUTECO, North-Holland, ed. R. Speth, 1988."},{"key":"9_CR12","unstructured":"J.M. Morris, \u201cAlgebraic Operational Semantics for Modula-2,\u201d PhD Thesis, University of Michigan, 1988."},{"issue":"2","key":"9_CR13","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1145\/65935.65936","volume":"7","author":"E. Sciore","year":"1989","unstructured":"E. Sciore, \u201cObject Specialization,\u201d ACM TOIS 7(2), April 1989, pp. 103\u2013122.","journal-title":"ACM TOIS"}],"container-title":["Lecture Notes in Computer Science","Next Generation Information System Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54141-1_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T13:57:32Z","timestamp":1713621452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54141-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541417","9783540474449"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-54141-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}