трактовать как возможность прямого доступа
трактовать как возможность прямого доступа (по чтению) к
атрибутам типа. Подобно этому, функция типа может выдавать в
качестве значения объект некоторого типа; класс этого объекта не
специфицируется.
Разделение понятий класса и типа приводит к тому, что для ООБД
одновременно поддерживаются вообще говоря разные АГК классов и
АГК типов. Разная структура этих графов обуславливается,
во-первых, тем, что допускается существование однотипных классов,
не связанных отношением наследования, и во-вторых, тем, что
подкласс класса не обязательно обладает другим типом.
Исходя из введенного набора понятий, сформулируем правила
интерпретации выражений алгебры объектов, операции которой
определены над классами объектов, вырабатывают классы объектов и
включают операции теоретико-множественного объединения,
пересечения, декартова произведения, а также операции селекции и
проекции. Нашей задачей является для каждой из указанных операций
сформулировать условия ее применимости, тип результирующего
класса и его место в получаемой после выполнения операции
динамической решетке классов.
Объединение классов.
Операция объединения классов является двуместной и естественным
условием ее применения является однотипность обоих классов.
Тип результирующего класса совпадает с типом классов-операндов.
После выполнения операции результирующий класс становится
суперклассом обоих классов-операндов. Обозначим классы-операнды A
и B, а результирующий класс - C. Все объекты классов A и B
непосредственно принадлежат также и классу C.
Пересечение классов.
Операция пересечения классов является двуместной и естественным
условием ее применения является однотипность обоих классов.
Тип результирующего класса совпадает с типом классов-операндов.
После выполнения операции результирующий класс становится
подклассом каждого из классов-операндов. Обозначим
классы-операнды A и B, а результирующий класс - C. Все объекты,
непосредственно принадлежащие классу C, непосредственно
принадлежат также и классам A и B.
Содержание Назад Вперед