Содержание
Введение
Глава 1. Современная оршшзация ба данных.
1.1. Системы баз данных, основанные на правилах . . . .
1 2.острсляциошые базы данных.
1 3 Объекшоориешированные базы данных.
Технология АР
1.5. Выводы
Глава 2. Расширение реляционной алгебры Кодда
2.1. Вазовые понятия реляционной модели данных.
2 2 Средства манипулирования реляционными данными
2.3. Расширение реляционной алебры .
2.4. Доказательство замкнут ос ги расширенной реляционной шнсбры.
2 5. Выводы
Глава 3. Автоматный подход к обработке рекурсивных таблиц.
3.1. Базовые понятия и соглашения
3 2 Автоматный подход к обработке рекурсивных наборов данных
3 2 I Списочная реализация автоматов.
3 2 2 Вложенные автоматы
3 3. Синхронный и асинхронный конечные автоматы.
3 4 Выводы .
Глава 4. Реализация автоматного подхода к обработке данных с использованием функциональных языков.
4 1. Определения и соглашения .
4 2. Язык спецификаций, основные алгоритмы работы
4 3. Протраммная реализация процесса проектирования схемы баты данных
4 3 1. Модель СМК как черного ящика
4 3 2 Профаммный комплекс моделирования предметной области
4 4. Выводы .
Заключение.
Список цитируемой литературы