- Артикул:00-01029413
- Автор: Марков А.С., Лисовский К.Ю.
- ISBN: 5-279-02298-5
- Обложка: Твердый переплет
- Издательство: Финансы и статистика (все книги издательства)
- Город: Москва
- Страниц: 512
- Формат: 70x100/16
- Год: 2004
- Вес: 1099 г
- Серия: Учебник для ВУЗов (все книги серии)
Развернуть ▼
Рассмотрены основные математические модели представления об отношении: теоретико-множественные, конструктивные, предикатные. Центральная тема - обоснование выбора методов вычислительной логики для повышения уровня интеллектуальности реляционных баз данных. Представлены и другие модели данных (сетевые и иерархические), описывается объектно-ориентированный подход к проектированию баз данных. В качестве учебных языков программирования реляционных данных используются языки SQL и Дейталог. Особое внимание уделено методам обработки слабоструктурированных данных.
Для преподавателей и учащихся, высших и средних учебных заведений, программистов и специалистов по применению баз данных, а также для всех, кто занимается самообразованием в этой области знаний.
Оглавление
Предисловие
Путеводители по книге
Путеводитель по главам
Путеводитель по темам
Путеводитель по теме «Система баз данных»
Путеводитель по теме «Порядок в домене»
Путеводитель по теме «Вычисления на решетках»
Путеводитель по теме «Отношения и реляционные данные»
Путеводитель по теме «Полнота реляционных теорий»
Часть I. Введение в предмет
Глава 1. Исходные представления о базах данных
1.1. Примеры (какими бывают базы данных)
1.2. Предварительные определения
1.3. Рабочая модель понятия о базе данных (интенсионал понятия)
1.4. Моделенезависимые понятия
1.5. Учебная база данных
1.6. Система баз данных
1.7. Классификация баз данных
Вопросы для самопроверки
Глава 2. Реляционная модель. Основные понятия
2.1. Обшие замечания
2.2. Информация и данные
2.3. Реляционные таблицы
2.4. Ключи
2.5. Об операциях проекции и соединения в реляционной алгебре
2.6. Аксиомы Армстронга (о математической поддержке нормализации таблиц)
2.7. О нормализации реляционных таблиц
2.8. О семантике процедурного программирования реляционных данных (демонстрационная система баз данных)
2.9. О программировании реляционных данных
Вопросы для самопроверки
Глава 3. Математические модели отношений и реляционных операций
3.1. Понятие о конструктивности
3.2. Порядок в домене (теоретико-множественный подход)
3.3. Решетки (структуры)
3.4. Теория неподвижной точки
3.5. Отношения - конструктивная формализация понятия
3.6. Введение в реляционную алгебру
3.7. Системы реляционных уравнений
3.8. Парадоксальные базы данных
Вопросы для самопроверки
Часть II. Программирование реляционных данных
Глава 4. Основы процедурного программирования реляционных данных на языке SQL
4.1. Обзор синтаксических форм SQL
4.2. Базисный язык SQL
4.3. Операции реляционной алгебры в SQL
4.4. Предикаты кванторного типа
4.5. Дополнительные средства
Вопросы для самопроверки
Глава 5. Надежность данных
5.1. Ограничения целостности данных
5.2. Ссылочная целостность
5.3. Разграничения доступа к базе данных
5.4. О надежности управления транзакциями
5.5. Метаданные как средство поддержания целостности баз данных
5.6. Об условиях целостности, не известных системе баз данных
Вопросы для самопроверки
Глава 6. Логическое программирование реляционных данных
6.1. Исчисления предикатов
6.2. Дейталог/Пролог
6.3. Семантика неподвижной точки для Дейталога
6.4. Алгебраическая семантика Дейталога
6.5. Программирование на Дейталоге/Прологе
6.6. Антитрестовская задача
6.7. Дейталог с отрицанием
Вопросы для самопроверки
Часть III. Общий обзор подходов к проектированию баз данных
Глава 7. Объектно-ориентированные базы данных
7.1. Объектно-ориентированная модель данных: основные понятия
7.2. Сравнение с реляционной моделью данных
Вопросы для самопроверки
Глава 8. Информационная среда баз данных
8.1. Технологические системы проектирования
8.2. О методах описания информационных моделей предметной области
8.3. Объектно-ориентированные методы
8.4. Вычислительно-информационная среда систем баз данных
Вопросы для самопроверки
Глава 9. Сетевые, иерархические и смешанные модели
9.1. Сетевые модели баз данных
9.2. Иерархические модели баз данных
9.3. Смешанные модели
9.4. Машины баз данных
Вопросы для самопроверки
Глава 10. Слабоструктурированные данные
10.1. Основные положения
10.2. Язык XML: синтаксис и модель данных
10.3. Функциональные методы обработки слабоструктурированных данных
10.4. Реляционное представление слабоструктурированных данных
Вопросы для самопроверки
Заключение
Комментарии
Приложения
Приложение 1. Методические материалы для преподавателя
Приложение 2. Учебная база данных 1. Царственные персоны
Приложение 3. Учебная база данных 2. Поставщики - детали
Рекомендуемая литература
Краткий словарь терминов
Обозначения и сокращения
Предметный указатель
Рекомендуем
