Объектно-реляционные базы данных: прошедший этап или недооцененные возможности? Сергей Кузнецов Институт системного программирования РАН kuzloc@ispras.ru. - презентация

1 Объектно-реляционные базы данных: прошедший этап или недооцененные возможности? Сергей Кузнецов Институт системного программирования РАН

2 Корпоративные базы данных 24 апреля 2007 г. 2 План выступления 10 лет ОРСУБД 10 лет ОРСУБД Informix Universal Server, Oracle8, DB2 Universal Database Informix Universal Server, Oracle8, DB2 Universal Database Коротко о предпосылках ОРСУБД Коротко о предпосылках ОРСУБД Объектно-реляционные базы данных и язык SQL Объектно-реляционные базы данных и язык SQL SQL как модель данных SQL как модель данных Гармонична ли «объектная» часть модели? Гармонична ли «объектная» часть модели? Кто и как использует ОРСУБД? Кто и как использует ОРСУБД? Проблемы использования ОРСУБД Проблемы использования ОРСУБД Каковы перспективы? Каковы перспективы?

3 Корпоративные базы данных 24 апреля 2007 г лет ОРСУБД Почему десять? Почему десять? Что произошло в декабре 2006 г.? Что произошло в декабре 2006 г.? Informix, Illustra и Майкл Стоубрейкер Informix, Illustra и Майкл Стоубрейкер Значит ли это, что Стоунбрейкер является отцом объектно-реляционного подхода? Значит ли это, что Стоунбрейкер является отцом объектно-реляционного подхода? А что такое «объектно-реляционные» базы данных? А что такое «объектно-реляционные» базы данных? Личная точка зрения: Манифест систем баз данных следующего поколения, SQL, реализации IBM и Oracle Личная точка зрения: Манифест систем баз данных следующего поколения, SQL, реализации IBM и Oracle

4 Корпоративные базы данных 24 апреля 2007 г. 4 Informix Universal Server Декабрь 1996 г. – январь 1997 г. Декабрь 1996 г. – январь 1997 г. Интеллектуальные большие объекты (smart large objects) Интеллектуальные большие объекты (smart large objects) Индивидуальные типы данных (Distinct Types) Индивидуальные типы данных (Distinct Types) Типы данных со скрытой структурой (Opaque Types) Типы данных со скрытой структурой (Opaque Types)

5 Корпоративные базы данных 24 апреля 2007 г. 5 Informix Universal Server Составные типы данных Составные типы данных Могут иметь структуру записи, множества, мультимножества или списка Могут иметь структуру записи, множества, мультимножества или списка Значениями столбцов таблиц могут быть записи, множества или списки, состоящие в свою очередь из атомарных или структурных значений Значениями столбцов таблиц могут быть записи, множества или списки, состоящие в свою очередь из атомарных или структурных значений

6 Корпоративные базы данных 24 апреля 2007 г. 6 Informix Universal Server Тип данных со структурой записи Тип данных со структурой записи CREATE ROW TYPE (,... ) CREATE ROW TYPE (,... ) Три вида типов коллекций: множеств, мультимножеств и списков Три вида типов коллекций: множеств, мультимножеств и списков CREATE TYPE SET NOT NULL CREATE TYPE SET NOT NULL CREATE TYPE MULTISET NOT NULL CREATE TYPE MULTISET NOT NULL CREATE TYPE LIST NOT NULL CREATE TYPE LIST NOT NULL

7 Корпоративные базы данных 24 апреля 2007 г. 7 Informix Universal Server Механизм наследования может применяться к типам записей и таблицам Механизм наследования может применяться к типам записей и таблицам Одиночное наследование Одиночное наследование Все функции, определенные для супертипа, автоматически распространяются на все его подтипы Все функции, определенные для супертипа, автоматически распространяются на все его подтипы Для подтипов могут определяться свои функции Для подтипов могут определяться свои функции Значения подтипов могут использоваться почти везде, где разрешено употребление значений их супертипов Значения подтипов могут использоваться почти везде, где разрешено употребление значений их супертипов Единственное ограничение возникает при отведении памяти и хранении значений Единственное ограничение возникает при отведении памяти и хранении значений Здесь соответствие типов должно быть точным Здесь соответствие типов должно быть точным

8 Корпоративные базы данных 24 апреля 2007 г. 8 Informix Universal Server Tипизированные таблицы (типами записи) Tипизированные таблицы (типами записи) CREATE TABLE … OF TYPE … CREATE TABLE … OF TYPE … При определении подтаблиц некоторые свойства супертаблиц могут переопределяться (например, опции хранения) При определении подтаблиц некоторые свойства супертаблиц могут переопределяться (например, опции хранения) Операции SELECT, UPDATE и DELETE, примененные к супертаблице, распространяются также и на все ее подтаблицы Операции SELECT, UPDATE и DELETE, примененные к супертаблице, распространяются также и на все ее подтаблицы Конструкция ONLY Конструкция ONLY

9 Корпоративные базы данных 24 апреля 2007 г. 9 Informix Universal Server Новые базовые типы данных можно определять одновременно с введением специальных алгоритмов хранения, доступа и индексирования, которые отличаются от стандартных алгоритмов, реализованных в сервере Новые базовые типы данных можно определять одновременно с введением специальных алгоритмов хранения, доступа и индексирования, которые отличаются от стандартных алгоритмов, реализованных в сервере Для введения нового базового типа данных с нестандартными методами доступа нужно определить набор серверных функций, реализующий для нового типа алгоритмы доступа, просмотра, выделения памяти и т.д. Для введения нового базового типа данных с нестандартными методами доступа нужно определить набор серверных функций, реализующий для нового типа алгоритмы доступа, просмотра, выделения памяти и т.д. Эти функции должны быть написаны на языке C и скомпилированы в объектный формат Эти функции должны быть написаны на языке C и скомпилированы в объектный формат Далее надо описать новый базовый тип данных, и указать функции, реализующие для этого типа алгоритмы извлечения и записи на диск значений данного типа Далее надо описать новый базовый тип данных, и указать функции, реализующие для этого типа алгоритмы извлечения и записи на диск значений данного типа Модули DataBlade Модули DataBlade

10 Корпоративные базы данных 24 апреля 2007 г. 10 Oracle8 Июнь 1997 г. Июнь 1997 г. Основные доработки: Oracle 9i (2002 г.); наследование и другие возможности, соответствующие SQL:1999 Основные доработки: Oracle 9i (2002 г.); наследование и другие возможности, соответствующие SQL:1999 Объектные типы – аналог типа записи в IUS Объектные типы – аналог типа записи в IUS CREATE TYPE AS OBJECT (,... ) CREATE TYPE AS OBJECT (,... ) Для доступа к отдельным полям значений объектного типа используется точечная нотация Для доступа к отдельным полям значений объектного типа используется точечная нотация

11 Корпоративные базы данных 24 апреля 2007 г. 11 Oracle8 Методы объектных типов Методы объектных типов Функции или процедуры, написанные на PL/SQL, Java, C или другом языке и сохраненные в БД или вне ее Функции или процедуры, написанные на PL/SQL, Java, C или другом языке и сохраненные в БД или вне ее Методы-члены Методы-члены Статические методы Статические методы Методы сравнения Методы сравнения Сравнение объектов может производиться с помощью методов вида MAP или вида ORDER Сравнение объектов может производиться с помощью методов вида MAP или вида ORDER

12 Корпоративные базы данных 24 апреля 2007 г. 12 Oracle8 Метод типа MAP принимает в качестве параметра объект некоторого объектного типа, а возвращает значение одного из встроенных типов, которое может использоваться в операциях сравнения и сортировки Метод типа MAP принимает в качестве параметра объект некоторого объектного типа, а возвращает значение одного из встроенных типов, которое может использоваться в операциях сравнения и сортировки Метод типа ORDER сравнивает два объекта и возвращает –1, если первый объект меньше второго, 0, если объекты равны, и 1, если первый объект больше второго Метод типа ORDER сравнивает два объекта и возвращает –1, если первый объект меньше второго, 0, если объекты равны, и 1, если первый объект больше второго Если при определении объектного типа метод сравнения не задан, то объекты этого типа можно сравнивать только на равенство/неравенство, причем объекты не должны содержать элементов типа LOB Если при определении объектного типа метод сравнения не задан, то объекты этого типа можно сравнивать только на равенство/неравенство, причем объекты не должны содержать элементов типа LOB

13 Корпоративные базы данных 24 апреля 2007 г. 13 Oracle8 Объектная таблица – таблица, строки которой имеют объектный тип Объектная таблица – таблица, строки которой имеют объектный тип В Oracle8 не поддерживалось наследование, но в Oracle8i появилась возможность наследования таблиц, но без поддержки параллельной иерархии наследования объектных типов В Oracle8 не поддерживалось наследование, но в Oracle8i появилась возможность наследования таблиц, но без поддержки параллельной иерархии наследования объектных типов Объектные представления Объектные представления

14 Корпоративные базы данных 24 апреля 2007 г. 14 Oracle8 Строки объектных таблиц называются строчными объектами (row objects) Строки объектных таблиц называются строчными объектами (row objects) Для всех строчных объектов обеспечивается возможность уникальной идентификации Для всех строчных объектов обеспечивается возможность уникальной идентификации Столбец любой таблицы может быть определен на встроенном типе REF Столбец любой таблицы может быть определен на встроенном типе REF Значения этого столбца являются своего рода указателями на строчные объекты той же самой или другой объектной таблицы Значения этого столбца являются своего рода указателями на строчные объекты той же самой или другой объектной таблицы Система не берет на себя ответственность за согласование ссылок; за это отвечают пользователи Система не берет на себя ответственность за согласование ссылок; за это отвечают пользователи Поддерживается встроенная функция REF, позволяющая получить значение объектного идентификатора указанной строки Поддерживается встроенная функция REF, позволяющая получить значение объектного идентификатора указанной строки Наличие в объектной таблице столбцов ссылочного типа позволяет в ряде случаев упрощать формулировку запросов (с духе путевых выражений ODMG) Наличие в объектной таблице столбцов ссылочного типа позволяет в ряде случаев упрощать формулировку запросов (с духе путевых выражений ODMG)

15 Корпоративные базы данных 24 апреля 2007 г. 15 Oracle8 Типы коллекций: табличные типы (table types) и типы массивов Типы коллекций: табличные типы (table types) и типы массивов CREATE TYPE AS TABLE OF CREATE TYPE AS TABLE OF Точечная нотация для доступа к вложенным таблицам Точечная нотация для доступа к вложенным таблицам CREATE TYPE AS VARRAY ( ) OF CREATE TYPE AS VARRAY ( ) OF На уровне прямого SQL можно работать только с массивами целиком На уровне прямого SQL можно работать только с массивами целиком Возможность привести в запросе (или другом операторе SQL) тип массива к табличному типу Возможность привести в запросе (или другом операторе SQL) тип массива к табличному типу

16 Корпоративные базы данных 24 апреля 2007 г. 16 DB2 Universal Database Конец 1997 г. Конец 1997 г. Базовые идеи объектно-реляционных расширений были заложены в продукте DB2 for Common Servers, выпущенном в 1995 г. (статья Дона Чемберлина) Базовые идеи объектно-реляционных расширений были заложены в продукте DB2 for Common Servers, выпущенном в 1995 г. (статья Дона Чемберлина) BLOBы, триггеры, UDF, distinct types, экстендеры BLOBы, триггеры, UDF, distinct types, экстендеры Постепенное наращивание возможностей в следующих выпусках Постепенное наращивание возможностей в следующих выпусках

