Skip to main content
SpringerLink
Log in

Datenbankentwurf mit frei definierbaren Modellierungskonzepten

  • Conference paper
Objektbanken für Experten

Part of the book series: Informatik aktuell ((INFORMAT))

  • 29 Accesses

Zusammenfassung

Ingenieurwissenschaftliche Datenbankanwendungen zeichnen sich durch eine Vielfalt von Modellierungskonzepten aus. Anstelle eines einzigen, durch die Vielfalt der erforderlichen Konzepte eher verwirrenden semantischen Datenmodells sollte man eine größere Zahl von speziell an die Anforderungen eines Anwendungsbereiches angepaßten Modellierungskonzepten anstreben. In diesem Beitrag wird dazu eine konstruktive Methodik in Form eines erweiterbaren semantischen Modells (ESM) für die Vereinbarung neuer semantischer Datenmodelle vorgeschlagen. Es wird die Architektur einer Entwurfsumgebung für den DB-Entwurf mit einem ESM beschrieben sowie die aus der Verwendung eines ESMs resultierenden Konsequenzen für die einzelnen Entwurfswerkzeuge: Formale Definition des Konzeptbegriffes zur präzisen Erfassung der Semantik eines Konzeptes, deklarative Beschreibung der graphischen Repräsentation eines Konzeptes, Testdatengenerierung auf konzeptueller Ebene und Schematransformation als Such- und Optimierungsprozeß. Die bisher gemachten Erfahrungen mit der Entwurfsumgebung deuten auf einen deutlichen Produktivitätsgewinn beim Datenbankentwurf hin.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F. Bry, H. Decker, and R. Manthey. A Uniform Approach to Constraint Satisfiability in Deductive Databases. In Proc. Int. Conf. on Extending Database Technology, pages 488–505. LNCS 303, Springer-Verlag, 1988.

    Google Scholar 

  2. D. Bitton, D.J. Dewitt, and C. Turbyfill. Benchmarking Database Systems — A Systematic Approach. In Proceedings of the Conference on Very Large Data Bases (VLDB), pages 8–19, 1983.

    Google Scholar 

  3. F. Bry and R. Manthey. Checking Consistency of Database Constraints: a Logical Basis. In Proceedings of the Conference on Very Large Data Bases (VLDB), pages 13–20, 1986.

    Google Scholar 

  4. Michael R. Blaha, William J. Premerlani, and James E. Rumbaugh. Relational database design using an object-oriented methodology. Communications of the ACM, 31:414–427, 1988.

    Article  Google Scholar 

  5. EDIF Steering Committee. EDIF Electronic Design Interchange Format Version 2.0.0. Electronic Industries Association, 1987.

    Google Scholar 

  6. D.J. Dewitt. Benchmarking Database systems: Past Efforts and Future Directions. IEEE Database Engineering, 8(1):2–9, 1985.

    Google Scholar 

  7. S. Karl and P.C. Lockemann. Design of Engineering Databases: A Case for More Varied Semantic Modelling Concepts. Information Systems, 13(4):335–357, December 1988.

    Article  Google Scholar 

  8. C.H. Kung. A Tableaux Approach for Consistency Checking. In Sernadas, Bubenko, and Olive, editors, Proc. IFIP Work. Conf. on Theoretical and Formal Aspects of Information Systems, pages 191–210. North-Holland Publishing Company, 1985.

    Google Scholar 

  9. P.C. Lockemann and G. Moerkotte. On The Notion of Concept. In Proc. 10th Conference on Entity-Relationship Approach, pages 349–370, 1991.

    Google Scholar 

  10. P.C. Lockemann, H.-H. Nagel, and I.M. Walter. Databases for knowledge bases: empirical study of a knowledge base management system for a semantic network. In Data and Knowledge Engineering vol 7, pages 115–154, North-Holland, 1991. Elsevier Science Publishers.

    Google Scholar 

  11. F. Maryanski. The Data Model Compiler: A Tool for Generating Object-Oriented Database Systems. In K.R. Dittrich and U. Dayal, editors, Proc. of the International Workshop on Object-Oriented Databases, pages 73–84. IEEE, 1986.

    Google Scholar 

  12. R. Manthey and F. Bry. SATCHMO: A Theorem Prover implemented in Prolog. In E. Lusk and R. Overbeck, editors, 9th Int. Conf. on Automated Deduction, pages 415–434, Argonne, Illinois, USA, May 1988. LNCS 310, Springer-Verlag.

    Chapter  Google Scholar 

  13. John Mylopoulos, Alex Borgida, Matthias Jarke, and Manolis Koubarakis. Telos: Representing knowledge about information systems. ACM Transactions on Information Systems, 8(4):325–362, October 1990.

    Article  Google Scholar 

  14. G. Moerkotte and P.C. Lockemann. Reactive consistency control in deductive databases. ACM Transactions on Database Systems, 16(4):670–702, December 1991.

    Article  Google Scholar 

  15. Leo Mark and Nick Roussopoulos. Integration of data, schema and metaschema in the context of self-documenting data models. In E-R-Approach to Software Engineering, pages 585–602, 1983.

    Google Scholar 

  16. Leo Mark and Nick Roussopoulos. Metadata management. COMPUTER, 19(12):26–36, 1986.

    Article  Google Scholar 

  17. H. Mannila and K.-J. Räihä. Automatic Generation of Test Data for Relational Queries. Journal of Computer and System Sciences, 38(2):240–258, 1989.

    Article  MATH  MathSciNet  Google Scholar 

  18. A. Neufeld, G. Moerkotte, and P.C. Lockemann. Generating Consistent Test Data for a Variable Set of General Consistency Constraints, 1992. Submitted for publication.

    Google Scholar 

  19. L. Neugebauer and K. Neumann. Schemagesteuerte Testdatengenerierung für relationale Datenbanken. Informatik-Bericht 8502, TU Braunschweig, Institut für Informatik, Abtl. Datenbanken und Informationssysteme, 1985.

    Google Scholar 

  20. H. Noble. The Automatic Generation of Test Data for a Relational Database. Information Systems, 8(2):79–86, 1983.

    Article  Google Scholar 

  21. Fred Oertly and Gerald Schiller. Evolutionary database design. In 5th Int. Conf. Data Engineering, pages 618–624, 1989.

    Google Scholar 

  22. Judea Pearl. Heuristics. Addison-Wesley, 1984.

    Google Scholar 

  23. K. Radermacher. Graphikunterstützung für den Datenbankentwurf mit freidefinierten Modellierungskonzepten. PhD thesis, Universität Karlsruhe, 1991.

    Google Scholar 

  24. K. Radermacher. Abstraction Techniques in Semantic Modelling. 2nd European-Japanese Seminar on Information Modelling and Knowledge Bases, Tampere, Finland, June 1992. To appear in: Information Modelling and Knowledge Bases IV, IOS Press, Amsterdam, 1993.

    Google Scholar 

  25. K. Radermacher. An Extensible Graphical Programming Environment for Semantic Modelling. In International Workshop on Interfaces to Database Systems, Glasgow, UK, July 1992. Proceedings will be published.

    Google Scholar 

  26. K. Radermacher. Graphic Support for the Database Design with User-Defined Modelling Concepts. In S. Ohsuga, H. Kangassalo, H. Jaakkola, K. Hori, and N. Yonezaki, editors, Information Modelling and Knowledge Bases III: Foundations, Theory, and Applications, pages 301–315. IOS Press, Amsterdam, 1992.

    Google Scholar 

  27. Matti Rossi, Mats Gustafsson, Kari Smolander, Lars-Åke Johannson, and Kalle Lyytinen. Metamodeling editor as a front end tool for a case shell. In CAiSE’92 Advanced Information Systems Engineering, 1992.

    Google Scholar 

  28. J. Röhrle. Dynamische Testdatengenerierung für die Evaluierung von Datenbank-Prototyp en. Informatik Forschung und Entwicklung, 4:139–148, 1989.

    Google Scholar 

  29. Paul G. Sorensen, Jean-Paul Tremblay, and Andrew J. McAllister. The metaview system for many specification environments. IEEE Software, March 1988.

    Google Scholar 

  30. T. J. Teorey, D. Yang, and J. P. Fry. A logical design methodology for relational database using the extended entity-relationship model. ACM Comput. Surv., 18(2):197–222, 1986.

    Article  MATH  Google Scholar 

  31. US Departement of Commerce, National Bureau of Standards. Initial Graphics Exchange Standard (IGES) Version 4.0, June 1988.

    Google Scholar 

  32. VHDL Language Reference Manual, IEEE 1076 Version. 1987.

    Google Scholar 

  33. I. Walter. Datenbankgestützte Repräsentation und Extraktion von Episodenbeschreibungen aus Bildfolgen, volume 213 of Informatik-Fachberichte. Springer-Verlag, 1989.

    Google Scholar 

  34. P. Wilson and P. Kennicott. Iso step baseline requirements document (ipim). Technical report, ISO TC 184/SC4/WG1 Document Number N284, Oct. 1988.

    Google Scholar 

  35. A.I. Wasserman and P.A. Pircher. A Graphical, Extensible Integrated Environment for Software Development. ACM SIGPLAN Notices, 22(1):131–142, January 1987.

    Article  Google Scholar 

  36. A.I. Wasserman, P.A. Pircher, D.T. Shewmake, and M.L. Kersten. Developing Interactive Information Systems with the User Software Engineering Methodology. IEEE Transactions on Software Engineering, SE-12(2):326–345, February 1986.

    Google Scholar 

  37. I.W. Walter, R. Sturm, P.C. Lockemann, and H.-H. Nagel. A semantic network based deductive database system for image sequence evaluation. In Proc. 2nd Working Conference on Visual database Systems, IFIP WG 2.6, pages 251–277, Budapest, Hungary, 1991. Elsevier Science Publishers, North-HoUand.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fakultät für Informatik, Universität Karlsruhe, Postfach 6980, W-7500, Karlsruhe 1, Deutschland

    Peter C. Lockemann, Guido Moerkotte, Andrea Neufeld, Klaus Radermacher & Norbert Runge

Authors
  1. Peter C. Lockemann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Guido Moerkotte
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Andrea Neufeld
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Klaus Radermacher
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Norbert Runge
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, TU München, Arcisstr. 21, W-8000, München 2, Deutschland

    R. Bayer

  2. Fachbereich Informatik, Universität Kaiserslautern, Erwin-Schrödinger-Straße, W-6750, Kaiserslautern, Deutschland

    T. Härder

  3. Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe, Postfach 6980, W-7500, Karlsruhe, Deutschland

    P. Lockemann

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lockemann, P.C., Moerkotte, G., Neufeld, A., Radermacher, K., Runge, N. (1992). Datenbankentwurf mit frei definierbaren Modellierungskonzepten. In: Bayer, R., Härder, T., Lockemann, P. (eds) Objektbanken für Experten. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77873-5_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-77873-5_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56074-6

  • Online ISBN: 978-3-642-77873-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation