Моделирование семантики в базах данных

Титульный лист......Page 1
Аннотация и выходные данные......Page 2
Предисловие......Page 3
§ 1.1. Предметная область банка данных......Page 7
§ 1.2. Концептуальные средства описания предметной области......Page 21
§ 1.3. Синтез концептуальной модели предметной области......Page 41
§ 1.4. Общение с банком данных на естественном языке......Page 47
§ 2.1. Множества, отношения, замыкания......Page 52
§ 2.2. Одноосновные универсальные алгебры......Page 60
§ 2.3. Булевы алгебры......Page 76
§ 2.4. Многоосновные универсальные алгебры......Page 82
§ 2.5. Категории......Page 89
§ 2.6. Языки, теории, модели......Page 101
§ 3.1. Алгебра функциональных данных......Page 108
§ 3.2. Свойства алгебры файлов......Page 115
§ 3.3. Реляционная алгебра......Page 125
§ 3.4. Бинарная модель данных......Page 132
§ 3.5. Расширения модели функциональных данных......Page 142
Глава 4. Базы данных......Page 151
§ 4.1. Схемы и состояния баз данных......Page 152
§ 4.2. Базы данных над алгеброй файлов......Page 157
§ 4.3. Базы данных над реляционной алгеброй......Page 160
§ 4.4. Логика баз данных......Page 172
§ 4.5. Базы данных с неполной информацией......Page 183
§ 4.6. Интерфейс с базой данных......Page 199
Глава 5. Теория зависимостей......Page 203
§ 5.1. Структуры функциональных зависимостей......Page 204
§ 5.2. Многозначные, встроенные многозначные и транзитивные зависимости......Page 211
§ 5.3. Применение булевых функций для анализа F- и MV-отношений......Page 222
§ 5.4. Зависимости соединения......Page 231
§ 5.5. Алгебраическая трактовка метода прогонки......Page 241
§ 5.6. Хорновские ограничения целостности и их обобщения......Page 248
Глава 6. Проблемы моделирования семантики в базах данных......Page 253
§ 6.1. Канонические представления бинарных отношений......Page 254
§ 6.2. Построение схемы базы данных......Page 261
Список литературы......Page 278
ОГЛАВЛЕНИЕ......Page 286
Выходные данные......Page 288
Обложка......Page 289