МГУ, Факультет Вычислительной Математики и Кибернетики
Кафедра АСВК, Магистратура, Высшая Компьютерная Школа

Список вопросов по курсу
"Объектные Базы Данных"
(Л.А.Калиниченко)

ћ        Основные понятия: подтип и композиции типов

1. Свойства отношения подтипа
2. Концепция уточнения типа
3. Понятие общего редукта типов
4. Операции композиции типов
5. Проблема определения типа результата алгебраических операций над коллекциями

ћ        Объектно-ориентированные модели данных и стандарты ODMG 3.0:

6. Архитектура ОСУБД ODMG 3.0. Компоненты архитектуры
7. Объектная модель ODMG
8. Подтипы и наследование в модели ODMG
9. Система типов данных модели ODMG
10. Коллекции и типы связи в модели ODMG
11. Общая характеристика языка определения объектов ODL
12. Характеристика объектного языка запросов OQL
13. Выражения выбора объектов, выражения путей
14. Полиморфизм запросов. Композиции операторов.
15. Выражения для коллекций. Группирования.
16. Связывание баз данных с языками программирования.

ћ        Стандарт объектно-реляционной модели данных SQL:1999

17. Новые реляционные черты SQL:1999
18. Абстрактные типы данных в SQL:1999
19. Объекты, объектные таблицы, ссылочные типы в SQL:1999
20. Особенности выполнения операций над объектными таблицами в SQL:1999

ћ        Каноническая объектно-ориентированная модель спецификации неоднородных информационных ресурсов

21. Основные понятия объектных моделей
22. Язык фреймов. Объектно-базированные модели.
23. Фреймы как абстрактные модели
24. Бинарные ассоциации в языке фреймов
25. Темпоральная модель языка фреймов. Темпоральные ассоциации.
26. Принципы построения системы типов в канонической модели
27. Спецификация абстрактных типов данных в канонической модели
28. Спецификации функций в канонической модели
29. Категоризации атрибутов в канонической модели. Метаклассы ассоциаций.
30. Спецификация информационных ресурсов. Классы.
31. Классификация объектов. Метаклассы.
32. Алгебра типов, основанная на отношении уточнения
33. Общая характеристика объектного исчисления
34. Интерпретация формул: предикаты-коллекции, связки И, ИЛИ
35. Интерпретация кванторов существования и всеобщности

ћ        Основные положения третьего манифеста (объектно-реляционные базы данных) и их критика

36. Скалярные, кортежные и реляционные типы и переменные в соответствии с третьим манифестом
37. Основные предписания реляционной модели в ТМ
38. Подход к контролю типов в ТМ
39. Анализ подхода ТМ к наследованию операций чтения и операций изменения данных в иерархии типов
40. Семантика операции соединения (join) при однократном и множественном наследовании согласно ТМ

ћ        Отображения моделей данных

41. Понятие неоднородных мультибаз данных. Идея интеграции неоднородных баз данных. Базы данных как компоненты процесса обратной инженерии
42. Эквивалентность моделей данных. Инварианты баз даных.
43. Коммутативные отображения моделей данных. Три основных принципа конструирования коммутативных отображений.
44. Общая схема процесса коммутативного отображения моделей данных
45. Роль абстрактной метамодели в процессе отображения моделей данных. Денотационая семантика.
46. Конструкции денотационной метамодели данных
47. Понятие об абстрактном синтаксисе и семантике модели данных
48. Конструирование отображения языков определения данных
49. Конструирование отображения языков манипулирования данными

Литература 

         К.Дж. Дейт, Хью Дарвен. Основы будущих систем баз данных. Москва, Янус-К, 2004

         The Object Database Standard: ODMG 3.0. Morgan Kaufmann Publishers, 2000, 260 pages

         Jim Melton, Alan Simon. SQL:1999. Understanding relational language components. Morgan Kaufmann Publishers. 2002, 890 pages

         Jim Melton. Advanced SQL:1999. Understanding object-relational and other advanced features. Morgan Kaufmann Publishers. 2003, 560 pages

         Калиниченко Л.А. Методы и средства интеграции неоднородных баз данных. Москва, Наука, 1983, 420 стр.

         Калиниченко Л.А. СИНТЕЗ - язык определения, проектирования и программирования интероперабельных сред неоднородных информационных ресурсов, ИПИ РАН, 1993, 115 стр.

         Калиниченко Л.А., Ступников С.А., Земцов Н.А. Методы синтеза канонических моделей, предназначенных для достижения семантической интероперабельности неоднородных источников информации. ИПИ РАН, Москва, 2005

         Формальные методы и модели в композиционных инфраструктурах распределенных информационных систем. Специальный выпуск. ИПИ РАН, Москва, 2005, 300 с.

         A.Dogac, L.Kalinichenko, M.T. Ozsu, A.Sheth (Eds.). Advances in workflow management systems and interoperability. NATO Advanced Study Institute, Springer Verlag, 1998, 520 pages