Objects for a database programming language
Antonio Albano, Giorgio Ghelli, Renzo Orsini · CINECA IRIS Institutial research information system (University of Pisa) · 1992
An object mechanism is presented for a strongly typed, statically checkable, object-oriented database programming language. The main features of the proposal are (a) an object type construct to define objects with hidden state and methods which can be organized in an inclusion hierarchy to exploit the benefits of inheritance and late binding, (b) the separation between the definition of an object type, or interface, and its implementation to allow the evolution of the implementation of an object type, without affecting the rest of the system, (c) an extension operator to transform in a type-safe way the type of an object.