Skip to main content
SpringerLink
Log in

First steps to a formal framework for multilevel database modifications

  • Integrity Constraints
  • Conference paper
  • First Online:
Database and Expert Systems Applications (DEXA 1997)

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

Included in the following conference series:

  • 107 Accesses

Abstract

We propose a formal basis for operations which can be understood as implicitly used in many kinds of schema modifications. Approaches for view definition, schema evolution, and schema versioning all rely on operations which work either on instance, on schema, or on both levels. This paper discusses a basic set of these operations called modification primitives and describes their semantics on the basis of the Extended Entity Relationship (EER) Model in a Hoare-style notation. We focus on the structural part of the schema definition and outline our ideas for arbitrary manipulations of instances.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Serge Abiteboul and Anthony Bonner. Objects and Views. In Proc. Intl. Conf. on Management of Data, pages 238–247. ACM SIGMOD, May 1991.

    Google Scholar 

  2. [ABD+89] Malcolm Atkinson, Frangois Bancilhon, David DeWitt, David Dittrich, David Meier, and Stanley Zdonik. The Object-Oriented Database System Manifesto. In Proc. of the 1st Int'l Conf. on Deductive and Object-Oriented Databases (DOOD), pages 40–57, Kyoto, Japan, December 1989.

    Google Scholar 

  3. Roland C. Backhouse. Program Construction and Verification. Prentice Hall, London, 1986.

    Google Scholar 

  4. Carlo Batini, Stefano Ceri, and Shamkant Navathe. Conceptual Database Design — an Entity-Relationship Approach. Benjamin/Cummings, Redwood, 1992.

    Google Scholar 

  5. Jay Banerjee, Won Kim, Hyoung-Joo Kim, and Henry F. Korth. Semantics and Implementation of Schema Evolution in Object-Oriented Databases. In Proc. of the ACM SIGMOD Int'l Conf. on Management of Data, pages 311–322, San Francisco, CA, May 1987. ACM Press.

    Google Scholar 

  6. Elisa Bertino and Lorenzo Martino. Object-Oriented Database Systems — Concepts and Architectures. Addison-Wesley, Wokingham, 1993.

    Google Scholar 

  7. P. P. Chen. The entity relationship model — toward an unified view of data. ACM Trans. on Database Systems, 1(1):9, March 1976. Reprinted in M. Stonebraker, Readings in Database Sys., Morgan Kaufmann, San Mateo, CA, 1988.

    Google Scholar 

  8. Wojciech Cellary and Geneviève Jomier. Consistency of Versions in Object-Oriented Databases. In Proc. of the 16th Int'l Conf. on Very Large Databases (VLDB), pages 432–441, Brisbane, Australia, 1990. Morgan Kaufmann.

    Google Scholar 

  9. [EGH+92] Gregor Engels, Martin Gogolla, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter, Gunter Saake, and Hans-Dieter Ehrich. Conceptual modelling of database applications using an extended ER model. Data & Knowledge Engineering, 9:157–204, 1992.

    Google Scholar 

  10. [FMZ+95] Fabrizio Ferrandina, Thorsten Meyer, Roberto Zicari, Guy Ferran, and Joëlle Madec. Schema and Database Evolution in the O2 Object Database System. In Proc. of the 21st Int'l Conf. on Very Large Databases (VLDB), pages 170–181, Zurich, Switzerland, September 1995. Morgan Kaufmann.

    Google Scholar 

  11. Martin Gogolla. An extended entity-relationship model fundamentals and pragmatics. Lecture Notes in Computer Science, 767, 1994.

    Google Scholar 

  12. David Gries and Fred B. Schneider. A Logical Approach to Discrete Math. Texts and Monographs in Computer Science. Springer-Verlag, New York, 1994.

    Google Scholar 

  13. Richard Hull and Roger King. Semantic Database Modelling: Survey, Applications and Research Issues. ACM Computing Surveys, 19(3):201–260, 1987.

    Google Scholar 

  14. Sven-Eric Lautemann. A Propagation Mechanism for Populated Schema Versions. In Proc. of the 13th Int'l Conf. on Data Engineering (ICDE), pages 67–78, Birmingham, U.K., April 1997. IEEE, IEEE Press.

    Google Scholar 

  15. Jacques Loeckx and Kurt Sieber. The Foundations of Program Verification (Second edition). John Wiley and Sons, New York, N.Y., 1987.

    Google Scholar 

  16. Simon Monk. A Model for Schema Evolution in Object-Oriented Database Systems. PhD thesis, Lancaster University, February 1993. 101 pages.

    Google Scholar 

  17. Renate Motschnig-Pitrik. Requirements and comparison of view mechanisms for object-oriented databases. Information Systems, 21(3):229–252, 1996.

    Google Scholar 

  18. Erik Odberg. MultiPerspectives: Object Evolution and Schema Modification Management for Object-Oriented Databases. PhD thesis, Norwegian Institute of Technology, February 1995. 408 pages.

    Google Scholar 

  19. Joan Peckham and Fred Maryanski. Semantic data models. ACM Computing Surveys, 20(3):153–189, September 1988.

    Google Scholar 

  20. Jandal J. Peters and M. Tamer Özsu. Axiomatization of dynamic Schema Evolution in Objectbases. In Proc. of the 11th Int'l Conf. on Data Engineering (ICDE), Taipei, Taiwan, March 1995. IEEE Press.

    Google Scholar 

  21. Barbara Staudt Lerner and A. Nico Habermann. Beyond Schema Evolution to Database Reorganization. In Proc. of the 5th Conf. on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pages 67–76, Ottawa, Canada, October 1990. ACM Press.

    Google Scholar 

  22. Marc H. Scholl, Christian Laasch, and Markus Tresch. Updateable Views in Object-Oriented Databases. In Proc. of the 2nd Int'l Conf. on Deductive and Object-Oriented Databases (DOOD), pages 189–207, Munich, Germany, December 1991. Springer-Verlag. Lecture Notes in Computer Science No. 566.

    Google Scholar 

  23. Cássio Souza dos Santos. Design and implementation of object-oriented views. Lecture Notes in Computer Science, 978, 1995.

    Google Scholar 

  24. Andrea H. Skarra and Stanley B. Zdonik. Type Evolution in an Object-Oriented Database. In Research Directions in Object-Oriented Programming, pages 393–415. MIT Press, 1987.

    Google Scholar 

  25. Gio Wiederhold. Views, Objects, and Databases. In On Object-Oriented Database Systems, pages 29–43. Springer, 1991.

    Google Scholar 

  26. Roberto Zicari. A Framework for Schema Updates in an Object-Oriented Database System. In François Bancilhon, Claude Delobel, and Paris Kanellakis, editors, Building an Object-Oriented Database System — The Story of O 2, pages 146–182. Morgan Kaufmann, San Mateo, California, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik, Datenbanken und Informationssysteme, Johann Wolfgang Goethe-Universität Frankfurt, Postfach 11 19 32, D-60054, Frankfurt am Main, Germany

    Frank Buddrus & Sven-Eric Lautemann

  2. Fachbereich Mathematik und Informatik, Arbeitsgruppe Datenbanksysteme, Universität Bremen, Postfach 33 04 40, D-28334, Bremen, Germany

    Heino Gärtner

Authors
  1. Frank Buddrus
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Heino Gärtner
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sven-Eric Lautemann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Abdelkader Hameurlain A Min Tjoa

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Buddrus, F., Gärtner, H., Lautemann, SE. (1997). First steps to a formal framework for multilevel database modifications. In: Hameurlain, A., Tjoa, A.M. (eds) Database and Expert Systems Applications. DEXA 1997. Lecture Notes in Computer Science, vol 1308. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022035

Download citation

  • DOI: https://doi.org/10.1007/BFb0022035

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63478-2

  • Online ISBN: 978-3-540-69580-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation