Consistent structural updates for object database design

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 arc 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.