Advertisement

Translation of a High-Level Temporal Model into Lower Level Models: Impact of Modelling at Different Description Levels

  • Peter Kraft
  • Jens Otto Sørensen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2224)

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.

Keywords

Temporal Model Entity Type Company Case Textual Model Temporal Database 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Sowa, J.F., Knowledge Representation. Logical, Philosophical, and Computational Foundations. 2000: Brooks/Cole.Google Scholar
  2. 2.
    Codd, E.F., A relational model for large shared databanks. Communication of the ACM, 1970. 13(6).Google Scholar
  3. 3.
    Codd, E.F., Further normalization of the data base relational model, in Data Base System, R. Rustin, Editor. 1972, Printice-Hall.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    Kraft, P. and J.O. Sørensen, En Uniform Entity-Relationship Model. 2001, Frederikshavn: Dafolo Forlag. 212.Google Scholar
  6. 6.
    Chen, P.P., The Entity-Relationship Model — Toward a Unified View of Data. ACM, Transaction on Database Systems, 1976. 1(1).Google Scholar
  7. 7.
    Teory, T.J., Database Modelling and Design. The Entity-Relationship Approach. 1990: Morgan Kaufmann.Google Scholar
  8. 8.
    Batini, C., S. Ceri, and S.B. Navathe, Conceptual Database Design. An Entity-relationship Approach. 1992: The Benjamin/Cummings Publishing Company, Inc.Google Scholar
  9. 9.
    Elmasri, R. and S.B. Navathe, Fundamentals of Database Systems, Third Edition. World Student Series. 2000: Addison-Wesley.Google Scholar
  10. 10.
    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.Google Scholar
  11. 11.
    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.Google Scholar
  12. 12.
    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.Google Scholar
  13. 13.
    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.Google Scholar
  14. 14.
    Date, C.J., An Introduction to Database Systems. 7. ed. 2000: Addison Wesley Longman, Inc.Google Scholar
  15. 15.
    Zaniolo, C., et al., Advanced Database Systems. 1997: Morgan Kaufmann Publishers, Inc.Google Scholar
  16. 16.
    Hoare, C.A.R., An Axiomatic Basis for Computer Programming. Communication of the ACM, 1969. 12(10): p. 576–583.zbMATHCrossRefGoogle Scholar
  17. 17.
    Jones, C.B., Systematic Software Development Using VDM. International Series in Computer Science, ed. C.A.R. Hoare. 1986, Hemel Hempstead: Prentice Hall.Google Scholar
  18. 18.
    Diller, A., Z An Introduction to Formal Methods. 2. ed. 1994: John Wiley & Sons.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Peter Kraft
    • 1
  • Jens Otto Sørensen
    • 1
  1. 1.Department of Information ScienceThe Aarhus School of BusinessÅrhus VDenmark

Personalised recommendations