17 Корпоративные базы данных 24 апреля 2007 г. 17 DB2 Universal Database Механизм структурных типов с самого начала включал не только возможность определения типов со структурой, но и средства определения иерархий типов и иерархий таблиц Механизм структурных типов с самого начала включал не только возможность определения типов со структурой, но и средства определения иерархий типов и иерархий таблиц Допускалось использование ссылок для определения связей между объектами и навигации от одного объекта к другому Допускалось использование ссылок для определения связей между объектами и навигации от одного объекта к другому Методы очень похожи на UDF в том отношении, что они могут быть написаны на SQL или на внешнем языке, например, на Java или C Методы очень похожи на UDF в том отношении, что они могут быть написаны на SQL или на внешнем языке, например, на Java или C Но методы всегда ассоциируются с некоторым структурным типом, и их вызовы производятся в синтаксисе, отличном от синтаксиса вызова UDF Но методы всегда ассоциируются с некоторым структурным типом, и их вызовы производятся в синтаксисе, отличном от синтаксиса вызова UDF

18 Корпоративные базы данных 24 апреля 2007 г. 18 DB2 Universal Database При определении типизированной таблицы нужно явно специфицировать дополнительный столбец, в котором будут храниться значения объектных идентификаторов (OID) каждого объекта (строки), содержащейся в таблице При определении типизированной таблицы нужно явно специфицировать дополнительный столбец, в котором будут храниться значения объектных идентификаторов (OID) каждого объекта (строки), содержащейся в таблице Столбец OID создается как первый столбец таблицы, и за ним следуют столбцы, соответствующие атрибутам типа таблицы Столбец OID создается как первый столбец таблицы, и за ним следуют столбцы, соответствующие атрибутам типа таблицы Объектные идентификаторы используются в операциях разыменования (dereference), т.е. обеспечивают возможность добраться до строки по ссылке и преобразовать ее в экземпляр (значение) структурного типа Объектные идентификаторы используются в операциях разыменования (dereference), т.е. обеспечивают возможность добраться до строки по ссылке и преобразовать ее в экземпляр (значение) структурного типа Все строки подтаблиц доступны через запрос, адресуемый к их супертаблице Все строки подтаблиц доступны через запрос, адресуемый к их супертаблице Возможности OUTER и ONLY Возможности OUTER и ONLY D запросах на DB2 SQL можно использовать путевые выражения, но не в точечной, а в стрелочной нотации D запросах на DB2 SQL можно использовать путевые выражения, но не в точечной, а в стрелочной нотации

19 Корпоративные базы данных 24 апреля 2007 г. 19 DB2 Universal Database Объектные представления – это виртуальные таблицы, которые могут обладать структурой и поведением, отличным от структуры и поведения базовых таблиц, лежащих в основе этих представлений Объектные представления – это виртуальные таблицы, которые могут обладать структурой и поведением, отличным от структуры и поведения базовых таблиц, лежащих в основе этих представлений Как и в случае типизированных таблиц, определение объектного представления основывается на определении структурного типа Как и в случае типизированных таблиц, определение объектного представления основывается на определении структурного типа Объектные представления можно использовать для ограничения доступа к подмножеству строк иерархии таблиц или для сокрытия некоторых столбцов этой иерархии Объектные представления можно использовать для ограничения доступа к подмножеству строк иерархии таблиц или для сокрытия некоторых столбцов этой иерархии Долгое время не поддерживались типы коллекций, но теперь DB2 UDB более всех соответствует стандарту SQL Долгое время не поддерживались типы коллекций, но теперь DB2 UDB более всех соответствует стандарту SQL

20 Корпоративные базы данных 24 апреля 2007 г. 20 Коротко о предпосылках ОРСУБД Манифест баз данных третьего поколения (1990 г.) Манифест баз данных третьего поколения (1990 г.) В конце 80-х Вон Ким основал компанию UniSQL, выпустившую в 1991 г. первую версию продукта UniSQL, который Вон Ким стал называть объектно- реляционной системой В конце 80-х Вон Ким основал компанию UniSQL, выпустившую в 1991 г. первую версию продукта UniSQL, который Вон Ким стал называть объектно- реляционной системой Четыре принципа: Четыре принципа: Значениями атрибутов отношений могут быть не только литеральные значения, но и объекты; Значениями атрибутов отношений могут быть не только литеральные значения, но и объекты; Значения атрибутов отношений не обязательно являются атомарными; Значения атрибутов отношений не обязательно являются атомарными; При построении таблиц (классов) может использоваться механизм наследования; При построении таблиц (классов) может использоваться механизм наследования; Классы включают операции Классы включают операции

21 Корпоративные базы данных 24 апреля 2007 г. 21 Коротко о предпосылках ОРСУБД Майкл Стоунбрейкер Майкл Стоунбрейкер Ingres и Postgres Ingres и Postgres В Postgres допускалось хранение в полях отношений данных абстрактных, определяемых пользователями типов В Postgres допускалось хранение в полях отношений данных абстрактных, определяемых пользователями типов В 90-е гг. Стоунбрейкер создал компанию Illustra, основной целью которой был выпуск коммерческого варианта СУБД Postgres, получившего название Illustra В 90-е гг. Стоунбрейкер создал компанию Illustra, основной целью которой был выпуск коммерческого варианта СУБД Postgres, получившего название Illustra В этой системе поддерживались основные идеи Postgres, но уже присутствовала и поддержка языка SQL В этой системе поддерживались основные идеи Postgres, но уже присутствовала и поддержка языка SQL

22 Корпоративные базы данных 24 апреля 2007 г. 22 Объектно-реляционные базы данных и язык SQL SQL3, SQL:1999, SQL:2003 SQL3, SQL:1999, SQL:2003 При определении объектной модели SQL участники процесса стандартизации тщательно проанализировали ряд других языков и систем с целью выяснения достоинств и недостатков их объектных моделей При определении объектной модели SQL участники процесса стандартизации тщательно проанализировали ряд других языков и систем с целью выяснения достоинств и недостатков их объектных моделей Выработанная объектная модель похожа на объектную модель языка Java, но при этом адаптирована к природе языка SQL как языка СУБД с наличием стабильно хранимых метаданных и данных Выработанная объектная модель похожа на объектную модель языка Java, но при этом адаптирована к природе языка SQL как языка СУБД с наличием стабильно хранимых метаданных и данных

23 Корпоративные базы данных 24 апреля 2007 г. 23 Объектно-реляционные базы данных и язык SQL Два основных отличительных компонента – структурные, определяемые пользователями типы данных (User Defined Type – UDT) и типизированные таблицы (Typed Table) Два основных отличительных компонента – структурные, определяемые пользователями типы данных (User Defined Type – UDT) и типизированные таблицы (Typed Table) Первый компонент позволяет определять новые типы данных, которые могут быть гораздо более сложными, чем встроенные типы данных языка SQL Первый компонент позволяет определять новые типы данных, которые могут быть гораздо более сложными, чем встроенные типы данных языка SQL Второй компонент – типизированные таблицы – позволяет определять таблицы, строки которых являются экземплярами (или значениями) UDT, с которым явно ассоциируется таблица Второй компонент – типизированные таблицы – позволяет определять таблицы, строки которых являются экземплярами (или значениями) UDT, с которым явно ассоциируется таблица

24 Корпоративные базы данных 24 апреля 2007 г. 24 SQL как модель данных SQL – большой и «многослойный» язык SQL – большой и «многослойный» язык Однако, если сопоставлять возможности SQL с возможностями реляционной модели данных, можно установить, что в настоящее время в спецификации SQL представлена законченная модель данных, отличающаяся от реляционной поддержкой мультимножеств и неопределенных значений Однако, если сопоставлять возможности SQL с возможностями реляционной модели данных, можно установить, что в настоящее время в спецификации SQL представлена законченная модель данных, отличающаяся от реляционной поддержкой мультимножеств и неопределенных значений Развитые возможности структуризации (включая полную систему типов), манипулирования данными и поддержки ограничений Развитые возможности структуризации (включая полную систему типов), манипулирования данными и поддержки ограничений

25 Корпоративные базы данных 24 апреля 2007 г. 25 Гармонична ли «объектная» часть модели данных SQL? Далее исключительно личная точка зрения Далее исключительно личная точка зрения Та часть расширений, которая относится к системе типов (типы коллекций, UDT, наследование и т.д., кроме ссылочных типов), вполне гармонична и не выходит за пределы даже реляционной модели Та часть расширений, которая относится к системе типов (типы коллекций, UDT, наследование и т.д., кроме ссылочных типов), вполне гармонична и не выходит за пределы даже реляционной модели Ссылочные типы, типизированные таблицы и представления, поддержка путевых выражений вызывают подозрения Ссылочные типы, типизированные таблицы и представления, поддержка путевых выражений вызывают подозрения

26 Корпоративные базы данных 24 апреля 2007 г. 26 Гармонична ли «объектная» часть модели данных SQL? Типизированные таблицы и представления позволяют писать запросы в стиле OQL Типизированные таблицы и представления позволяют писать запросы в стиле OQL Но может ли грамотный пользователь забыть про скрытые внешние ключи и соединения? Но может ли грамотный пользователь забыть про скрытые внешние ключи и соединения? Действительно ли различия между прямой и ассоциативной адресацией не являются существенными? Действительно ли различия между прямой и ассоциативной адресацией не являются существенными? Вопрос, заслуживающий исследования Вопрос, заслуживающий исследования Что скажет новый стандарт объектной модели данных? Что скажет новый стандарт объектной модели данных? Request for Information (RFI) Request for Information (RFI)

27 Корпоративные базы данных 24 апреля 2007 г. 27 Кто и как использует ОРСУБД? Используют мало возможностей Используют мало возможностей Борис Новиков: хранимые процедуры, функции, пакеты Борис Новиков: хранимые процедуры, функции, пакеты Нет известных примеров приложений со своими типами данных Нет известных примеров приложений со своими типами данных Совсем неизвестны приложения с типизированными таблицами Совсем неизвестны приложения с типизированными таблицами Положительный пример Oracle Express Положительный пример Oracle Express Но все делают сами производители Но все делают сами производители Почему? Почему?

28 Корпоративные базы данных 24 апреля 2007 г. 28 Проблемы использования ОРСУБД Мне кажется, что дело не в «объектности» Мне кажется, что дело не в «объектности» Слишком много возможностей Слишком много возможностей Как распределять функциональную нагрузку между сервером баз данных, сервером приложений и приложением? Как распределять функциональную нагрузку между сервером баз данных, сервером приложений и приложением? Что теперь означает «независимость базы данных от приложения»? Что теперь означает «независимость базы данных от приложения»?

29 Корпоративные базы данных 24 апреля 2007 г. 29 Проблемы использования ОРСУБД Даже если от этого отвлечься Даже если от этого отвлечься Когда и как использовать типы коллекций? Когда и как использовать типы коллекций? Нет методологии Нет методологии Нужно ли проектировщику знать об особенностях реализации, например, вложенных таблиц? Нужно ли проектировщику знать об особенностях реализации, например, вложенных таблиц? Аскетичность Кодда понятнее сегодняшнего богатства Аскетичность Кодда понятнее сегодняшнего богатства Аналогичные проблемы в базах XML-данных Аналогичные проблемы в базах XML-данных

30 Корпоративные базы данных 24 апреля 2007 г. 30 Каковы перспективы? Сделано очень много Сделано очень много Пропасть не должно Пропасть не должно Надеюсь, что с помощью исследовательского сообщества удастся решить проблемы и привлечь разработчиков к использованию ОРСУБД Надеюсь, что с помощью исследовательского сообщества удастся решить проблемы и привлечь разработчиков к использованию ОРСУБД