Классика баз данных - статьи

       

трактовать как возможность прямого доступа


трактовать как возможность прямого доступа (по чтению) к

атрибутам типа. Подобно этому, функция типа может выдавать в

качестве значения объект некоторого типа; класс этого объекта не

специфицируется.

Разделение понятий класса и типа приводит к тому, что для ООБД

одновременно поддерживаются вообще говоря разные АГК классов и

АГК типов. Разная структура этих графов обуславливается,

во-первых, тем, что допускается существование однотипных классов,

не связанных отношением наследования, и во-вторых, тем, что

подкласс класса не обязательно обладает другим типом.

Исходя из введенного набора понятий, сформулируем правила

интерпретации выражений алгебры объектов, операции которой

определены над классами объектов, вырабатывают классы объектов и

включают операции теоретико-множественного объединения,

пересечения, декартова произведения, а также операции селекции и

проекции. Нашей задачей является для каждой из указанных операций

сформулировать условия ее применимости, тип результирующего

класса и его место в получаемой после выполнения операции

динамической решетке классов.

Объединение классов.

Операция объединения классов является двуместной и естественным

условием ее применения является однотипность обоих классов.

Тип результирующего класса совпадает с типом классов-операндов.

После выполнения операции результирующий класс становится

суперклассом обоих классов-операндов. Обозначим классы-операнды A

и B, а результирующий класс - C. Все объекты классов A и B

непосредственно принадлежат также и классу C.

Пересечение классов.

Операция пересечения классов является двуместной и естественным

условием ее применения является однотипность обоих классов.

Тип результирующего класса совпадает с типом классов-операндов.

После выполнения операции результирующий класс становится

подклассом каждого из классов-операндов. Обозначим

классы-операнды A и B, а результирующий класс - C. Все объекты,

непосредственно принадлежащие классу C, непосредственно

принадлежат также и классам A и B.


Содержание  Назад  Вперед