Abstract
This paper focuses on consistent structural updates for object database design and is included in a formal approach for advanced database modeling and design. This approach is based on the IFO2 model, an extension of the semantic model IFO defined by Abiteboul and Hull. It preserves the acquired strengths of the semantic approaches, whilst integrating concepts of the object paradigm. Structural part of the model including concepts such as alternative, composition, grouping for building complex objects and semantics constraints are defined. Furthermore, the definitions of consistent updates necessary to modify and perfect IFO2 schemas are formally specified through change functions. The result is a new coherent and formal approach which is useful in overcoming some of the difficulties in the specification and design of advanced applications.
This work, supported by an External European Research Project in collaboration with Digital Equipment, comes within the scope of a larger project the aim of which is to realize an aided system for advanced application modeling and design.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Abiteboul S., Fischer P.C. and Schek H.-J. (Eds)-Nested relations and complex objects in databases. LNCS, Vol. 361, Springer-Verlag, 1989.
Abiteboul S. and Hull R.-IFO: A Formal Semantic Database Model. ACM Transaction on Database Systems, Vol. 12, N∘ 4, December 1987, pp. 525–565.
Andany J., Léonard M. and Palisser C.-Management Of Schema Evolution in Databases — Proceedings of the 17th International Conference on Very Large Data Bases, Barcelona, September 1991, pp. 161–170.
Atkinson M.P., Bancilhon F., DeWitt D., Dittrich K., Maier D. and Zdonik S.B.-The Object-Oriented Database System Manifesto. Proceedings of the First Deductive and Object-Oriented Database Conference, DOOD89, Kyoto, Japan, December 1989, pp. 223–240.
Banerjee J., Chou H.-T., Garza J.F., Kim W., Woelk D., Ballou N. and Kim H.J.-Data Model Issues for Object-Oriented Applications. ACM Transactions on Office Information Systems, Vol. 5, N∘ 1, January 1987, pp. 3–26.
Bertino E. and Martino L.-Object-Oriented Database Management Systems: Concepts and Issues. Computer IEEE, Vol 24, ∘4, April 1991, pp. 33–47.
Bouzeghoub M., Métais E., Hazi F. and Leborgne L.-A Design Tool for Object Databases. Proceedings of the 2nd Conference on Advanced Information System Engineering, LNCS, Vol. 436, Springer-Verlag, 1990, pp. 365–392.
Cauvet C. and Proix C.-La conception de bases de données orientées-objet: modèle et méthode. Vièmes journées Bases de Données Avancées, Genève, Suisse, Septembre 1989, pp. 23–28.
Coen-Porisini A., Lavazza L. and Zicari R.-The ESSE Project: An Overview. Proceedings of the 2nd Far-East Workshop on Future Database systems, Kyoto, Japan, April 26–28, 1992, pp. 28–37.
Fiadeiro J. and Sernadas A.-Specification and Verification of Database Dynamics. Acta Informatica, Vol. 25, 1988, pp. 625–661.
Heuer A.-A Data Model for Complex Objects Based on a Semantic Database Model and Nested Relations. In [AbFi89], pp. 297–311.
Hull R. and King R.-Semantic Database Modelling: Survey, Applications, and Research Issues. ACM Computing Surveys, Vol. 19, N∘ 3, September 1987, pp. 201–260.
Hull R.-Four Views of Complex Objects: A Sophisticate's Introduction. In [AbFi89], pp. 87–116.
Kim W., Bertino E. and Garza, J.F.-Composite Objects Revisited. Proceedings of the ACM SIGMOD Conference, June 1989, pp. 337–347.
Lécluse C., Richard P. and Velez F.-O2. An Object-Oriented Data Model. Proceedings of the ACM SIGMOD Conference, June 1988, pp. 424–433.
Meyer B.-Object-Oriented Software Construction-Prentice Hall International series in Computer Science, 1988.
Missikoff M. and Scholl M.-An Algorithm for Insertion into a Lattice: Application to Type Classification. Foundations of Data Organization and Algorithms. LNCS, Vol. 367, Springer-Verlag, 1989, pp. 64–82.
Nguyen G.T., and Rieu D.-Schema Evolution in Object-Oriented Database Systems. Data&Knowledge Engineering (North Holland) 4, 1989, pp. 43–67.
Pernici B.-Objects with Roles. Conference on Office Information Systems, Cambridge, April 1990, pp. 205–215.
Penney D.J. and Stein J.-Class Modification in the Gemstone Object-Oriented DBMS. Proceedings of the OOPSLA'87 Conference, October 1987, pp. 111–117.
Poncelet P., Teisseire M. and Lakhal L.-IFO 2. modèle et principe pour la conception de bases de données avancées. Actes des VIIIièmes journées Bases de Données Avancées, Trégastel, France, Septembre 1992, pp. 320–338.
Poncelet P., Teisseire M. and Lakhal L.-Advanced Database Design with the IFO2 model. Internal Research Report 13S-CNRS N∘92-39, August 1992.
Saake G.-Descriptive Specification of Database Object Behaviour. Data&Knowledge Engineering (North Holland) 6, 1991, pp. 47–73.
Stonebraker M. (Ed.)-Special Issue on Database Prototype Systems. IEEE Transactions on Knowledge and Dam Engineering, Vol. 2, N∘1, March 1990.
Teorey T.J. (Ed.)-The Entity-Relationship Approach. Morgan Kaufmann Publishers, 1990.
Tresch M. and Scholl M.H.-Meta Object Management and its Application to Database Evolution. Proceedings of the 11th International Conference on the Entity-Relationship Approach, LNCS, Vol. 645, Karlsruhe, Germany, October 1992, pp. 299–321.
Unland R. and Shlageter G.-Object-Oriented Database Systems: Concepts and Perspectives-Database Systems of the 90s, LNCS, Vol. 466, Springer-Verlag, 1990, pp. 154–197.
Zicari R.-A Framework for Schema Updates in an Object-Oriented Database System. Proceedings of the 7th IEEE Data Engineering Conference, Kobe, Japan, April 8–12, 1991, pp. 2–13.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Poncelet, P., Lakhal, L. (1993). Consistent structural updates for object database design. In: Rolland, C., Bodart, F., Cauvet, C. (eds) Advanced Information Systems Engineering. CAiSE 1993. Lecture Notes in Computer Science, vol 685. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56777-1_1
Download citation
DOI: https://doi.org/10.1007/3-540-56777-1_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56777-6
Online ISBN: 978-3-540-47735-8
eBook Packages: Springer Book Archive