{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:48:14Z","timestamp":1725490094185},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540003151"},{"type":"electronic","value":"9783540362807"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36280-0_4","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T03:16:50Z","timestamp":1187234210000},"page":"50-65","source":"Crossref","is-referenced-by-count":2,"title":["Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View"],"prefix":"10.1007","author":[{"given":"Ernst-Erich","family":"Doberkat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugenio G.","family":"Omodeo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"C. Brink, W. Kahl, and G. Schmidt, editors. Relational Methods in Computer Science. Advances in Computing. Springer-Verlag, Wien, New York, 1997.","DOI":"10.1007\/978-3-7091-6510-2"},{"key":"4_CR2","volume-title":"Texts and Monographs in Computer Science","author":"D. Cantone","year":"2001","unstructured":"D. Cantone, E. G. Omodeo, and A. Policriti. Set Theory for Computing \u2014 From decision procedures to declarative programming with sets. Texts and Monographs in Computer Science. Springer-Verlag, New York, Berlin, Heidelberg, 2001."},{"issue":"6","key":"4_CR3","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E. F. Codd","year":"1970","unstructured":"E. F. Codd. A relational model for large shared data banks. Communications of the ACM, 13(6):377\u2013387, 1970.","journal-title":"Communications of the ACM"},{"issue":"4","key":"4_CR4","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1142\/S0218194097000291","volume":"7","author":"E.-E. Doberkat","year":"1997","unstructured":"E.-E. Doberkat. Generating an algebraic specification from an ER-model. International Journal of Software Engineering and Knowledge Engineering, 7(4):525\u2013552, 1997.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"4_CR5","unstructured":"E.-E. Doberkat and E. G. Omodeo. Algebraic semantics of ER-models from the standpoint of map calculus. Technical Report Forschungsbericht Nr.765, Fachbereich Informatik, University of Dortmund, October 2001."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"E.-E. Doberkat and E. G. Omodeo. Algebraic semantics of ER-models in the context of the calculus of relations. Part II: Dynamic view. Technical Report Memo Nr.114, Chair for Software Technology, University of Dortmund, 2001.","DOI":"10.1007\/3-540-36280-0_4"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"A. Jaoua, N. Belkhiter, H. Ounalli, and T. Moukam. Databases. In [1], pages 197\u2013210. Springer-Verlag, 1997.","DOI":"10.1007\/978-3-7091-6510-2_13"},{"key":"4_CR8","volume-title":"Object-oriented Software Construction","author":"B. Meyer","year":"1998","unstructured":"B. Meyer. Object-oriented Software Construction. Prentice-Hall, Englewood Cliffs, NJ, 5th edition, 1998.","edition":"5"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"E. G. Omodeo and E.-E. Doberkat. Algebraic semantics of ER-models in the context of the calculus of relations. Part I: Static view. Electronic Notes in Theoretical Computer Science, 44(3), 2001.","DOI":"10.1016\/S1571-0661(04)80935-6"},{"key":"4_CR10","volume-title":"Monographs on Theoretical Computer Science","author":"G. Schmidt","year":"1993","unstructured":"G. Schmidt and T. Str\u00f6hlein. Relations and graphs. Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, 1993."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"A. Tarski and S. Givant. A formalization of set theory without variables, volume 41 of Colloquium Publications. American Mathematical Society, 1987.","DOI":"10.1090\/coll\/041"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"B. Thalheim. Entity-Relationship Modeling: Foundations of Database Technology. Springer-Verlag, 2000.","DOI":"10.1007\/978-3-662-04058-4"}],"container-title":["Lecture Notes in Computer Science","Relational Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36280-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T00:06:25Z","timestamp":1556755585000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36280-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540003151","9783540362807"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-36280-0_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}