Skip to main content

Conceptual modeling of database applications

  • Conference paper
  • First Online:
Information Systems and Artificial Intelligence: Integration Aspects (IS/KI 1990)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 474))

Included in the following conference series:

Abstract

The conceptual model is a high-level description of the functionality of a software system usually notated in a logic-based formalism. We discuss the special properties of descriptions of database applications using an appropriate conceptual formalism. A multi-layered approach for conceptual modeling of database applications is discussed together with first ideas on a design methodology using this approach. The specification of values, persistent database objects, temporal object evolution, update operations and arbitrary application processes is separated into different specification layers. Special attention is paid to problems of consistency checking for conceptual models and object-oriented modularization of design documents.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Atkinson, M., Bancilhon, F., DeWitt, D., Dittrich, K., Maier, D., Zdonik, S.: The Object-Oriented Database System Manifesto. Proc. First Int. Conf. on Deductive and Object-oriented Databases DOOD'89 (W.Kim, J.-M.Nicolas, S.Nishio, eds.). Kyoto, 1989, 40–57.

    Google Scholar 

  2. Abiteboul, S., Hull, R.: IFO — A Formal Semantic Database Model. ACM Transactions on Database Systems. Vol. 12, No. 4, 1987, 525–565.

    Google Scholar 

  3. ACM Transactions on Office Information Systems. Special Issue on Object-Oriented Systems. Vol. 5, No. 1, 1987.

    Google Scholar 

  4. Batory, D.S, Kim, W.: Modeling Concepts for VLSI CAD Objects. ACM Transactions on Database Systems. 10(3), 1985, 322–346.

    Google Scholar 

  5. Beeri, C.: Formal Models for Object Oriented Databases. Proc. First Int. Conf. on Deductive and Object-oriented Databases DOOD'89 (W.Kim, J.-M.Nicolas, S.Nishio, eds.). Kyoto, 1989, 370–395.

    Google Scholar 

  6. Brodie, M.L., Mylopoulos, J., Schmidt, J.W.: On Conceptual Modelling — Perspectives from Artificial Intelligence, Databases, and Programming Languages. Springer 1984.

    Google Scholar 

  7. Carmo, J., Sernadas, A.: A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification. Proc. IFIP WG 8.1 Conf. on “Temporal Aspects in Information Systems”. Sophia-Antipolis 1987, 31–46.

    Google Scholar 

  8. de Castilho, J.M.V., Casanova, M.A., Furtado, A.L.: A Temporal Framework for Database Specification. Proc. Int. Conf. on Very Large Databases. Mexico City 1982, 280–291.

    Google Scholar 

  9. Chen, P.P.: The Entity-Relationship Model — Towards a Unified View of Data. ACM Transactions on Database Systems. Vol. 1, No. 1, 1976, 9–36.

    Google Scholar 

  10. Dayal, U., Dittrich, K. (eds.): Proc. Int. Workshop on Object-Oriented Database Systems. IEEE Computer Society, Los Angeles 1986.

    Google Scholar 

  11. Dittrich, K., Gotthard, W., Lockemann, P.C.: Complex Entities for Engineering Applications. Proc. 5th Int. Conf. on Entity Relationship Approach. North-Holland, Amsterdam 1986.

    Google Scholar 

  12. Dittrich, K.(ed.): Advances in Object-Oriented Databases. LNCS 334, Springer-Verlag, Berlin 1988.

    Google Scholar 

  13. Ehrich, H.-D., Drosten, K., Gogolla, M.: Towards an Algebraic Semantics for Database Specification. Proc. 2nd IFIP Work. Conf. on Database Semantics “Data and Knowledge” (DS-2), Albufeira 1986 (R.A. Meersmann, A. Sernadas, eds.). North-Holland, Amsterdam 1988, 119–135.

    Google Scholar 

  14. Engels, G., Gogolla, M., Hohenstein, U., Hülsmann, K., Löhr-Richter, P., Saake, G., Ehrich, H.-D.: Conceptual Modelling of Database Applications Using an Extended Entity-Relationship Model. To appear as: Informatik-Bericht, Techn. Univ. Braunschweig, 1990.

    Google Scholar 

  15. Engels, G., Hohenstein, U., Hülsmann, K., Löhr-Richter, P., Ehrich, H.-D.: CADDY: Computer Aided Design of Non-Standard Databases. To appear in: Proc. 1st Int. Conf. on System Development Environments and Factories. Berlin 1989.

    Google Scholar 

  16. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. Springer-Verlag, Berlin 1985.

    Google Scholar 

  17. Ehrich, H.-D., Sernadas, A.: Algebraic View of Implementing Objects over Objects. Proc. REX Workshop Stepwise Refinements of Distributed Systems: Models, Formalisms, Correctness (W.deRoever, ed.). Springer-Verlag 1990.

    Google Scholar 

  18. Eder, J., Kappel, G., Tjoa, A.M., Wagner, R.R.: BIER: The Behaviour Integrated Entity Relationship Approach. Proc. of the 5th Int. Conf. on Entity-Relationship Approach (S.Spaccapietra, ed.). Dijon 1986, 147–166.

    Google Scholar 

  19. Ehrich, H.-D., Lipeck, U.W., Gogolla, M.: Specification, Semantics and Enforcement of Dynamic Database Constraints. Proc. Int. Conf. on Very Large Databases. Singapore 1984, 301–308.

    Google Scholar 

  20. Elmasri, R., Navathe, S.B.: Fundamentals of Database Systems. Benjamin/Cummings Publ., Redwood City 1989.

    Google Scholar 

  21. Ehrich, H.-D., Sernadas, A., Sernadas, C.: From Data Types to Object Types. J. Inf. Process. Cybern. EIK. Vol. 26, No. 1/2, 1990, 33–48.

    Google Scholar 

  22. Elmasri, R.A., Weeldreyer, J., Hevner, A.: The Category Concept: An Extension to the Entity-Relationship Model. Data & Knowledge Engineering, Vol. 1, 1985, 75–116.

    Google Scholar 

  23. Fiadeiro, J., Sernadas, A.: Specification and Verification of Database Dynamics. Acta Informatica. Vol. 25, Fasc. 6, 1988, 625–661.

    Google Scholar 

  24. Fiadeiro, J., Sernadas, C., Maibaum, T., Saake, G.: Proof-Theoretic Semantics of Object Oriented Specification Constructs. To appear in: Proc. IFIP TC2 Work. Conf. on Database Semantics: Object Oriented Databases (DS-4). Windermere (UK), July 1990.

    Google Scholar 

  25. Furtado, A.L., Neuhold, E.J.: Formal Techniques for Data Base Design. Springer-Verlag, Berlin 1986.

    Google Scholar 

  26. Hammer, M., McLeod, D.: Database Description with SDM: A Semantic Data Model. ACM Transactions on Database Systems. Vol. 6, No. 3, 1981, 351–386.

    Google Scholar 

  27. Hohenstein, U., Neugebauer, L., Saake, G., Ehrich, H.-D.: Three Level Specification of Databases Using an Extended Entity Relationship Model. GI/ÖGI/SI-Fachtagung “Entwurf von Informationssystemen, Informationsbedarfsermittlung und-analyse”, Linz (R.R. Wagner, R. Traunmüller, H.C. Mayr, eds.). Informatik-Fachbericht Bd. 143, Springer-Verlag, Berlin 1987, 58–88.

    Google Scholar 

  28. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs 1985.

    Google Scholar 

  29. Hohenstein, U., Gogolla, M.: Towards a Semantic View of an Extended Entity-Relationship Model. Informatik-Bericht Nr. 88-02, Techn. Univ. Braunschweig 1988.

    Google Scholar 

  30. Hull, R., King, R.: Semantic Database Modelling: Survey, Applications, and Research Issues. ACM Computing Surveys. Vol. 19, No. 3, 1987, 201–260.

    Google Scholar 

  31. Hülsmann, K., Saake, G.: Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring. Informatik-Bericht Nr. 89-04, Techn. Universität Braunschweig 1989.

    Google Scholar 

  32. Hülsmann, K., Saake, G.: Representation of the Historical Information Necessary for Temporal Integrity Monitoring. Proc. Int. Conf. on Extending Database Technology EDBT'90 (F.Bancilhon, C.Thanos, D.Tsichritzis, eds.). LNCS 416, Springer-Verlag, Berlin 1990, 378–392.

    Google Scholar 

  33. Karl, S., Lockemann, P.C.: Design of Engineering Databases: a Case for More Varied Semantic Modelling Concepts. Information Systems. Vol. 13, No. 4, 1988, 335–358.

    Google Scholar 

  34. Khoshafian, S., Copeland, G.P.: Object Identity. ACM Proc. Conf. on Object-Oriented Programming Systems, Languages, and Applications. Portland, Sept.86. Reprint in: [ZdM89], 37–46.

    Google Scholar 

  35. Kim, W., Lochovsky, F.H.(eds.): Object-Oriented Concepts, Databases, and Applications. Addison-Wesley Publ., Reading 1989.

    Google Scholar 

  36. Khosla, S., Maibaum, T.S.E., Sadler, M.: Database Specification. Proc. IFIP Conf. on Datbase Semantics (DS-1), 1985 (T.B. Steel, R. Meersmann, eds.). North Holland, Amsterdam 1986, 141–158.

    Google Scholar 

  37. Lausen, G.: Modeling and Analysis of the Behavior of Information Systems. IEEE Transactions on Software Engineering. Vo. 14, No. 11, 1988, 1610–1620.

    Google Scholar 

  38. Lipeck, U.W.: Transformation of Dynamic Integrity Constraints into Transaction Specifications. Proc. 2nd Int. Conf. on Database Theory 1988 (M. Gyssen et al, eds.). LNCS 326, Springer-Verlag, Berlin 1988. 322–337.

    Google Scholar 

  39. Lipeck, U.W.: Zur dynamischen Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung (Dynamic Integrity of Databases: Fundamentals of Specification and Monitoring). Informatik-Fachbericht IFB 209, Springer-Verlag, Berlin 1989.

    Google Scholar 

  40. Lipeck, U.W., Saake, G.: Monitoring Dynamic Integrity Constraints Based on Temporal Logic. Information Systems. Vol. 12, No. 3, 1987, 255–269.

    Google Scholar 

  41. Lipeck, U.W., Saake, G.: Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen (Design of System Behaviour by Specification and Transformation of Temporal Requirements). Proc. 18. GI-Jahrestagung II, Hamburg (R. Valk, ed.). Informatik-Fachbericht IFB 188, Springer-Verlag, Berlin 1988, 449–463.

    Google Scholar 

  42. Reisig, W.: Petri Nets. Springer-Verlag, Berlin 1985.

    Google Scholar 

  43. Richter, G., Durchholz, R.: IML-Inscribed Petri-Nets. Proc. IFIP Work. Conf. on Comparative Review of Information Systems Design Methodologies (T.W. Olle, A.A. Verijn-Stuart, eds.). North-Holland, Amsterdam 1982, 335–368.

    Google Scholar 

  44. Saake, G.: Spezifikation, Semantik und Überwachung von Objektlebensläufen in Datenbanken (Specification, Semantics and Monitoring of Object Life Cycles in Databases). Doctoral Thesis. Informatik-Skript Nr. 20, Techn. Universität Braunschweig 1988.

    Google Scholar 

  45. Saake, G.: Descriptive Specification of Database Object Behaviour. Accepted for Data & Knowledge Engineering, Elsevier 1990.

    Google Scholar 

  46. Saake, G., Lipeck, U.W.: Using Finite-Linear Temporal Logic for Specifying Database Dynamics. Proc. CSL'88 2nd Workshop Computer Science Logic, Duisburg 1988 (E.Börger, H.Kleine Büning, M.M.Richter, eds.). LNCS 385, Springer-Verlag 1989, 288–300.

    Google Scholar 

  47. Sernadas, A.: Temporal Aspects of Logical Procedure Definition. Information Systems. Vol. 5, 1980, 167–187.

    Google Scholar 

  48. Sernadas, C., Saake, G.: Formal Semantics of Object-Oriented Language Constructs for Conceptual Modeling. ISCORE Technical Report, INESC, Lisbon 1989, submitted for publication.

    Google Scholar 

  49. Schiel, U., Furtado, A.L., Neuhold, E.J., Casanova, M.A.: Towards Multi-Level and Modular Conceptual Schema Specifications. Information Systems. Vol. 9, 1984, 43–57.

    Google Scholar 

  50. Sernadas, A., Fiadeiro, J., Sernadas, C., Ehrich, H.-D.: The Basic Building Block of Information Systems. Proc. Information System Concepts: An In-Depth Analysis (E. Falkenberg, P. Lindgreen, eds.). North-Holland, Amsterdam 1989, 225–246.

    Google Scholar 

  51. Sernadas, A., Sernadas, C., Ehrich, H.-D.: Object-Oriented Specification of Databases: An Algebraic Approach. Proc. 13th VLDB Int. Conf. on Very Large Databases. Brighton 1987 (P.M. Stocker, W. Kent, eds.). Morgan Kaufmann Publ., Los Altos 1987, 107–116.

    Google Scholar 

  52. Wieringa, R.J.: Algebraic Foundations for Dynamic Conceptual Models. Ph.D. Thesis, Vrije Universiteit, Amsterdam 1990.

    Google Scholar 

  53. Wieringa, R.J., Meyer, J.-J., Weigand, H.: Specifying Dynamic and Deontic Integrity Constraints. Data & Knowledge Engineering. Vol. 4, No. 2, 1989, 157–190.

    Google Scholar 

  54. Zdonik, S.B., Maier, D. (eds.): Readings in Object-Oriented Database Systems. Morgan Kaufmann Publ., San Mateo 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Dimitris Karagiannis

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Saake, G. (1991). Conceptual modeling of database applications. In: Karagiannis, D. (eds) Information Systems and Artificial Intelligence: Integration Aspects. IS/KI 1990. Lecture Notes in Computer Science, vol 474. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53557-8_28

Download citation

  • DOI: https://doi.org/10.1007/3-540-53557-8_28

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53557-7

  • Online ISBN: 978-3-540-46809-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics