Extended Virtual Type for a Multiple-Type Object with Repeating Types

摘要

INADA is an enhanced C++ persistent programming language and compliant with the ODMG standard. INADA provides multiple-type object which enables any persistent objects to be extended by obtaining any type and by losing any unnecessary types. Furthermore, INADA provides virtual type which enables any persistent objects to be accessed through a virtual type derivable from other base/virtual types. However, it does not allow the type which a virtual type is derived from to be a repeating one. To overcome this constraint, this paper proposes extended virtual type which allows a virtual type to be derived from a repeating one and shows a method of implementing it in INADA.