Вопросы по курсу
"Объектно-ориентированные базы данных"
Л.А.Калиниченко
I. Основные понятия: подтип и композиции типов
1. Виды полиморфизма
2. Свойства отношения подтипа
3. Концепция уточнения типа
4. Понятие общего редукта типов
5. Операции композиции типов
6. Проблема определения типа результата алгебраических операций
над коллекциями
II. Объектно-ориентированные модели данных и стандарты
ODMG 2.0:
1. Архитектура ОСУБД ODMG 2.0. Компоненты архитектуры
2. Объектная модель ODMG
3. Подтипы и наследование в модели ODMG
4. Система типов данных модели ODMG
5. Коллекции и типы связи в модели ODMG
6. Общая характеристика языка определения объектов ODL
7. Характеристика объектного языка запросов OQL
8. Выражения выбора объектов, выражения путей
9. Полиморфизм запросов. Композиции операторов.
10. Выражения для коллекций. Группирования.
11. Связывание баз данных с языками программирования.
Определение схем баз данных в языках программирования.
12. Роль ОСУБД в архитектуре OMG
SQL3:
1. Абстрактные типы данных в SQL3
2. Абстрактные типы данных в таблицах SQL3
3. Объекты-строки и объектные таблицы SQL3
SQL:1999
1. Новые реляционные черты SQL:1999
2. Абстрактные типы данных в SQL:1999
3. Объекты, объектные таблицы, ссылочные типы в SQL:1999
Oracle 8
1. Объекты в столбцах и объектные таблицы в Oracle 8
2. Коллекции объектов, вложенные таблицы, ссылки на объекты в
Oracle 8
III. Основные положения третьего манифеста (объектно-реляционные
базы данных) и их критика
1. Скалярные, кортежные и реляционные типы и переменные в
соответствии с третьим манифестом
2. Основные предписания реляционной модели в ТМ
3. Подход к контролю типов в ТМ
4. Анализ подхода ТМ к наследованию операций чтения и операций
изменения данных в иерархии типов
5. Семантика операции соединения (join) при однократном
наследовании согласно ТМ
6. Семантика операции соединения (join) при множественном
наследовании согласно ТМ
IV. Каноническая объектно-ориентированная модель спецификации
ресурсов
1. Основные понятия объектных моделей
2. Язык фреймов. Объектно-базированные модели.
3. Фреймы как абстрактные модели
4. Бинарные ассоциации в языке фреймов
5. Темпоральная модель языка фреймов. Темпоральные ассоциации.
6. Принципы построения системы типов в канонической модели
7. Спецификация абстрактных типов данных в канонической модели
8. Спецификации функций в канонической модели
9. Категоризации атрибутов в канонической модели. Метаклассы
ассоциаций.
10. Спецификация информационных ресурсов. Классы.
11. Классификация объектов. Метаклассы.
12. Алгебра типов, основанная на отношении уточнения
13. Общая характеристика объектного исчисления
14. Интерпретация формул: предикаты-коллекции, связки И, ИЛИ
15. Интерпретация кванторов существования и всеобщности
16. Формулы в правилах
17. Фреймовые предикаты
V. Отображения моделей данных
1. Понятие неоднородных мультибаз данных. Идея интеграции
неоднородных баз данных. Базы данных как компоненты процесса
обратной инженерии
2. Эквивалентность моделей данных. Инварианты баз даных.
3. Коммутативные отображения моделей данных. Три основных
принципа конструирования коммутативных отображений.
4. Общая схема процесса коммутативного отображения моделей
данных
5. Роль абстрактной метамодели в процессе отображения моделей
данных. Денотационая семантика.
6. Конструкции денотационной метамодели данных
7. Понятие об абстрактном синтаксисе и семантике модели данных
8. Конструирование отображения языков определения данных
9. Конструирование отображения языков манипулирования данными
10. Понятие о синтезе унифицированной канонической модели
данных.
11. Нотация абстрактных машин как метамодель. Интерпретация
состояний и поведения.
12. Понятие уточнения моделей данных.
13. Коммутативные отображения объектных моделей данных
14. Подход к построению коммутативных отображений моделей
данных на основе AMN