Abstract
The paper attempts theoretically to clarify the interrelation between various levels of descriptions used in the modelling and the programming of information systems. We suggest an analysis where we characterise the description levels with respect to how precisely they may handle information about given types of properties, and examine how descriptions on higher levels translate into descriptions on lower levels. Our example looks at temporal properties where the information is concerned with the existence in time. In a high level temporal model with information kept in a three-dimensional space the existences in time can be mapped precisely and consistently securing a consistent handling of the temporal properties. We translate the high level temporal model into an entity-relationship model, with the information in a two-dimensional graph, and finally we look at the translations into relational and other textual models. We also consider the aptness of models that include procedural mechanisms such as active and object databases.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Sowa, J.F., Knowledge Representation. Logical, Philosophical, and Computational Foundations. 2000: Brooks/Cole.
Codd, E.F., A relational model for large shared databanks. Communication of the ACM, 1970. 13(6).
Codd, E.F., Further normalization of the data base relational model, in Data Base System, R. Rustin, Editor. 1972, Printice-Hall.
Kraft, P. and J.O. Sørensen. 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.
Kraft, P. and J.O. Sørensen, En Uniform Entity-Relationship Model. 2001, Frederikshavn: Dafolo Forlag. 212.
Chen, P.P., The Entity-Relationship Model — Toward a Unified View of Data. ACM, Transaction on Database Systems, 1976. 1(1).
Teory, T.J., Database Modelling and Design. The Entity-Relationship Approach. 1990: Morgan Kaufmann.
Batini, C., S. Ceri, and S.B. Navathe, Conceptual Database Design. An Entity-relationship Approach. 1992: The Benjamin/Cummings Publishing Company, Inc.
Elmasri, R. and S.B. Navathe, Fundamentals of Database Systems, Third Edition. World Student Series. 2000: Addison-Wesley.
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–109.
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–229.
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.
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–533.
Date, C.J., An Introduction to Database Systems. 7. ed. 2000: Addison Wesley Longman, Inc.
Zaniolo, C., et al., Advanced Database Systems. 1997: Morgan Kaufmann Publishers, Inc.
Hoare, C.A.R., An Axiomatic Basis for Computer Programming. Communication of the ACM, 1969. 12(10): p. 576–583.
Jones, C.B., Systematic Software Development Using VDM. International Series in Computer Science, ed. C.A.R. Hoare. 1986, Hemel Hempstead: Prentice Hall.
Diller, A., Z An Introduction to Formal Methods. 2. ed. 1994: John Wiley & Sons.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kraft, P., Sørensen, J.O. (2001). Translation of a High-Level Temporal Model into Lower Level Models: Impact of Modelling at Different Description Levels. In: S.Kunii, H., Jajodia, S., Sølvberg, A. (eds) Conceptual Modeling — ER 2001. ER 2001. Lecture Notes in Computer Science, vol 2224. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45581-7_29
Download citation
DOI: https://doi.org/10.1007/3-540-45581-7_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42866-4
Online ISBN: 978-3-540-45581-3
eBook Packages: Springer Book Archive