{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:41:56Z","timestamp":1725457316408},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540641995"},{"type":"electronic","value":"9783540697008"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0035006","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T07:43:04Z","timestamp":1134286984000},"page":"92-113","source":"Crossref","is-referenced-by-count":1,"title":["The evolving algebra semantics of class and role hierarchies"],"prefix":"10.1007","author":[{"given":"Georg","family":"Gottlob","sequence":"first","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,23]]},"reference":[{"unstructured":"A. Albano, R. Bergamini, G. Ghelli, and R. Orsini. An object data model with roles. In Proceedings of the International Conference on Very Large Databases, pages 39\u201351, Dublin, 1993.","key":"4_CR1"},{"doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger. A logical operational semantics of full Prolog, part I: Selection core and control. In E. B\u00f6rger, H. Kleine B\u00fcning, and M. Richter, editors, CSL '89. Springer LCNS, 1990.","key":"4_CR2","DOI":"10.1007\/3-540-52753-2_31"},{"doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger. A logical operational semantics of full Prolog, part II: Built-in predicates for database manipulations. In MFCS '90. Springer LCNS, 1990.","key":"4_CR3","DOI":"10.1007\/BFb0029592"},{"unstructured":"E. B\u00f6rger. A logical operational semantics of full Prolog, part III: Built-in predicates for files, terms, arithmetic and input-output. In Y. Moschovakis, editor, Proceedings of the Workshop on Logic for Computer Science, 1990.","key":"4_CR4"},{"key":"4_CR5","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. A formal approach to object-oriented databases. Data & Knowledge Enigneering (5), pages 353\u2013382, 1990.","journal-title":"Data & Knowledge Enigneering"},{"unstructured":"B. Blakley. A Smalltalk Evolving Algebra and its Uses. PhD thesis, University of Michigan, 1992.","key":"4_CR6"},{"doi-asserted-by":"crossref","unstructured":"G. Gottlob, G. Kappel, and M. Schrefi. Semantics of object-oriented data models-the evolving algebra approach. In J. W. Schmidt and A. A. Stogny, editors, First International EastlWest Database Workshop-LNCS, page 504. Springer Verlag, 1990.","key":"4_CR7","DOI":"10.1007\/3-540-54141-1_9"},{"doi-asserted-by":"crossref","unstructured":"Y. Gurevich and J. M. Morris. Algebraic operational semantics and Modula-2. In E. B\u00f6rger, H. Kleine B\u00fcning, and M. Richter, editors, CSL '87, pages 81\u2013101. Springer, LNCS 329, 1988.","key":"4_CR8","DOI":"10.1007\/3-540-50241-6_31"},{"doi-asserted-by":"crossref","unstructured":"Y. Gurevich and L. S. Moss. Algebraic operational semantics and Occam. Rc15352, IBM Research Division, T. J. Watson Research Center, Yorktown Heights, 1990.","key":"4_CR9","DOI":"10.1007\/3-540-52753-2_39"},{"doi-asserted-by":"crossref","unstructured":"G. Gottlob, M. Schrefl, and B. R\u00f6ck. Extending object-oriented systems with roles. In: ACM Transactions on Information Systems, pages pp. 268\u2013296, July 1996.","key":"4_CR10","DOI":"10.1145\/230538.230540"},{"doi-asserted-by":"crossref","unstructured":"Y. Gurevich. Algorithmus in the world of bounded resources. In R. Herken, editor, The universal Turing machine-a half-century story, pages 407\u2013416. Oxford University Press, 1988.","key":"4_CR11","DOI":"10.1093\/oso\/9780198537748.003.0017"},{"unstructured":"Y. Gurevich. Logic and the challenge of computer science. In E. B\u00f6rger, editor, Trends in Theoretical Computer Science, pages 1\u201357. Computer Science Press, 1988.","key":"4_CR12"},{"unstructured":"Y. Gurevich. The evolving algebra semantics of C. Cse-tr-141-92, EECS Department, University of Michigan, 1992.","key":"4_CR13"},{"unstructured":"J. M. Morris. Algebraic Operational Semantics for Modula-2. PhD thesis, University of Michigan, 1988.","key":"4_CR14"},{"doi-asserted-by":"crossref","unstructured":"M. P. Papazoglou. Roles: A methodology for representing multifaced objects. In Proceedings of the International Conference on Database and Expert Systems Applications, pages 7\u201312, 1991.","key":"4_CR15","DOI":"10.1007\/978-3-7091-7555-2_2"},{"doi-asserted-by":"crossref","unstructured":"B. Pernici. Objects with roles. In Proceedings of the ACM Conference on Office Information Systems, pages 205\u2013215, 1990.","key":"4_CR16","DOI":"10.1145\/91474.91542"},{"unstructured":"E. Riccobene and E. B\u00f6rger. A mathematical model of concurrent Prolog. Cstr-92-15, Dept. of Computer Science, University of Bristol, 1992.","key":"4_CR17"},{"doi-asserted-by":"crossref","unstructured":"J. Richardson and P. Schwarz. Aspects: Extending objects to support multiples, independent roles. In Proceedings of the International Conference on Management of Data, pages 298\u2013307, 1991.","key":"4_CR18","DOI":"10.1145\/115790.115839"},{"doi-asserted-by":"crossref","unstructured":"R. Wieringa, W. de Jonge, and P. Spruit. Roles and dynamic subclasses: A modal logic approach. In Proceedings of the Eighth European Conference on Object-Oriented Programming, 1994.","key":"4_CR19","DOI":"10.1007\/BFb0052175"}],"container-title":["Lecture Notes in Computer Science","Semantics in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035006","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T17:19:18Z","timestamp":1706807958000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035006"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540641995","9783540697008"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0035006","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}