{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T14:15:51Z","timestamp":1778249751048,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540428664","type":"print"},{"value":"9783540455813","type":"electronic"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45581-7_29","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T07:48:38Z","timestamp":1194248918000},"page":"383-396","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Translation of a High-Level Temporal Model into Lower Level Models: Impact of Modelling at Different Description Levels"],"prefix":"10.1007","author":[{"given":"Peter","family":"Kraft","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens Otto","family":"S\u00f8rensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"29_CR1","unstructured":"Sowa, J.F., Knowledge Representation. Logical, Philosophical, and Computational Foundations. 2000: Brooks\/Cole."},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Codd, E.F., A relational model for large shared databanks. Communication of the ACM, 1970. 13(6).","DOI":"10.1145\/362384.362685"},{"key":"29_CR3","unstructured":"Codd, E.F., Further normalization of the data base relational model, in Data Base System, R. Rustin, Editor. 1972, Printice-Hall."},{"key":"29_CR4","unstructured":"Kraft, P. and J.O. S\u00f8rensen. Accessing Data Bases through Interface Views using a Unified Graph-Oriented Entity-Relationship Model. in Integrated Design & Process Technology (IDPT). 1998. Berlin: Society for Design and Process Science."},{"key":"29_CR5","first-page":"212","volume-title":"En Uniform Entity-Relationship Model","author":"P. Kraft","year":"2001","unstructured":"Kraft, P. and J.O. S\u00f8rensen, En Uniform Entity-Relationship Model. 2001, Frederikshavn: Dafolo Forlag. 212."},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"Chen, P.P., The Entity-Relationship Model \u2014 Toward a Unified View of Data. ACM, Transaction on Database Systems, 1976. 1(1).","DOI":"10.1145\/320434.320440"},{"key":"29_CR7","unstructured":"Teory, T.J., Database Modelling and Design. The Entity-Relationship Approach. 1990: Morgan Kaufmann."},{"key":"29_CR8","unstructured":"Batini, C., S. Ceri, and S.B. Navathe, Conceptual Database Design. An Entity-relationship Approach. 1992: The Benjamin\/Cummings Publishing Company, Inc."},{"key":"29_CR9","unstructured":"Elmasri, R. and S.B. Navathe, Fundamentals of Database Systems, Third Edition. World Student Series. 2000: Addison-Wesley."},{"key":"29_CR10","unstructured":"Navathe, S.B. and R. Ahmed, Temporal Extension to the Relational Model and SQL, in Temporal Databases. Theory, Design, and Implementation, A.U. Tansel, et al., Editors. 1993, The Benjamin\/Cummings Publishing Company, Inc. p. 92\u2013109."},{"key":"29_CR11","unstructured":"Elmasri, R., G.T.J. Wuu, and V. Kouramajian, A Temporal Model and Query Language for EER Databases, in Temporal Databases. Theory, Design, and Implementation, A.U. Tansel, et al., Editors. 1993, The Benjamin\/Cummings Publishing Company, Inc. p. 212\u2013229."},{"key":"29_CR12","first-page":"504","volume-title":"The Morgan Kaufmann Series in Data MAnagement Systems","author":"R.T. Snodgrass","year":"2000","unstructured":"Snodgrass, R.T., Developing Time-Oriented Database Applications in SQL. The Morgan Kaufmann Series in Data MAnagement Systems, ed. J. Gray. 2000, San Francisco: Morgan Kaufmann Publishers. 504."},{"key":"29_CR13","unstructured":"Clifford, J., A. Croker, and A. Tuzhhilin, On the Completeness of Query Languages for Grouped and Ungrouped Historical Data Models, in Temporal Databases. Theory, Design, and Implementation, A.U. Tansel, et al., Editors. 1993, The Benjamin\/Cummings Publishing Company, Inc. p. 497\u2013533."},{"key":"29_CR14","unstructured":"Date, C.J., An Introduction to Database Systems. 7. ed. 2000: Addison Wesley Longman, Inc."},{"key":"29_CR15","unstructured":"Zaniolo, C., et al., Advanced Database Systems. 1997: Morgan Kaufmann Publishers, Inc."},{"issue":"10","key":"29_CR16","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R., An Axiomatic Basis for Computer Programming. Communication of the ACM, 1969. 12(10): p. 576\u2013583.","journal-title":"Communication of the ACM"},{"key":"29_CR17","volume-title":"International Series in Computer Science","author":"C.B. Jones","year":"1986","unstructured":"Jones, C.B., Systematic Software Development Using VDM. International Series in Computer Science, ed. C.A.R. Hoare. 1986, Hemel Hempstead: Prentice Hall."},{"key":"29_CR18","unstructured":"Diller, A., Z An Introduction to Formal Methods. 2. ed. 1994: John Wiley & Sons."}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling \u2014 ER 2001"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45581-7_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T13:46:19Z","timestamp":1778247979000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-45581-7_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428664","9783540455813"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45581-7_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"18 December 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}