Объектно-ориентированные базы данных - основные концепции, организация и управление: краткий обзор
Сергей Кузнецов
1. Введение
Направление объектно-ориентированных баз данных (ООБД)
возникло сравнительно давно. Публикации появлялись уже в
середине 1980-х (например, ). Однако наиболее активно это
направление развивается в последние годы. С каждым годом
увеличивается число публикаций и реализованных коммерческих и
экспериментальных систем.
Возникновение направления ООБД определяется прежде всего
потребностями практики: необходимостью разработки сложных
информационных прикладных систем, для которых технология
предшествующих систем БД не была вполне удовлетворительной.
Конечно, ООБД возникли не на пустом месте. Соответствующий
базис обеспечивают как предыдущие работы в области БД, так и
давно развивающиеся направления языков программирования с
абстрактными типами данных и объектно-ориентированных языков
программирования.
Что касается связи с предыдущими работами в области БД, то на
наш взгляд наиболее сильное влияние на работы в области ООБД
оказывают проработки реляционных СУБД и следующее
хронологически за ними семейство БД, в которых поддерживается
управление сложными объектами . Кроме того,
исключительное влияние на идеи и концепции ООБД и, как
кажется, всего объектно-ориентированного подхода оказал подход
к семантическому моделированию данных (например, , хотя
общее число публикаций по семантическому моделированию
поистине безгранично). Достаточное влияние оказывают также
развивающиеся параллельно с ООБД направления дедуктивных и
активных БД .
Среди языков и систем программирования наибольшее первичное
влияние на ООБД оказал Smalltalk . Этот язык сам по
себе не является полностью пионерским, хотя в нем была введена
новая терминология, являющаяся теперь наиболее
распространенной в объектно-ориентированном программировании.
На самом деле, Smalltalk основан на ряде ранее выдвинутых
концепций. Хороший обзор идей и подходов
объектно-ориентированного программирования представлен,
например, в .
Большое число работ не означает, что все проблемы ООБД
полностью решены. Как отмечается в Манифесте группы ведущих
ученых, занимающихся ООБД, современная ситуация с ООБД
напоминает ситуацию с реляционными системами середины 1970-х.
При наличии большого количества экспериментальных проектов (и
даже коммерческих систем) отсутствует общепринятая
объектно-ориентированная модель данных, и не потому, что нет
ни одной разработанной полной модели, а по причине отсутствия
общего согласия о принятии какой-либо модели. На самом деле,
имеются и более конкретные проблемы (например, ),
связанные с разработкой декларативных языков запросов,
выполнением и оптимизацией запросов, формулированием и
поддержанием ограничений целостности, синхронизацией доступа и
управлением транзакциями и т.д.
Тематика ООБД очень широка, объем настоящего обзора не
позволяет рассмотреть все вопросы. Тем не менее, мы
постараемся в систематической манере проанализировать наиболее
важные аспекты ООБД (критерии отбора тем и источников
полностью субъективны). Обзор построен по следующему плану:
Первый раздел - настоящее введение. Во втором разделе
излагаются основные понятия объектно-ориентированного подхода
и их специфическое преломление в контексте ООБД. В третьем
разделе рассматриваются основные понятия
объектно-ориентированного моделирования данных. Четвертый
раздел посвящен языкам программирования и языкам запросов
ООБД. В пятом разделе кратко обозреваются характерные
представители объектно-ориентированных СУБД - ORION и O2.
Шестой раздел посвящается проблематике выполнения и
оптимизации запросов к ООБД. В седьмом разделе рассматриваются
вопросы синхронизации доступа и управления транзакциями в
ООБД. Восьмой раздел касается связи ООБД и дедуктивных и
активных БД. Наконец, девятый раздел - краткое заключение.
2. Общие понятия объектно-ориентированного подхода и их
преломление в ООБД
В наиболее общей и классической постановке
объектно-ориентированный подход базируется на концепциях:
- объекта и идентификатора объекта;
- атрибутов и методов;
- классов;
- иерархии и наследования классов.
Любая сущность реального мира в объектно-ориентированных
языках и системах моделируется в виде объекта. Любой объект
при своем создании получает генерируемый системой уникальный
идентификатор, который связан с объектом во все время его
существования и не меняется при изменении состояния объекта.
Каждый объект имеет состояние и поведение. Состояние объекта -
набор значений его атрибутов. Поведение объекта - набор
методов (программный код), оперирующих над состоянием объекта.
Значение атрибута объекта - это тоже некоторый объект или
множество объектов. Состояние и поведение объекта
инкапсулированы в объекте; взаимодействие между объектами
производится на основе передачи сообщений и выполнении
соответствующих методов.
Множество объектов с одним и тем же набором атрибутов и
методов образует класс объектов. Объект должен принадлежать
только одному классу (если не учитывать возможности
наследования, см. следующий абзац). Допускается наличие
примитивных предопределенных классов, объекты-экземляры
которых не имеют атрибутов: целые, строки и т.д. Класс,
объекты которого могут служить значениями атрибута объектов
другого класса, называется доменом этого атрибута.
Допускается порождение нового класса на основе уже
существующего класса - наследование. В этом случае новый
класс, называемый подклассом существующего класса
(суперкласса) наследует все атрибуты и методы суперкласса. В
подклассе, кроме того, могут быть определены дополнительные
атрибуты и методы. Различаются случаи простого и
множественного наследования. В первом случае подкласс может
определяться только на основе одного суперкласса, во втором
случае суперклассов может быть несколько. Если в языке или
системе поддерживается единичное наследование классов, набор
классов образует древовидную иерархию. При поддержании
множественного наследования классы связаны в ориентированный
граф с корнем, называемый решеткой классов. Объект подкласса
считается принадлежащим любому суперклассу этого класса.
Одной из более поздних идей объектно-ориентированного подхода
является идея возможного переопределения атрибутов и методов
суперкласса в подклассе (перегрузки методов). Эта возможность
увеличивает гибкость, но порождает дополнительную проблему:
при компиляции объектно-ориентированной программы могут быть
неизвестны структура и программный код методов объекта, хотя
его класс (в общем случае - суперкласс) известен. Для
разрешения этой проблемы применяется так называемый метод
позднего связывания, означающий, по сути дела,
интерпретационный режим выполнения программы с распознаванием
деталей реализации объекта во время выполнения посылки
сообщения к нему. Введение некоторых ограничений на способ
определения подклассов позволяет добиться эффективной
реализации без потребностей в интерпретации .
Как видно, при таком наборе базовых понятий, если не принимать
во внимание возможности наследования классов и соответствующие
проблемы, объектно-ориентированный подход очень близок к
подходу языков программирования с абстрактными (или
произвольными) типами данных .
С другой стороны, если абстрагироваться от поведенческого
аспекта объектов, объектно-ориентированный подход весьма
близок к подходу семантического моделирования данных
(даже и по терминологии). Фундаментальные абстракции, лежащие
в основе семантических моделей, неявно используются и в
объектно-ориентированном подходе. На абстракции агрегации
основывается построение сложных объектов, значениями атрибутов
которых могут быть другие объекты. Абстракция группирования -
основа формирования классов объектов. На абстракциях
специализации/обобщения основано построение иерархии или
решетки классов.
Видимо, наиболее важным новым качеством ООБД, которое
позволяет достичь объектно-ориентированный подход, является
поведенческий аспект объектов. В прикладных информационных
системах, основывавшихся на БД с традиционной организацией
(вплоть до тех, которые базировались на семантических моделях
данных), существовал принципиальный разрыв между структурной и
поведенческой частями. Структурная часть системы
поддерживалась всем аппаратом БД, ее можно было моделировать,
верифицировать и т.д., а поведенческая часть создавалась
изолированно. В частности, отсутствовали формальный аппарат и
системная поддержка совместного моделирования и гарантирования
согласованности этих структурной (статической) и поведенческой
(динамической) частей. В среде ООБД проектирование, разработка
и сопровождение прикладной системы становится процессом, в
котором интегрируются структурный и поведенческий аспекты.
Конечно, для этого нужны специальные языки, позволяющие
определять объекты и создавать на их основе прикладную систему
.
Специфика применения объектно-ориентированного подхода для
организации и управления БД потребовала уточненного толкования
классических концепций и некоторого их расширения . Это
определяется потребностями долговременного хранения объектов
во внешней памяти, ассоциативного доступа к объектам,
обеспечения согласованного состояния ООБД в условиях
мультидоступа и тому подобных возможностей, свойственных базам
данных . В выделяются три аспекта, отсутствующие в
традиционной парадигме, но требующиеся в ООБД.
Первый аспект касается потребности в средствах спецификации
знаний при определении класса (ограничений целостности, правил
дедукции и т.п.) Второй аспект - потребность в механизме
определения разного рода семантических связей между объектами
вообще говоря разных классов. Фактически это означает
требование полного распространения на ООБД средств
семантического моделирования данных. Потребность в
использовании абстракции ассоциирования отмечается и в связи с
использовании ООБД в сфере автоматизированного проектирования
и инженерии . Наконец, третий аспект связан с пересмотром
понятия класса. В контексте ООБД оказывается более удобным
рассматривать класс как множество объектов данного типа, т.е.
одновременно поддерживать понятия и типа и класса объектов.
Как мы отмечали во введении, в сообществе исследователей ООБД
и разработчиков систем отсутствует полное согласие, но в
большинстве практических работ используется некоторое
расширение объектно-ориентированного подхода.
3. Объектно-ориентированные модели данных
Первой формализованной и общепризнанной моделью данных была
реляционная модель Кодда . В этой модели, как и во всех
следующих, выделялись три аспекта - структурный, целостный и
манипуляционный. Структуры данных в реляционной модели
основываются на плоских нормализованных отношениях,
ограничения целостности выражаются с помощью средств логики
первого порядка и, наконец, манипулирование данными
осуществляется на основе реляционной алгебры или равносильного
ей реляционного исчисления. Как отмечают многие исследователи,
своим успехом реляционная модель данных во многом обязана
тому, что опиралась на строгий математический аппарат теории
множеств, отношений и логики первого порядка. Разработчики
любой конкретной реляционной системы считали своим долгом
показать соответствие своей конкретной модели данных общей
реляционной модели, которая выступала в качестве меры
"реляционности" системы.
Основные трудности объектно-ориентированного моделирования
данных проистекают из того, что такого развитого
математичекого аппарата, на который могла бы опираться общая
объектно-ориентированная модель данных, не существует. В
большой степени поэтому до сих пор нет базовой
объектно-ориентированной модели. С другой стороны, в со
ссылкой на недоступную нам работу Майера утверждается,
что общая объектно-ориентированная модель данных в
классическом смысле и не может быть определена по причине
непригодности классического понятия модели данных к парадигме
объектной ориентированности.
Не приводя доводов в пользу этого утверждения Майера, но и не
оспаривая его, Беери предлагает в общих чертах формальную
основу ООБД, далеко не полную и не являющуюся моделью данных в
традиционном смысле, но позволяющую исследователям и
разработчикам систем ООБД по крайней мере говорить на одном
языке (если, конечно, предложения Беери будут развиты и
получат поддержку). Независимо от дальнейшей судьбы этих
предложений мы считаем полезным кратко их пересказать.
Во-первых, следуя практике многих ООБД, предлагается выделить
два уровня моделирования объектов: нижний (структурный) и
верхний (поведенческий). На структурном уровне поддерживаются
сложные объекты, их идентификация и разновидности связи "isa".
База данных - это набор элементов данных, связанных
отношениями "входит в класс" или "является атрибутом". Таким
образом, БД может рассматриваться как ориентированный граф.
Важным моментом является поддержание наряду с понятием объекта
понятия значения (позже мы увидим, как много на этом построено
в одной из успешных объектно-ориентированных СУБД O2 ).
Важным аспектом является четкое разделение схемы БД и самой
БД. В качестве первичных концепций схемного уровня ООБД
выступают типы и классы. Отмечается, что во всех системах,
использующих только одно понятие (либо тип, либо класс) это
понятие неизбежно перегружено: тип предполагает наличие
некоторого множества значений, определяемого структурой данных
этого типа; класс также предполагает наличие множества
объектов, но это множество определяется пользователем. Таким
образом, типы и классы играют разную роль, и для строгости и
недвусмысленности требуются одновременное поддержание обоих
понятий.
Автор не представляет полной формальной модели
структурного уровня ООБД, но выражает уверенность, что
текущего уровня понимания достаточно, чтобы формализовать
такую модель. Что же касается поведенческого уровня, предложен
только общий подход к требуемому для этого логическому
аппарату (логики первого уровня недостаточно).
Важным, хотя и недостаточно обоснованным предположением Беери
является то, что двух традиционных уровней - схемы и данных
для ООБД недостаточно. Для точного определения ООБД требуется
уровень мета-схемы (см. также ), содержимое которой должно
определять виды объектов и связей, допустимых на схемном
уровне БД. Мета- схема должна играть для ООБД такую же роль,
какую играет структурная часть реляционной модели данных для
схем реляционных баз данных.
Имеется достаточное количество других публикаций, относящихся
к теме объектно-ориентированных моделей данных , но они либо затрагивают достаточно частные вопросы,
либо используют слишком серьезный для этого обзора
математический аппарат (к числу последних относится работа
Леллани и Спиратоса , в которой объектно-ориентированная
модель данных определяется на основе теории категорий).
Для иллюстрации текущего положения дел мы кратко рассмотрим
особенности конкретной модели данных, применяемой в
объектно-ориентированной СУБД O2 (это, конечно, тоже
не модель данных в классическом смысле).
В O2 поддерживаются объекты и значения. Объект - это пара
(идентификатор, значение), причем объекты инкапсулированы,
т.е. их значения доступны только через методы - процедуры,
привязанные к объектам. Значения могут быть атомарными или
структурными. Структурные значения строятся из значений или
объектов, представленных своими идентификаторами, с помощью
конструкторов множеств, кортежей и списков. Элементы
структурных значений доступны с помощью предопределенных
операций (примитивов).
Возможны два вида организации данных: классы, экземплярами
которых являются объекты, инкапсулирующие данные и поведение,
и типы, экземплярами которых являются значения. Каждому классу
сопоставляется тип, описывающий структуру экземпляров класса.
Типы определяются рекурсивно на основе атомарных типов и ранее
определенных типов и классов с применением конструкторов.
Поведенческая сторона класса определяется набором методов.
Объекты и значения могут быть именованными. С именованием
объекта или значения связана долговременность его хранения
(persistency): любые именованные объекты или значения
долговременны; любые объект или значение, входящие как часть в
другой именованный объект или значение, долговременны.
С помощью специального указания, задаваемого при определении
класса, можно добиться долговременности хранения любого
объекта этого класса. В этом случае система автоматически
порождает значение-множество, имя которого совпадает с именем
класса. В этом множестве гарантированно содержатся все объекты
данного класса.
Метод - программный код, привязанный к конкретному классу и
применимый к объектам этого класса. Определение метода в O2
производится в два этапа. Сначала объявляется сигнатура
метода, т.е. его имя, класс, типы или классы аргументов и тип
или класс результата. Методы могут быть публичными (доступными
из объектов других классов) или приватными (доступными только
внутри данного класса). На втором этапе определяется
реализация класса на одном из языков программирования O2
(подробнее языки обсуждаются в следующем разделе нашего
обзора).
В модели O2 поддерживается множественное наследование классов
на основе отношения супертип/подтип. В подклассе допускается
добавление и/или переопределение атрибутов и методов.
Возможные при множественном наследовании двусмысленности (по
именованию атрибутов и методов) разрешаются либо путем
переименования, либо путем явного указания источника
наследования. Объект подкласса является объектом каждого
суперкласса, на основе которого порожден данный подкласс.
Поддерживается предопределенный класс "Оbject", являющийся
корнем решетки классов; любой другой класс является неявным
наследником класса "Object" и наследует предопределенные
методы ("is_same", "is_value_equal" и т.д.).
Специфической особенностью модели O2 является возможность
объявления дополнительных "исключительных" атрибутов и методов
для именованных объектов. Это означает, что конкретный
именованный объект-представитель класса может обладать типом,
являющимся подтипом типа класса. Конечно, с такими атрибутами
не работают стандартные методы класса, но специально для
именованного объекта могут быть определены дополнительные (или
переопределены стандартные) методы, для которых дополнительные
атрибуты уже доступны. Подчеркивается, что дополнительные
атрибуты и методы привязываются не к конкретному объекту, а к
имени, за которым в разные моменты времени могут стоять вообще
говоря разные объекты. Для реализации исключительных атрибутов
и методов требуется развитие техники позднего связывания.
В приводится достаточно формализованное описание модели
O2, мы для простоты изложения и понимания следовали , где
модель описывается на содержательном уровне. В следующем
разделе мы среди прочего рассмотрим особенности языков
программирования и запросов системы O2, которые, конечно,
тесно связаны со спецификой модели данных.
4. Языки программирования систем ООБД и языки запросов
Как отмечают многие исследователи и разработчики (например,
), объектно-ориентированная система БД представляет
собой объединение системы программирования и СУБД
(альтернативная, но не более проясняющая суть дела точка
зрения состоит в том, что объектно-ориентированная СУБД - это
СУБД, основанная на объектно-ориентированной модели данных
).
Мы уже говорили, что основная практическая надобность в ООБД
связана с потребностью в некоторой интегрированной среде
построения сложных информационных систем. В этой среде должны
отсутствовать противоречия между структурной и поведенческой
частями проекта и должно поддерживаться эффективное управление
сложными структурами данных во внешней памяти. С этой точки
зрения языковая среда ООБД - это объектно-ориентированная
система программирования, естественно включающая средства
работы с долговременными объектами. "Естественность" включения
средств работы с БД в язык программирования означает, что
работа с долговременными (хранимыми во внешней БД) объектами
должна происходить на основе тех же синтаксических конструкций
(и с той же семантикой), что и работа со временными,
существующими только во время работы программы объектами.
Эта сторона ООБД наиболее близка родственному направлению
языков программирования БД . Языки программирования ООБД и
БД во многих своих чертах различаются только терминологически;
существенным отличием является лишь поддержание в языках
первого класса подхода к наследованию классов. Кроме того,
языки второго класса, как правило, более развиты как в
отношении системы типов, так и в отношении управляющих
конструкций.
Другим аспектом языкового окружения ООБД является потребность
в языках запросов, которые можно было бы использовать в
интерактивном режиме. Если доступ к объектам внешней БД в
языках программирования ООБД носит в основном навигационный
характер, то для языков запросов более удобен декларативный
стиль. Декларативные языки запросов к ООБД менее развиты, чем
языки программирования ООБД, и при их реализации возникают
существенные проблемы. Ниже мы рассмотрим имеющиеся подходы и
их ограничения более подробно. Но начнем с языков
программирования ООБД.
К моменту написания данного обзора нам неизвестен какой-либо
язык программирования ООБД, который был бы спроектирован
целиком заново, начиная с нуля. Естественным подходом к
построению такого языка было использование (с необходимыми
расширениями) некоторого существующего
объектно-ориентированного языка. Начало расцвета направления
ООБД совпало с пиком популярности языка Smalltalk-80. Этот
язык оказал большое влияние на разработку первых систем ООБД,
и, в частности, использовался в качестве языка
программирования . Во многом опирается на Smalltalk и
известная коммерчески доступная система GemStone .
Трудности с эффективной практической реализацией языка
Smalltalk побудили разработчиков систем ООБД к поиску
альтернативных базовых языков. Известная близость
объектно-ориентированного и функционального подходов к
программированию позволяет достаточно успешно опираться на
функциональные языки программирования. В частности, язык Лисп
(Common Lisp) является основой проекта ORION . В этом
проекте Лисп является и инструментальным языком, и базой
объектно-ориентированного языка программирования в среде
ORION.
Потребности в еще более эффективной реализации заставляют
использовать в качестве основы объектно-ориентированного языка
языки более низкого уровня. Например, в системе VBASE
наряду со специально разработанным языком TDL, предназначенным
для определения типов, используется объектно-ориентированное
расширение языка Си - COP (C Object Processor). В уже
упоминавшемся проекте O2 наряду с функциональным
объектно-ориентированным языком программирования
используются два объектно-ориентированных расширения языков
Бейсик и Си. При этом, насколько можно судить по публикациям,
наибольшее распространение среди пользователей этой системы
(она уже коммерчески доступна) получил язык CO2, являющийся
расширением языка Си. Возможно это связано лишь с широкой (и
все более возрастающей) популярностью языка Си (и его
объектно-ориентированного потомка Си++), ставшего поистине
девизом "настоящих программистов". Может быть, причины более
глубинны (например, языки более высокого уровня слишком
ограничительны для программистов-профессионалов; недаром
большинство современных реализаций языков более высокого
уровня выполняются именно на языке Си). Тем не менее,
современная ситуация именно такова, и мы считаем полезным
привести краткое описание основных особенностей языка CO2
.
Прежде всего, CO2 не является полностью самостоятельным
языком. Этот язык входит во многоязыковую среду O2 и
предназначен для программирования методов ранее определенных
классов. Определение классов, сигнатур методов (фактически,
прототипов функций в терминологии языка Си) и имен постоянно
хранимых значений и объектов производится с использованием
отдельного языка определения схемы БД.
Имя любого объекта трактуется как указатель на значение этого
объекта; разыменование производится с помощью обычного
оператора Си '*'. Доступ к значению объекта возможен только из
метода его класса, если только при перечислении методов
оператор '*' не объявлен явно публичным.
Поддерживается операция порождения нового объекта указанного
класса. В отличие от языка Си++ в CO2 невозможно совместить
создание нового объекта с его инициализаций (понятие
метода-конструктора начального значения объекта в CO2 не
поддерживается). Для инициализации необходимо либо явно
обратиться к соответствующему методу класса с указанием вновь
созданного объекта (поддерживается соответствующий механизм
"передачи сообщений", означающий на самом деле вызов функции),
либо воспользоваться оператором '*' и явно присвоить новое
значение, если '*' - публичный оператор для данного класса.
CO2 включает средства конструирования значений-кортежей,
множеств, и списков. Понятие значения-кортежа фактически
эквивалентно понятию значения-структуры обычного языка Си (с
тем отличием, что элементами кортежа могут являться объекты,
множества и списки). Для значений-множеств и списков
поддерживаются операции добавления и изъятия элементов, а
также набор теоретико-множественных операций (и конкатенации
для списков).
Основой манипулирования объектами, хранимыми в БД, является
расширенное по сравнению с языком Си средство итерации.
Итератор применим к значениям-множествам или спискам.
Фактически он означает последовательное применение
оператора-тела цикла ко всем элементам множества или списка.
Если мы вспомним, что долговременно хранимому классу объектов
неявно соответствует одноименное значение-множество с
элементами-объектами данного класса, то становится понятно,
что итератор языка CO2 обеспечивает явную навигацию в классах
объектов. Единственное, что остается от привычных
пользователям СУБД языков запросов, - это ограниченная
возможность указания характеристик требуемых в цикле объектов
(это делается путем использования оператора разыменования и
явного указания условий на атрибуты; конечно, для этого нужно,
чтобы оператор '*' был объявлен публичным в данном классе).
Разработчики O2 подчеркивают, что они умышленно сделали CO2
более бедным по возможностям, чем, например, язык Си++, потому
что многое по части управления объектами берет на себя общий
менеджер объектов системы, явно вызываемый из рабочей
программы.
Потребность в поддержании в объектно-ориентированной СУБД не
только языка (или семейства языков) программирования ООБД, но
и развитого языка запросов в настоящее время осознается
практически всеми разработчиками. Система должна поддерживать
легко осваиваемый интерфейс, прямо доступный конечному
пользователю в интерактивном режиме. Один из подходов
основывается на поддержании обходчиков . В этом случае
конечный интерфейс обычно является графическим. На экране
отображается схема (или подсхема) ООБД, и пользователь
осуществляет доступ к объектам в навигационном стиле. По
мнению Бансилона в этом случае разумно игнорировать
принцип инкапсуляции объектов и предъявлять пользователю
внутренность объектов. В большинстве существующих систем ООБД
подобный интерфейс существует, но всем понятно, что
навигационный язык запросов - это в некотором смысле шаг назад
по сравнению с языками запросов даже реляционных систем.
Ведутся активные поиски подходов к организации декларативных
языков запросов к ООБД.
Беери отмечает существование трех подходов. Первый подход
- языки, являющиеся объектно-ориентированными расширениями
языков запросов реляционных систем. Наиболее распространены
языки с синтаксисом, близким к известному языку SQL . Это
связано, конечно, с общим признанием и чрезвычайно широким
распространением этого языка. В частности, в своем Манифесте
третьего поколения СУБД М. Стоунбрекер и его коллеги по
комитету перспективных систем БД утверждают необходимость
поддержания SQL-подобного интерфейса во всех СУБД следующего
поколения.
Второй подход основывается на построении полного логического
объектно-ориентированного исчисления. По поводу построения
такого исчисления имеются теоретические работы (например,
), но законченный и практически реализованный язык
запросов нам неизвестен.
Видимо, к этому же направлению строго
теоретически обоснованных языков запросов можно отнести и
работу Леллани и Спиратоса , основанную на алгебраической
теории категорий.
Наконец, третий подход основывается на применении дедуктивного
подхода. В основном это отражает стремление разработчиков к
сближению направлений дедуктивных и объектно-ориентированных
БД. Примером простого дедуктивного объектно-ориентированного
языка запросов может служить .
Независимо от применяемого для разработки языка запросов
подхода перед разработчиками встает одна концептуальная
проблема, решение которой не укладывается в традиционное русло
объектно-ориентированного подхода. Понятно, что основой для
формулирования запроса должен служить класс, представляющий в
ООБД множество однотипных объектов. Но что может представлять
собой результат запроса? Набор основных понятий
объектно-ориентированного подхода не содержит подходящего к
данному случаю понятия. Обычно из положения выходят, расширяя
базовый набор концепций концепцией множества объектов и
полагая, что результатом запроса является некоторое
подмножество объектов-экземпляров класса. Это довольно
ограничительный подход, поскольку автоматически исключает
возможность наличия в языке запросов средств, аналогичных
реляционному оператору соединения. В конце этого раздела мы
коротко изложим собственные (в достаточной степени
предварительные) соображения по этому поводу, но сначала
кратко рассмотрим особенности нескольких конкретных
декларативных языков запросов к ООБД.
В языке запросов объектно-ориентированной СУБД ORION
полностью поддерживается принцип инкапсуляции объектов. В
реализованном варианте языка запросы могут основываться только
на одном классе (хотя в описывается подход к определению
запроса на нескольких классах в стиле расширения семантики
реляционного оператора соединения). Синтаксис языка
ориентирован на SQL. Очень развит набор допустимых предикатов
селекции. В частности, для атрибута, доменом которого является
суперкласс, можно указать имя интересующего пользователя
подкласса.
Язык запросов системы Iris находится в значительной
степени под влиянием реляционной парадигмы. Даже название
этого языка OSQL отражает его тесную связь с реляционным
языком SQL. По сути дела, OSQL - это реляционный язык,
рассчитанный на работу с ненормализованными отношениями.
Естественно, при таком подходе в OSQL нарушается инкапсуляция
объектов.
На наш взгляд, особый интерес представляет декларативный язык
запросов системы O2 RELOOP . В общих словах, это
декларативный язык запросов с SQL-ориентированным синтаксисом,
основанный на специально разработанной для модели O2 алгебре
объектов и значений. (Кстати, это не единственная работа в
направлении построения алгебры для объектно-ориентированных
моделей данных. См., например, .) На наш взгляд, особенно
впечатляющим качеством языка RELOOP является естественность
его построения в общем контексте модели O2. Запрос задается
всегда на значении-множестве или списке. Если мы вспомним, что
долговременному классу в O2 соответствует одноименное
значение-множество, то тем самым можно определить запрос на
любом хранимом классе. Результатом запроса может являться
объект, значение-множество или значение-список. При этом
элементами значений-множеств могут являться объекты (простая
выборка), либо значения-кортежи с элементами-объектами разных
классов (например). В совокупности эти особенности языка
позволяют формулировать запросы над несколькими классами
(специфическое соединение, порождающее не новые объекты, а
кортежи из существующих объектов), а также употреблять
вложенные подзапросы.
Теперь кратко остановимся на собственных предложениях. Суть их
состоит в том, чтобы попытаться построить алгебру классов
объектов, оставаясь в пределах базового набора концепций
объектно-ориентированного подхода. Для этого достаточно, чтобы
была возможность интерпретации результата выполнения
алгебраической операции над классами в виде класса.
Предлагаемый подход, аналогично модели O2, частично
основывается на семантике включения, т.е. суперкласс как
множество объектов включает все множества объектов подклассов,
хотя некоторые операции не соответствуют этой семантике.
Идея нашего предложения основывается на следующем наблюдении.
Среди операций реляционной алгебры имеются два вида операций:
теретико-множественные операции и операция селекции формируют
из операндов-отношений отношение-результат с той же схемой;
операции же проекции и соединения формируют
отношение-результат со схемой, которая в общем случае не
описывалась статически в составе схемы БД, т.е. в другой
терминологии эти операции формируют не только значение, но и
тип этого значения. И это не вызывает никакой двусмысленности,
потому что схему отношения-результата (тип результата) можно
определить в статике до выполнения операции.
Встает вопрос: почему бы не попытаться распространить подобный
подход на классы объектов? Возможно, например, следующее
неформальное определение алгебры классов объектов. Эта алгебра
включает набор теоретико-множественных операций, а также
операции декартова произведения, селекции и проекции.
Теоретико-множественные операции определяются для "однотипных"
классов, и класс результата помещается в решетку классов схемы
БД в соответствии с семантикой включения. (Во время вычисления
алгебраического выражения одновременно формируется
соответствующий временный вариант решетки классов.) Операция
декартова произведения формирует класс, включающий объединение
наборов методов классов-операндов и являющийся их подклассом.
Операция селекции формирует класс, являющийся подклассом
класса-операнда. Операция проекции формирует класс, включающий
указанное подмножество методов класса-операнда и являющийся
его суперклассом. С использованием операций декартова
произведения и проекции можно определить операцию соединения
классов. Можно расширить алгебру операцией присваивания, и в
этом случае класс, которому присваивается результат
алгебраического выражения должен быть определен в схеме БД
заранее.
Мы не рассматриваем вопрос возможной реализации подобной
алгебры, которая, конечно, вызывает много проблем. (Как,
например, должно отразиться выполнение операции проекции на
внутренней структуре объектов класса-результата?) Но внешняя
семантика операций определяется однозначно. Наши предложения
имеют весьма предварительный характер, но по нашему мнению
заслуживают хотя бы обсуждения.
5. Объектно-ориентированные СУБД
В настоящее время ведется очень много экспериментальных и
производственных работ в области объектно-ориентированных СУБД
. Больше всего университетских работ, которые в
основном носят исследовательский характер. Но уже год назад
отмечалось существование по меньшей мере тринадцати
коммерчески доступных систем ООБД . Среди них уже
упоминавшиеся в нашем обзоре системы O2 (французский
консорциум Altair) , ORION (американская компания MCC)
, GemStone (американская фирма Servio Logic) и
Iris (Hewlett-Packard) . К сожалению, по поводу многих
коммерческих систем практически отсутствуют доступные
публикации, но и имеющейся информации достаточно, чтобы
охарактеризовать типовую организацию современной
объектно-ориентированной СУБД.
Прежде, чем перейти к обсуждению организации некоторых
объектно-ориентированных СУБД, коротко рассмотрим оказавшие на
них влияние предшествующие архитектуры СУБД, а также
архитектуры, не являющиеся в традиционном понимании
объектно-ориентированными, но близкие по прагматике.
Из числа архитектур с традиционной организацией наибольшее
влияние на объектно-ориентированные СУБД оказали реляционные
системы. Многие объектно-ориентированные системы (по крайней
мере в прототипных вариантах) строятся над некоторой
существующей реляционной СУБД . Кроме такого
применения реляционных систем для упрощения разработки
объектно-ориентированной СУБД, развитые в реляционных СУБД
методы применяются и в заново разрабатываемых
объектно-ориентированных системах.
Непосредственным предшественником объектно-ориентированных
СУБД являются системы, поддерживающие организацию сложных
объектов . Эти постреляционные системы большей частью
появились по причине несоответствия возможностей реляционных
СУБД потребностям нетрадиционных приложений (автоматизация
проектирования, инженерия и т.д.). По сути дела, в таких
системах частично поддерживается структурная часть ООБД (без
возможностей наследования). Многие объектно-ориентированные
СУБД (в частности, ORION) разрабатывались на базе предыдущих
работ со сложными объектами.
Другой основой объектно-ориентированных СУБД являются так
называемые расширяемые системы . Основная идея таких
систем состоит в поддержании набора модулей с четко
оговоренными интерфейсами, на базе которого можно быстро
построить СУБД, опирающуюся на конкретную модель данных или
предназначенную для конкретной области применений. В
частности, как показывает опыт системы EXODUS , средства
расширяемых систем хорошо пригодны и для построения
объектно-ориентированной СУБД.
Наконец, коснемся направления третьего поколения СУБД . Как
явствует из Манифеста третьего поколения, сторонники этого
направления придерживаются принципа эволюционного развития
возможностей СУБД без коренной ломки предыдущих подходов и с
сохранением преемственности с системами предыдущего поколения.
Тем не менее, несмотря на отличающуюся терминологию и
смещенные акценты, системы третьего поколения не так уж далеки
от объектно-ориентированных СУБД.
Одной из наиболее известных СУБД третьего поколения является
система POSTGRES , а создатель этой системы М.
Стоунбрекер, по всей видимости, является вдохновителем всего
направления. В POSTGRES реализованы многие интересные
средства: поддерживается темпоральная модель хранения и
доступа к данным и в связи с этим абсолютно пересмотрен
механизм журнализации изменений, откатов транзакций и
восстановления БД после сбоев; обеспечивается мощный механизм
ограничений целостности; поддерживаются ненормализованные
отношения (работа в этом направлении началась еще в среде
INGRES ).
Но одно свойство системы POSTGRES действительно сближает ее с
объектно-ориентированными СУБД. В POSTGRES допускается
хранение в полях отношений данных абстрактных, определяемых
пользователями типов. Это обеспечивает возможность внедрения
поведенческого аспекта в БД, т.е. решает ту же задачу, что и
ООБД, хотя, конечно, семантические возможности модели данных
POSTGRES существенно слабее, чем у объектно-ориентированных
моделей данных.
Перейдем теперь к чисто объектно-ориентированным СУБД. Мы
рассмотрим особенности организации двух таких систем - ORION
и O2 .
Проект ORION осуществлялся с 1985 по 1989 г. фирмой MCC под
руководством известного еще по работам в проекте System R Вона
Кима. Под названием ORION на самом деле скрывается семейство
трех СУБД: ORION-1 - однопользовательская система; ORION-1SX,
предназначенная для использования в качестве сервера в
локальной сети рабочих станций; ORION-2 - полностью
распределенная объектно-ориентированная СУБД. Реализация всех
систем производилась с использованием языка Common Lisp на
рабочих станциях (и их локальных сетях) Symbolics 3600 с ОС
Genera 7.0 и SUN-3 в среде ОС UNIX. Описание реализации
ORION-2 пока не опубликовано, поэтому мы рассмотрим только
ORION-1 и ORION-1SX.
Основными функциональными компонентами системы являются
подсистемы управления памятью, объектами и транзакциями. В
ORION-1 все компоненты, естественно, располагаются в одной
рабочей станции; в ORION-1SX - разнесены между разными
рабочими станциями (в частности, управление объектами
производится в рабочей станции-клиенте). Применение в
ORION-1SX для взаимодействия клиент-сервер механизма
удаленного вызова процедур позволило использовать в этой
системе практически без переделки многие модули ORION-1.
Сетевые взаимодействия основывались на стандартных средствах
операционных систем.
В число функций подсистемы управления памятью входит
распределение внешней памяти, перемещение страниц из буферов
оперативной памяти во внешнюю память и наоборот, поиск и
размещение объектов в буферах оперативной памяти (как принято
в объектно-ориентированных системах, поддерживаются два
представления объектов - дисковое и в оперативной памяти; при
перемещении объекта из буфера страниц в буфер объектов и
обратно представление объекта изменяется). Кроме того, эта
подсистема ответственна за поддержание вспомогательных
индексных структур, предназначенных для ускорения выполнения
запросов.
Подсистема управления объектами включает подкомпоненты
обработки запросов, управления схемой и версиями объектов.
Версии поддерживаются только для объектов, при создании
которых такая необходимость была явно указана. Для схемы БД
версии не поддерживаются; при изменении схемы отслеживается
влияние этого изменения на другие компоненты схемы и на
существующие объекты. При обработке запросов используется
техника оптимизации, аналогичная применяемой в реляционных
системах (т.е. формируется набор возможных планов выполнения
запроса, оценивается стоимость каждого из них и выбирается для
выполнения наиболее дешевый) .
Подсистема управления транзакциями обеспечивает традиционную
сериализуемость транзакций, а также поддерживает средства
журнализации изменений и восстановления БД после сбоев. Для
сериализации транзакций применяется разновидность двухфазного
протокола синхронизационных захватов с различной степенью
гранулированности . Конечно, при синхронизации
учитывается специфика ООБД, в частности, наличие иерархии
классов. Журнал изменений обеспечивает откаты индивидуальных
транзакций и восстановление БД после мягких сбоев (архивные
копии БД для восстановления после поломки дисков не
поддерживаются).
Проект O2 реализуется французской компанией Altair,
образованной специально для целей проектирования и реализации
объектно-ориентированной СУБД. Начало проекта датируется
сентябрем 1986 г., и он был рассчитан на пять лет: три года на
прототипирование и два года на разработку промышленного
образца. Текущий прототип системы функционирует в режиме
клиент/сервер в локальной сети рабочих станций SUN c
соответствующим разделением функций между сервером и
клиентами.
Основными компонентами системы (не считая развитого набора
интерфейсных средств) являются интерпретатор запросов и
подсистемы управления схемой, объектами и дисками. Управление
дисками, т.е. поддержание базовой среды постоянного хранения
обеспечивает система WiSS , которую разработчики O2
перенесли в окружение ОС UNIX.
Наибольшую функциональную нагрузку несет компонент управления
объектами. В число функций этой подсистемы входит:- управление сложными объектами, включая создание и
уничтожение объектов, выборку объектов по именам, поддержку
предопределенных методов, поддержку объектов со внутренней
структурой-множеством, списком и кортежем;
- управление передачей сообщений между объектами;
- управление транзакциями;
- управление коммуникационной средой (на базе транспортных
протоколов TCP/IP в локальной сети Ethernet);
- отслеживание долговременно хранимых объектов (напомним, что
в O2 объект хранится во внешней памяти до тех пор, пока
достижим из какого-либо долговременно хранимого объекта);
- управление буферами оперативной памяти (аналогично ORION,
представление объекта в оперативной памяти отличается от его
представления на диске);
- управление кластеризацией объектов во внешней памяти;
- управление индексами.
Несколько слов про управление транзакциями. Различаются
режимы, когда допускается параллельное выполнение транзакций,
изменяющих схему БД, и когда параллельно выполняются только
транзакции, изменяющие внутренность БД. Первый режим обычно
используется на стадии разработки БД, второй - на стадии
выполнения приложений. Средства восстановления БД после сбоев
и откатов транзакций также могут включаться и выключаться.
Наконец, поддерживается режим, при котором все постоянно
хранимые объекты загружаются в оперативную память при начале
транзакции для увеличения скорости работы прикладной системы.
Компонент управления схемой БД реализован над подсистемой
управления объектами: в системе поддерживаются несколько
невидимых для программистов классов и в том числе классы
"Class" и "Method", экземплярами которых являются,
соответственно, объекты, определяющие классы, и объекты,
определяющие методы. (Как видно, ситуация напоминает
реляционные системы, в которых тоже обычно поддерживаются
служебные отношения-каталоги, описывающие схему БД.) Удаление
класса, который не является листом иерархии классов или
используется в другом классе или сигнатуре какого-либо метода,
запрещено.
Даже приведенное краткое описание особенностей двух
объектно-ориентированных СУБД показывает прагматичность
современного подхода к организации таких систем. Их
разработчики не стремятся к полному соблюдению чистоты
объектно-ориентированного подхода и применяют наиболее простые
решения проблем, которые на самом деле еще не решены. Пока в
сообществе разработчиков объектно-ориентированных систем БД не
видно работы, которая могла бы сыграть в этом направлении
роль, аналогичную роли System R по отношению к
реляционным системам. Правда, и проблемы ООБД гораздо более
сложны, чем решаемые в реляционных системах.
6. Проблемы выполнения и оптимизации запросов к ООБД
В этом разделе мы остановимся на проблемах выполнения запросов
к ООБД, сформулированных на каком-либо декларативном языке.
Каким бы не был этот язык, в конечном счете потребуется по
внешнему представлению запроса сформировать план его
выполнения, который минимизировал бы общие накладные расходы
системы, требующиеся для выполнения запроса. Другими словами,
до выполнения запроса необходимо выполнить его оптимизацию,
учитывая в общем случае необходимость обменов с внешней
памятью.
Публикации, касающиеся оптимизации запросов к ООБД,
практически отсутствуют. Это свидетельствует о недостаточной
развитости каких-либо оригинальных подходов.
Как мы видели на примерах конкретных систем в предыдущем
разделе, в них по сути дела применяется тот же подход к
оптимизации запросов, который использовался в реляционных
системах: формируется набор альтернативных планов, оценивается
стоимость каждого из них и выбирается план с наименьшей
стоимостью. (Подробный обзор современных методов оптимизации
запросов в реляционных СУБД и нерешенных проблем можно найти в
.) Возможность применения такого подхода в СУБД ORION и
O2 (да и в других) опирается на то, что объекты в этих
системах не полностью инкапсулированы. Наряду с методами, в
объектах видны и некоторые атрибуты, и если условие выборки
задано через эти атрибуты, оптимизатор запросов, которому
известны внутренняя структура объектов и набор существующих
индексов, получает возможность выбора. Если же условие выборки
можно формулировать только через методы, при подходах ORION и
O2 единственным возможным способом выборки объектов класса
будет последовательный просмотр всех объектов этого класса.
Здоник отмечает, что основная проблема с оптимизацией
запросов к ООБД связана с расширяемостью набора типов в такой
БД. Каждый новый тип вводит собственную алгебру, неизвестную
оптимизатору запросов. Например, оптимизатор не имеет
информации о возможной коммутативности двух операций типа и
т.д. Здоник полагает, что возможному решению проблемы
оптимизации могло бы способствовать формальное определение
алгебраических свойств операций типа при его разработке.
Примерно такой подход применяется в оптимизаторах, основанных
на наборе правил, применяемых в расширяемых СУБД (например,
).
Как кажется, из последних публикаций, затрагивающих проблемы
оптимизации запросов, наибольшее влияние на оптимизаторы
систем ООБД может оказать . Эта работа не связана
непосредственно со спецификой ООБД, но преимущество
предлагаемого подхода связано как раз с максимальной
независимостью от особенностей организации БД. Предлагается не
оценивать план выполнения запроса, а учитывать реальную
стоимость уже использованного плана и на этой основе изменять
критерии выбора оптимизатора.
Может быть, таким образом
удастся справиться с неизвестной оптимизатору алгеброй
определяемых пользователями типов.
По нашему мнению, если в системе для программирования методов
применяется язык достаточно высокого уровня (во всяком случае,
не Си), то при компиляции запроса могло бы производиться
частичное вычисление вызываемых в нем методов с последующим
преобразованием запроса к виду, когда условия определены на
атрибутах хранимых классов. После этого можно было производить
обычную оптимизацию запроса. Заметим, что это не было бы
нарушением инкапсуляции объектов, поскольку оптимизатор
является частью системы, для которой внутренняя организация
объектов БД открыта.
7. Особенности управления транзакциями в системах ООБД
Дела с управлением транзакциями в системах ООБД обстоят
примерно аналогично ситуации с оптимизацией запросов: как
правило, используются слегка модифицированные традиционные
методы сериализации транзакций, журнализации изменений
объектов, индивидуальных откатов транзакций и восстановления
состояния БД после сбоев. Фактически, как и в случае
оптимизации запросов, такое управление транзакциями
предполагает частичное нарушение инкапсуляции объектов:
синхронизация основывается на знании внутренней структуры
объектов, журнализация и восстановление - на знании природы
методов, изменяющих состояние объекта и т.д.
Какой-либо подход, в котором предлагался бы полный набор
средств управления транзакциями, полностью согласующийся с
парадигмой объектной ориентированностью, нам неизвестен. Одна
из наиболее продвинутых работ, проводимых в этом направлении в
рамках германского проекта VODAK, описывается в .
В основе управления транзакциями в системе VODAK находится
разработанный ранее в контексте инженерных СУБД механизм
транзакций со вложенными подтранзакциями : вызов любого
действия в объекте равносилен образованию новой
подстранзакции. В отличие от традиционного механизма вложенных
подтранзакций в данном случае заранее не определена
максимальная вложенность транзакций. При синхронизации
транзакций используется знание о семантике объектов, в том
числе информация о коммутативности операций. (Аналогичный
подход описан в .)
Не очень понятно, как при таком подходе поступать с
журнализацией изменений. В принципе только сам объект знает,
какая информация может понадобиться для его восстановления, и
только сам объект может выполнить такое восстановление. Может
быть, следует применять технику темпоральных БД, и при каждом
изменении состояния объекта заводить его новую версию. В
общем, как нам представляется, проблема журнализации и
восстановления в ООБД пока остается открытой.
8. Связь ООБД с дедуктивными и активными базами данных
Связь направления ООБД с направлением дедуктивных БД носит
двоякий характер. Во-первых, для структуризации дедуктивных (и
вообще логических) БД в последнее время стремятся использовать
парадигму объектной ориентированности . Это отдельная
тема, для ее рассмотрения было бы необходимо предварительное
введение в концепции дедуктивных БД, что находится за
пределами данного обзора.
Во-вторых, некоторые механизмы дедуктивных БД пытаются
использовать в контексте обычных (может быть, несколько
расширенных семантически) ООБД. Это прежде всего относится к
языкам запросов (как мы отмечали в разд. 4, одно из
направлений развития декларативных языков запросов к ООБД -
дедуктивные языки). На логическом выводе основываются в ряде
проектов доказательство корректности схемы ООБД и динамический
контроль целостности . Видимо, в будущих системах ООБД
логика будет играть еще большую роль.
Работы по интеграции объектно-ориентированных и активных БД
находятся в начальной стадии. Известно, что основной проблемой
систем активных БД является построение эффективного механизма
вычисления на основе поступающих событий условий и вызова при
необходимости соответствующих действий. В описывается
экспериментальная работа, выполненная на базе
объектно-ориентированной СУБД PROBE, в которой активность ООБД
обеспечивается с помощью определения двух специальных классов
объектов "active-object" и "activelist-object". При
возникновении одного из предопределенных в системе событий
вызывается один из методов соответствующего объекта класса
"active-object", в котором в зависимости от состояния и
предписанного набора правил принимается решение о дальнейших
действиях. Основной вывод, который можно сделать на основании
изложенного в материала, - это пригодность основных
средств типовой ООБД и для обеспечения ее активности.
9. Заключение
В этом обзоре мы рассмотрели (очень кратко) далеко не все
вопросы, связанные с ООБД. Совсем не были рассмотрены проблемы
проектирования ООБД и вообще объектно-ориентированного
проектирования БД , вопросы поддержания разнородной
(multi-media) информации в ООБД , подходы к интеграции
неоднородных БД на основе объектно-ориентированного подхода
, проблемы поддержания различных представлений ООБД
и т.д.
Мы стремились показать общее состояние дел (насколько это
возможно в таком кратком обзоре) в наиболее важных областях,
связанных с управлением ООБД. По нашему мнению, практически во
всех этих областях имеется масса нерешенных проблем, и
потребность в развитых объектно-ориентированных СУБД
стимулирует решение этих проблем.
Литература:- Mattbew Rapaport. Object-Oriented Data Bases: The Next Step
in DBMS Evolution // Comp. Lang.- 5, N 10.- 1988.- 91-98
- Michael Stonebraker. Future Trends in Database Systems //
IEEE Trans. Knowledge and Data Eng.- 1, N 1.- 1989.- 33-44
- Oscar Nierstrasz. A Survey of Object-Oriented Concepts //
In Object-Oriented Concepts, Databases and Applications, ed.
W. Kim, F. Lochovski, ACM Press and Addison-Wesley, 1989.-
3-21
- M. A. Garvey, M. S. Jackson. Introduction to
Object-Oriented Databases // Inf. and Software Technol.- 31, N
10.- 1989.- 521-528
- Fereidoon Sadri. Object-Oriented Database Systems //
COMPSAC'89 13th Annu. Int. Comput. Software and Appl. Conf.,
Orlando, Fla, Sept. 20-22, 1989.- 195-196
- Stanley Y. W. Su. Extensions to the Object-Oriented
Paradigm // COMPSAC'89 13th Annu. Int. Comput. Software and
Appl. Conf., Orlando, Fla, Sept. 20-22, 1989.- 197-199
- Stanley Zdonik. Directions in Object-Oriented Databases //
COMPSAC'89 13th Annu. Int. Comput. Software and Appl. Conf.,
Orlando, Fla, Sept. 20-22, 1989.- 200
- Malkolm Atkinson, Francois Bansilhon, David DeWitt, Klaus
Dittrich, David Maier, Stanley Zdonik. The Object-Oriented
Database System Manifesto // 1st Int. Conf. Deductive and
Object-Oriented Databases, Kyoto, Japan, Dec. 4-6, 1989
- The Committee for Advanced DBMS Function (Michael
Stonebraker, Bruce Lindsay, Jim Gray, Make Carey, David
Beech). Third Generation Data Base System Manifesto // Proc.
ACM SIGMOD Int. Conf. Manag. Data, Atlanta City, NJ, USA, May
23-25, 1990, ACM SIGMOD Record.- 19, N 2.- 1990.- 34-43
- R. P. van de Riet. Introduction to the Special Issue on
Deductive and Object-Oriented Databases // Data and Knowledge
Eng.- 5.- 1990.- 255-261
- Won Kim. Object-Oriented Databases: Definition and
Research Directions // IEEE Trans. Data and Knowledge Eng.- 2,
N 3.- 1990.- 327-341
- D. Woelk, W. Kim. Multimedia Information Management in a
Object-Oriented Database System // 13th Int. Conf. Very Large
Data Bases, Brighton, England, Sept. 1-4, 1987.- 319-330
- Won Kim, Nat Ballou, Hong-Tai Chou, Jorge F. Garza,
Darrell Woelk. Integrating an Object-Oriented Programming
System with a Database System // Proc. OOPCLA'88, San Diego,
Calif., USA, Sept. 25-30, 1988.- 142-152
- Kyung-Chang Kim, Won Kim, Darrell Woelk. Acyclic Query
Processing in Object-Oriented Databases // Entity-Relationship
Approach: Bridge User: 7th Int. Conf., Rome, Nov. 16-18,
1988.- 329-346
- Elisa Bertino, Won Kim. Indexing Techniques for Queries on
Nested Objects // IEEE Trans. Knowledge and Data Eng.- 1, N
2.- 1989.- 196-214
- B. Paul Jenq, Darrell Woelk, Won Kim, Wan-Lik Lee. Query
Processing in Distributed ORION // Advances in Database
Technology - EDBT'90.- Lecture Notes in Computer Science.-
416, 1990.- 169-187
- Won Kim, Jorge F. Garza, Nathaniel Ballou, Darrell Woelk.
Architecture of the ORION Next-Generation Database System //
IEEE Trans. Knowledge and Data Eng.- 2, N 1.- 1990.- 109-124
- D. H. Fishman. An Overview of the Iris Object-Oriented
DBMS // Digest of papers, 33rd CompCon, Spring 1988, Feb. 29 -
Mar. 4, USA.- 177-180
- Peter Lyngbaek, Kevin Wilkinson, Waqar Hasan. The Iris
Kernel Architecture // Advances in Database Technology -
EDBT'90.- Lecture Notes in Computer Science.- 416, 1990.-
348-362
- Kevin Wilkinson, Peter Lyngbaek, Waqar Hasan. The Iris
Architecture and Implementation // IEEE Trans. Knowledge and
Data Eng.- 2, N 1.- 1990.- 63-75
- David Maier, Jacob Stein, Allen Otis, Alan Purdy.
Development of an Object-Oriented DBMS // Proc. OOPCLA'86,
Portland, Oreg., USA, Sept. 29 - Oct. 2, 1986.- 472-482
- D. Jacob Penney, Jacob Stein. Class Modification in the
GemStone Object-Oriented DBMS // Proc. OOPCLA'87, Orlando,
Fla, USA, Oct. 4-8, 1987.- 111-117
- Won Kim, Jay Banerjee, Hong-Tai Chou, Jorge F. Garca,
Darrell Woelk. Composite Object Support in an Object-Oriented
Database System GemStone Object-Oriented DBMS // Proc.
OOPCLA'87, Orlando, Fla, USA, Oct. 4-8, 1987.- 118-125
- Tomothy Andrews, Craig Harris. Combining Language and
Database Advances in an Object-Oriented Development
Environment GemStone Object-Oriented DBMS // Proc. OOPCLA'87,
Orlando, Fla, USA, Oct. 4-8, 1987.- 430-440
- Michael Stonebraker, Jeff Anton, Eric Hanson. Extending a
Database System with Procedures // ACM Trans. Database Syst.-
12, N 3.- 1987.- 350-376
- L. Rowe, M. Stonebraker. The POSTGRES Data Model // 13th
Int. Conf. Very Large Data Bases, Brighton, England, Sept.
1-4, 1987.- 83-96
- M. Stonebraker. The Design of the POSTGRES Storage System
// 13th Int. Conf. Very Large Data Bases, Brighton, England,
Sept. 1-4, 1987.- 289-300
- Michael Stonebraker, Lawrence A. Rowe, Machael Hirohama.
The Implementation of POSTGRES // IEEE Trans. Knowlwdge and
Data End.- 2, N 1.- 1990.- 125-141
- Christophe Lecluse, Philippe Richard, Fernando Velez. O2,
an Object-Oriented Data Model // Proc. ACM SIGMOD Int. Conf.
Manag. Data, Chicago, Ill, USA, June 1-3, 1988, ACM SIGMOD
Record.- 17, N 3.- 1988.- 424-433
- F. Velez, G. Bernard, V. Darnis. The O2 Object Manager: An
Overview // 15th Int. Conf. Very Large Data Bases, Amsterdam,
Aug. 22-25, 1989.- 357-366
- C. Lecluse, P. Richard. The O2 Database Programming
Language // 15th Int. Conf. Very Large Data Bases, Amsterdam,
Aug. 22-25, 1989.- 411-422
- O. Deux et al. The Story of O2 // IEEE Trans. Knowledge
and Data Eng.- 2, N 1.- 1990.- 91-108
- O. Niestrasz, D. Tsichritzis. An Object-Oriented
Environment for OIS Applications // 11th Int. Conf. Very Large
Data Bases, Stockholm, Aug. 21-23, 1985.- 83-96
- D. Decouchart. Design of a Distributed Object Manager for
the Smalltalk-80 System // Proc. OOPCLA'86, Portland, Oreg.,
USA, Sept. 29 - Oct. 2, 1986.- 444-452
- Karen E. Smith, Stanley B. Zdonik. Intermedia: A Case
Study of the Differences Between Relational and
Object-Oriented Database Systems // Proc. OOPCLA'87, Orlando,
Fla, USA, Oct. 4-8, 1987.- 452-465
- Andrew Straw, Fred Mellender, Steve Riegel. Object
Management in a Persistent Smalltalk System // Software Pract.
and Exper.- 19, N 8.- 1989.- 719-737
- Nick Roussopoulus, Hyun Soon Kim. ROOST: A Relational
Object-Oriented System // Lect. Notes Comput. Sci.- 367.-
1989.- 404-420
- T. F. Keefe, W. T. Tsai, M. B. Thuraisingham. SODA: A
Secure Object-Oriented Database System // Computers and
Security.- 8, N 6.- 1989.- 517-533
- Prasun Dewan, Ashish Vikram, Bharat Bhargava. Engineering
the Object-Oriented Database Model in O-Raid // Lect. Notes
Comput. Sci.- 367.- 1989.- 389-403
- Scott E. Hudson, Roger King. Cactis: A Self-Adaptive,
Concurrent Implementation of an Object-Oriented Database
Management System // ACM Trans. Database Syst.- 14, N 3.-
1989.- 291-321
- Gilles Barbedette. LISPO2: A Persistent Object-Oriented
LISP // Advances in Database Technology - EDBT'90.- Lecture
Notes in Computer Science.- 416, 1990.- 332-347
- Sharma Chakravarthy, Susan Nesson. Making an
Object-Oriented DBMS Active: Design, Implementation, and
Evaluation of a Prorotype. // Advances in Database Technology
- EDBT'90.- Lecture Notes in Computer Science.- 416, 1990.-
393-406
- R. Agrawal, N. H. Gehani, J. Srinivasan. OdeView: The
Graphical Interface to Ode // Proc. ACM SIGMOD Int. Conf.
Manag. Data, Atlanta City, NJ, USA, May 23-25, 1990, ACM
SIGMOD Record.- 19, N 2.- 1990.- 34-43
- Stefano Ceri, Stafano Crespi-Reghizzi, Roberto Zicari,
Gianfranco Lamperti, Luigi A. Lavazza. Algres: An Advanced
Database System for Complex Applications // IEEE Software.- 7,
N 4.- 1990.- 68-78
- Michael L. Nelson, J. Michael Moshell, Ali Orooji. A
Relational Object-Oriented Management System // 9th Annu. Int.
Phoenix Conf. Comput. and Commun.- Scottsdale, Aris., USA,
March 21-23, 1990.- 319-323
- Stefan Bottcher. Attribute Inheritance Implemented on Top
of a Relational Database System // 6th Int. Conf. Data Eng.,
Los Angeles, Calif., USA, Febr. 5-9, 1990.- 503-509
- Simon Gibbs, Vassilis Prevelakis. Xos: An Overview // In
Object Management, Ed. D. Tsichritzis, Centre Universitaire
d'Informatique, Universite de Geneve, 1990.- 37-61
- M.J. Carey, D.J. DeWitt et al. Object and File Management
in the EXODUS Extensible Database System // 12th Int. Conf.
Very Large Data Bases, Kuoto, Japan, Aug. 1986.- 91-100
- D. S. Batory, J. R. Barnett, J. F. Garza, K. P. Smith, K.
Tsukuda, T. E. Wise. GENESIS: An Extensible Database
Management System // // IEEE Trans. on Software Eng.- 14, N
11.- 1988.- 1711-1730
- Hans-Joerg Schek, Heinz-Bernhard Paul, Marc H. Scholl,
Gerhard Weikum. The DASDBS Project: Objectives, Experiences,
and Future Prospects // IEEE Trans. Knowledge and Data Eng.-
2, N 1.- 1990.- 25-43
- Laura M. Haas, Walter Chang, Guy M. Lohman et al.
Starburst Mid-Flight: As the Dust Clears // IEEE Trans.
Knowledge and Data Eng.- 2, N 1.- 1990.- 143-159
- Raymond Lorie, Won Kim, Dan McNabb, Wil Plouffe.
Supporting Complex Objects in a Relational System for
Engineering Databases // In Query Processing in Database
Systems, ed. Won Kim, David S. Reiner, Dan. S. Batory,
Springer-Verlag, 1985.- 145-155
- Raymond A. Lorie, Jean-Jacques P. Daudenarde. On Extending
the Realm of Application of Relational Systems // In
Information Processing 86, ed. H.-J. Kugler, Elsevir Science
Publishers, 1986.- 889-894
- Won Kim, Hong-Tai Chou, Jay Banerjee. Operations and
Implementation of Complex Objects // IEEE Trans. on Software
Eng.- 14, N 7.- 1988.- 985-996
- Mohammad A. Ketabchi, Valdis Berzins. Mathematical Model
of Composite Objects and Its Application for Organizing
Engineering Databases // IEEE Trans. on Software Eng.- 14, N
1.- 1988.- 71-84
- Anant Jhingran, Michael Stonebraker. Alternatives in
Complex Object Representation: A Performance Persrective //
6th Int. Conf. Data Eng., Los Angeles, Calif., USA, Febr. 5-9,
1990.- 94-102
- Serge Abiteboul, Richard Hull. IFO: A Formal Semantic
Database Model // ACM Trans. Database Syst.- 12, N 4.- 1987.-
525-565
- Joan Peckham, Fred Maryanski. Semantic Data Models // ACM
Comp. Surv.- 20, N 3.- 1988.- 153-189
- Shamkant B. Navathe, Mohan K. Pillalamarri. OOER: Toward
Making the E-R Approach Object-Oriented // Entity-Relationship
Approach: Bridge User: 7th Int. Conf., Rome, Nov. 16-18,
1988.- 185-206
- Craig Damon, Gordon Landis. Abstract Types and Storage
Types in an OO-DBMS // Digest of papers, 33rd CompCon, Spring
1988, Feb. 29 - Mar. 4, USA.- 172-176
- Richard Hull, Katsumi Tanaka, Masatoshi Yoshikawa.
Behavior Analysis of Object-Oriented Databases: Method
Structure, Execution Trees, and Reachibility // Lect. Notes
Comput. Sci.- 367.- 1989.- 372-388
- Mojtaba Mozaffari, Yuzuri Tanaka. ODM: An Object-Oriented
Data Model // New. Generat. Comp.- 7, N 1.- 1989.- 4-35
- Catriel Beeri. A Formal Approach to Object-Oriented
Databases // Data and Knowledge Eng.- 5.- 1990.- 353-382
- Roberto Zicari. Incomplete Information in Object-Oriented
Databases // ACM SIGMOD Record.- 19, N 3.- 1990.- 5-16
- Shuguang Hong, Fred Maryanski. Using a Meta Model to
Represent Object-Oriented Data Models // 6th Int. Conf. Data
Eng., Los Angeles, Calif., USA, Febr. 5-9, 1990.- 11-19
- A. Cornelio, Shamkant B. Navathe, Keith L. Doty. Extending
Object-Oriented Concepts to Support Engineering Applications
// 6th Int. Conf. Data Eng., Los Angeles, Calif., USA, Febr.
5-9, 1990.- 220-227
- Gunter Saake. Descriptive Specification of Database Object
Behaviour // Data and Knowledge Eng.- 6, N 1. 1991.- 47-73
- S. K. Lellani, N. Spiratos. Towards a Categorical Data
Model Supporting Structured Objects and Inheritance // Proc.
1st Int. East/West Database Workshop, Kiev, Oct. 1990, Lect.
Notes Comput. Sci.- 540.- 1991
- Michael Caruso, Edward Sciore. Meta-Functions and Contexts
in an Object-Oriented Database Language // Proc. ACM SIGMOD
Int. Conf. Manag. Data, Chicago, Ill, USA, June 1-3, 1988, ACM
SIGMOD Record.- 17, N 3.- 1988.- 56-65
- Francois Bancilhon. Query Languages for Object-Oriented
Database Systems: Analysis and Proposal // Datanbanksyst.
Buro, Tech. and Wiss.: GI/SI - Fashtag., Zurich, Marz. 1-3,
1989.- 1-18
- W. Kim. A Model of Queries for Object-Oriented Databases
// 15th Int. Conf. Very Large Data Bases, Amsterdam, Aug.
22-25, 1989.- 423-432
- A. M. Alashqur, S. Y. W. Su, H. Lam. OQL: A Query Language
for Manipulating Object-Oriented Databases // 15th Int. Conf.
Very Large Data Bases, Amsterdam, Aug. 22-25, 1989.- 433-442
- E. Laenens, F. Staes, D. Vermeir. Browsing a la carte in
Object-oriented Databases // Computer J.- 32, N 4.- 1989.-
333-340
- Sophie Cluet, Claude Delobel, Christophe Lecluse, Philippe
Richard. RELOOP: An Algebra Based Query Language for an
Object-Oriented Database System // Data and Knowledge Eng.-
5.- 1990.- 333-352
- Simon Gibbs. Querying Large Class Collections // In Object
Management, ed. D. Tsichritzis, Centre Universitaire
d'Informatique, Universite de Geneve, 1990.- 63-77
- Gail M. Shaw, Stanley B. Zdonik. A Query Algebra for
Object-Oriented Databases // 6th Int. Conf. Data Eng., Los
Angeles, Calif., USA, Febr. 5-9, 1990.- 154-162
- А. В. Замулин. Системы программирования баз данных и
знаний // Новосибирск: Наука, 1990.- 352 с.
- Andrea H. Skarra, Stanley B. Zdonik. The Management of
Changing Types in an Object-Oriented Database // Proc.
OOPCLA'86, Portland, USA, Sept. 29 - Oct. 2, 1986.- 483-495
- J. Banerjee, W. Kim, H.-J. Kim, H. F. Korth. Semantics and
Implementation of Schema Evolution in Object-Oriented Database
// Proc. ACM SIGMOD 1987 Annu. Conf., San Francisco, Calif.,
USA, May 27-29, 1987.- 311-322
- W. Kim, H. Chou. Versions of Schema for Object-Oriented
Databases // 14th Int. Conf. Very Large Data Bases, Los
Angeles, USA, Aug. 29 - Sept. 1, 1988.- 148-159
- David Beech. Intensional Concepts in an Object Database
Model // Proc. OOPCLA'88, San Diego, Calif., USA, Sept. 25-30,
1988.- 164-175
- Serge Abiteboul. Towards a Deductive Object-Oriented
Database Language // Data and Knowledge Eng.- 5.- 1990.-
263-287
- Kyuchul Lee, Sukho Lee. An Object-Oriented Approach to
Data/Knowledge Modelling Based on Logic // 6th Int. Conf. Data
Eng., Los Angeles, Calif., USA, Febr. 5-9, 1990.- 289-294
- A. M. Alashqur, S. Y. W. Su, H. Lam. A Rule-based Language
for Deductive Object-Oriented Databases // 6th Int. Conf. Data
Eng., Los Angeles, Calif., USA, Febr. 5-9, 1990.- 58-67
- Lois M. L. Delcambre, Karen C. Davis. Automatic Validation
of Object-Oriented Database Structures // 5th Int. Conf. Data
Eng., Los Angeles, Calif., USA, Febr. 6-10, 1989.- 2-9
- Susan Darling Urban, Lois M. L. Delcambre. Constraint
Analysis for Specifying of Class Objects // 5th Int. Conf.
Data Eng., Los Angeles, Calif., USA, Febr. 6-10, 1989.- 10-17
- Kyu-Young Whang. A Seamless Integration in Object-Oriented
Database Systems // 5th Int. Conf. Data Eng., Los Angeles,
Calif., USA, Febr. 6-10, 1989.- 675-676
- M. Kaul, K. Drosten, E. J. Neuhold. ViewSystem:
Integrating Heterogeneous Information Bases by Object-Oriented
Views // 6th Int. Conf. Data Eng., Los Angeles, Calif., USA,
Febr. 5-9, 1990.- 2-10
- Sandra Heiler, Stanley Zdonic. Object Views: Extending the
Vision // 6th Int. Conf. Data Eng., Los Angeles, Calif., USA,
Febr. 5-9, 1990.- 84-93
- Jorge F. Garza, Won Kim. Transaction Management in an
Object-Oriented Database System // Proc. ACM SIGMOD Int. Conf.
Manag. Data, Chicago, Ill, USA, June 1-3, 1988, ACM SIGMOD
Record.- 17, N 3.- 1988.- 37-45
- M. A. Rauft, S. Rehm, K. R. Dittrich. How to Share Work on
Shared Objects in Design Databases // 6th Int. Conf. Data
Eng., Los Angeles, Calif., USA, Febr. 5-9, 1990.- 575-583
- Michele Cart, Jean Ferrie. Integrating Concurrency Control
into an Object-Oriented Database System // Advances in
Database Technology - EDBT'90.- Lecture Notes in Computer
Science.- 416, 1990.- 363-377
- Thomas C. Rakow, Junzhong Gu, Erich J. Neuhold.
Serializability in Object-Oriented Database Systems // 6th
Int. Conf. Data Eng., Los Angeles, Calif., USA, Febr. 5-9,
1990.- 112-120
- Kyung-Chang Kim. Parallelism in Object-Oriented Query
Processing // 6th Int. Conf. Data Eng., Los Angeles, Calif.,
USA, Febr. 5-9, 1990.- 209-217
- Sushit Jajodia, Boris Kogan. Integrating an
Object-Oriented Data Model with Multilevel Security // IEEE
Symp. Res. Secur. and Privacy, Oacland, Calif., USA, May 7-9,
1990.- 76-85
- IEEE Database Engineering, special issue on
Object-Oriented Databases, F. Lochovski, ed., Dec. 1985
- B. Stroustrup. The C++ Programming Language //
Addison-Wesley, Reading, Mass., 1986
- E. F. Codd. A Relational Model of Data for Large Shared
Data Banks // Commun. ACM.- 26, N 1.- 1970.- 377-387
- D. Maier. Why isn't there an Object-Oriented Data Model?
// Technical Report, Oregon Graduate Center, May 1989
- D. D. Chamberlin, R. F. Boyce. SEQUEL: A Structured
English Query Language // ACM SIGMOD Workshop Data Descr.,
Access, Contr., Ann Arbol, Mich., USA, May 1974.- 249-264
- M. Kifer, G. Lausen. F-Logic: A Higher-Order Language for
Reasoning about Objects, Inheritance, and Scheme // Proc. ACM
SIGMOD Int. Conf. Manag. Data, Portland, Oreg., USA, 1989, ACM
SIGMOD Record.- 18, N 2.- 1989.- 134-146
- P. G. Selinger, M. M. Astrahan, D. D. Chamberlin, R. A.
Lorie, T. G. Price. Access Path Selection in a Relational
Database Management System // Proc. ACM SIGMOD Int. Conf.
Manag. Data, Boston, Mass., USA, May 30 - Jun. 1, 1979.- 23-34
- Gray J.N., Lorie R.A., Putzolu G.R., Traiger I.L.
Granularity of Locks in a Large Shared Data Base // 1st Int.
Conf. Very Large Data Bases, Framingham, Mass., Sept. 1975.-
C.428-451
- H.-T. Chou, D. J. DeWitt, R. H. Katz, A. C. Klug. Design
and Implementation of the Wisconsin Storage System // Software
Pract. Exper.- 15, N 10.- 1985.- 943-962
- D. D. Chamberlin, M. M. Astrahan et al. A History and
Evaluation of System R // Commun. ACM.- 24, N 10.- 1982.-
632-646
- С. Д. Кузнецов. Методы оптимизации выполнения запросов в
реляционных СУБД // "Вычислительные науки. Т.1 (Итоги науки и
техники ВИНИТИ АН СССР)". М., ВИНИТИ АН СССР, 1989.- 76-153
- J. C. Freytag. A Rule-Based View of Query Optimization //
Proc. ACM SIGMOD Int. Conf. Manag. Data, San Francisco,
Calif., USA, May 27-29, 1987.- 173-180
- F. W. M. Tompa, J. I. Icaza. Adaptive Selection of Query
Execution Strategies by Learning Automata // Inf. Sci. (USA).-
50, N 3.- 1990.- 219-240
- F. Bancilhon, W. Kim, H. Korth. A Model for CAD
Transactions // 11th Int. Conf. Very Large Data Bases,
Stockholm, Aug. 21-23, 1985.- 25-33
- Alan Fekete, Nancy Lynch, Machael Merritt, William Weihl.
Commutativity-Based Locking for Nested Transactions // 6th ACM
Symp. Princ. Database Syst., San Diego, Calif, USA, March
25-27, 1987, J. Comput. and Syst. Sci.- 41, N 1.- 1990.-
65-156
- Mattbew Rapaport. Object-Oriented Data Bases: The Next Step
- управление сложными объектами, включая создание и