Классика баз данных - статьи
С помощью специального указания, задаваемого
С помощью специального указания, задаваемого при определении
класса, можно добиться долговременности хранения любого
объекта этого класса. В этом случае система автоматически
порождает значение-множество, имя которого совпадает с именем
класса. В этом множестве гарантированно содержатся все объекты
данного класса.
Метод - программный код, привязанный к конкретному классу и
применимый к объектам этого класса. Определение метода в O2
производится в два этапа. Сначала объявляется сигнатура
метода, т.е. его имя, класс, типы или классы аргументов и тип
или класс результата. Методы могут быть публичными (доступными
из объектов других классов) или приватными (доступными только
внутри данного класса). На втором этапе определяется
реализация класса на одном из языков программирования O2
(подробнее языки обсуждаются в следующем разделе нашего
обзора).
В модели O2 поддерживается множественное наследование классов
на основе отношения супертип/подтип. В подклассе допускается
добавление и/или переопределение атрибутов и методов.
Возможные при множественном наследовании двусмысленности (по
именованию атрибутов и методов) разрешаются либо путем
переименования, либо путем явного указания источника
наследования. Объект подкласса является объектом каждого
суперкласса, на основе которого порожден данный подкласс.
Поддерживается предопределенный класс "Оbject", являющийся
корнем решетки классов; любой другой класс является неявным
наследником класса "Object" и наследует предопределенные
методы ("is_same", "is_value_equal" и т.д.).
Специфической особенностью модели O2 является возможность
объявления дополнительных "исключительных" атрибутов и методов
для именованных объектов. Это означает, что конкретный
именованный объект-представитель класса может обладать типом,
являющимся подтипом типа класса. Конечно, с такими атрибутами
не работают стандартные методы класса, но специально для
именованного объекта могут быть определены дополнительные (или
