Relation Re nement in Object - Relation Data
نویسنده
چکیده
Object-relation data models represent eeorts in extending object-oriented data models to incorporate higher level constructs for relating objects. Object-relation data models put explicit relations on the same \level" as types, consequently the relation construct should be a modeling construct which is well integrated with inheritance for object types. Most attempts let the relationships be special objects, and incorporate similar inheritance facilities for relation types as for object types. This paper shows another approach which does not promote relationships to objects. This gives rise to a construct we name relation re-nement, which is meant to resemble inheritance, but which have very diierent characteristics due to relationships being values instead of objects. The paper discusses consequences and use of our model of explicit relations for other major requirements to object-oriented databases, like composite objects, ordered data, and versioning.
منابع مشابه
Class Re nement and Interface Re nement in Object-Oriented Programs
Constructing new classes from existing ones by inheritance or subclassing is a characteristic feature of object-oriented development. Imposing semantic constraints on subclassing allows us to ensure that the behaviour of superclasses is preserved or re ned in their subclasses. This paper de nes a class re nement relation which captures these semantic constraints. The class re nement relation is...
متن کاملClass Reenement and Interface Reenement I N Object-oriented Development
Constructing new classes from existing ones by inheritance or subclassing is a character istic feature of object oriented development Imposing semantic constraints on subclassing allows us to ensure that behaviour of superclasses is preserved or re ned in their subclasses This paper de nes the class re nement relation which captures these semantic constraints The class re nement relation is bas...
متن کاملClass Re nement and Interface Re nement inObject - Oriented
Constructing new classes from existing ones by inheritance or subclassing is a characteristic feature of object-oriented development. Imposing semantic constraints on subclassing allows us to ensure that the behaviour of superclasses is preserved or reened in their subclasses. This paper deenes a class reenement relation which captures these semantic constraints. The class reenement relation is...
متن کاملAn Extended VDM Refinement Relation
The original de nition of re nement proof obligations in VDM is reviewed and examples are discussed which while being in tuitively sensible pose problems for this de nition of re nement An extended VDM re nement relation is introduced to cope with the prob lems Some non standard applications of the extended re nement proof obligations are discussed
متن کاملAction re nement as an implementation relation
We propose a theory of process re nement which relates behavioural descriptions belonging to conceptually di erent abstraction levels through a so called vertical implementation relation The theory is based on action re nement which permits to relate abstract actions of the speci cation to concrete computations of the implementation it is developed in the standard interleaving approach A number...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992