Advertisement

Conceptual modeling of database applications

  • Gunter Saake
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 474)

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.

Keywords

Temporal Logic Formal Semantic Integrity Constraint Database State Database Design 
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. [ABD+89]
    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. [AbH87]
    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. [ACM87]
    ACM Transactions on Office Information Systems. Special Issue on Object-Oriented Systems. Vol. 5, No. 1, 1987.Google Scholar
  4. [BaK85]
    Batory, D.S, Kim, W.: Modeling Concepts for VLSI CAD Objects. ACM Transactions on Database Systems. 10(3), 1985, 322–346.Google Scholar
  5. [Bee89]
    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. [BMS84]
    Brodie, M.L., Mylopoulos, J., Schmidt, J.W.: On Conceptual Modelling — Perspectives from Artificial Intelligence, Databases, and Programming Languages. Springer 1984.Google Scholar
  7. [CaS87]
    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. [CCF82]
    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. [Che76]
    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. [DaD86]
    Dayal, U., Dittrich, K. (eds.): Proc. Int. Workshop on Object-Oriented Database Systems. IEEE Computer Society, Los Angeles 1986.Google Scholar
  11. [DGL86]
    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. [Dit88]
    Dittrich, K.(ed.): Advances in Object-Oriented Databases. LNCS 334, Springer-Verlag, Berlin 1988.Google Scholar
  13. [EDG86]
    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. [EGH+90]
    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. [EHH+89]
    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. [EhM85]
    Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. Springer-Verlag, Berlin 1985.Google Scholar
  17. [EhS90]
    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. [EKTW86]
    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. [ELG84]
    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. [ElN89]
    Elmasri, R., Navathe, S.B.: Fundamentals of Database Systems. Benjamin/Cummings Publ., Redwood City 1989.Google Scholar
  21. [ESS90]
    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. [EWH85]
    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. [FiS88]
    Fiadeiro, J., Sernadas, A.: Specification and Verification of Database Dynamics. Acta Informatica. Vol. 25, Fasc. 6, 1988, 625–661.Google Scholar
  24. [FSMS90]
    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. [FuN86]
    Furtado, A.L., Neuhold, E.J.: Formal Techniques for Data Base Design. Springer-Verlag, Berlin 1986.Google Scholar
  26. [HaM81]
    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. [HNSE87]
    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. [Hoa85]
    Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs 1985.Google Scholar
  29. [HoG88]
    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. [HuK87]
    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üS89]
    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üS90]
    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. [KaL88]
    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. [KhC86]
    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. [KiL89]
    Kim, W., Lochovsky, F.H.(eds.): Object-Oriented Concepts, Databases, and Applications. Addison-Wesley Publ., Reading 1989.Google Scholar
  36. [KMS85]
    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. [Lau88]
    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. [Lip88]
    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. [Lip89]
    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. [LiS87]
    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. [LiS88]
    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. [Rei85]
    Reisig, W.: Petri Nets. Springer-Verlag, Berlin 1985.Google Scholar
  43. [RiD82]
    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. [Saa88]
    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. [Saa90]
    Saake, G.: Descriptive Specification of Database Object Behaviour. Accepted for Data & Knowledge Engineering, Elsevier 1990.Google Scholar
  46. [SaL89]
    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. [Ser80]
    Sernadas, A.: Temporal Aspects of Logical Procedure Definition. Information Systems. Vol. 5, 1980, 167–187.Google Scholar
  48. [SeS89]
    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. [SFNC84]
    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. [SFSE89]
    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. [SSE87]
    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. [Wie90]
    Wieringa, R.J.: Algebraic Foundations for Dynamic Conceptual Models. Ph.D. Thesis, Vrije Universiteit, Amsterdam 1990.Google Scholar
  53. [WMW89]
    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. [ZdM89]
    Zdonik, S.B., Maier, D. (eds.): Readings in Object-Oriented Database Systems. Morgan Kaufmann Publ., San Mateo 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Gunter Saake
    • 1
  1. 1.Informatik, Abt. DatenbankenTechnische Universität BraunschweigBraunschweigFRG

Personalised recommendations