Книги: [Классика] [Базы данных] [Internet/WWW] [Сети] [Программирование] [UNIX] [Windows] [Безопасность] [Графика] [Software Engineering] [ERP-системы] [Hardware]

Основы будущих систем баз данных. Третий манифест. К.Дж.Дейт, Хью Дарвен Перевод: С.Д.Кузнецов, Т.А.Кузнецова Под ред. С.Д.Кузнецова Издано: Издательство Янус-К, 2004 г. Твердый переплет, 656 стр. Начало Cодержание Комментарий редактора перевода [Заказать книгу в магазине "Колибри"] [Заказать книгу в магазине "Мистраль"]

Полное содержание

Предисловие в первому изданию - 11

СТРУКТУРА КНИГИ - 14
ПРЕДПОЛАГАЕМЫЙ КРУГ ЧИТАТЕЛЕЙ - 16
БЛАГОДАРНОСТИ - 17

Предисловие ко второму изданию - 19

БЛАГОДАРНОСТИ - 21

ЧАСТЬ I

ВСТУПЛЕНИЕ - 23

ГЛАВА 1

Предпосылки и обзор - 24

ЧТО ТАКОЕ ТРЕТИЙ МАНИФЕСТ? - 24

ЗАЧЕМ МЫ ЭТО НАПИСАЛИ? - 26

НАЗАД В РЕЛЯЦИОННОЕ БУДУЩЕЕ - 27

НЕКОТОРЫЕ РУКОВОДЯЩИЕ ПРИНЦИПЫ - 29

НЕКОТОРЫЕ КЛЮЧЕВЫЕ ЛОГИЧЕСКИЕ РАЗЛИЧИЯ - 30

УМЫШЛЕННО ОПУЩЕННЫЕ ТЕМЫ - 34

ТРЕТИЙ МАНИФЕСТ: РЕЗЮМЕ - 34

ГЛАВА 2

Объекты и отношения - 37

ВВЕДЕНИЕ - 37

ЧТО ЗА ПРОБЛЕМУ МЫ ПЫТАЕМСЯ РЕШИТЬ? - 38

ОТНОШЕНИЯ И RELVARS - 39

ДОМЕНЫ И ОБЪЕКТНЫЕ КЛАССЫ - 42

RELVARS И ОБЪЕКТНЫЕ КЛАССЫ - 45

ЗАМЕЧАНИЕ ПО ПОВОДУ НАСЛЕДОВАНИЯ - 54

ЗАКЛЮЧИТЕЛЬНЫЕ ЗАМЕЧАНИЯ - 55

ЧАСТЬ II

ФОРМАЛЬНЫЕ CПЕЦИФИКАЦИИ - 56
ГЛАВА 3

Третий Манифест - 57

RM-ПРЕДПИСАНИЯ - 57

RM-ЗАПРЕТЫ - 65

OO-ПРЕДПИСАНИЯ - 66

OO-ЗАПРЕТЫ - 67

ОЧЕНЬ СТРОГИЕ RM-СУЖДЕНИЯ - 67

ОЧЕНЬ СТРОГИЕ OO-СУЖДЕНИЯ - 68

ГЛАВА 4

Новая реляционная алгебра - 70

ВВЕДЕНИЕ - 70

МОТИВАЦИЯ И ОБОСНОВАНИЕ - 71

<REMOVE>, <RENAME> и <COMPOSE> - 76

ТРАКТОВКА ОПЕРАЦИЙ КАК ОТНОШЕНИЙ - 78

ФОРМАЛЬНЫЕ ОПРЕДЕЛЕНИЯ - 82

ТРАНЗИТИВНОЕ ЗАМЫКАНИЕ - 84

ГЛАВА 5

Язык Tutorial D - 88

ВВЕДЕНИЕ - 88

ТИПЫ И ВЫРАЖЕНИЯ - 92

СКАЛЯРНЫЕ ОПРЕДЕЛЕНИЯ - 93

КОРТЕЖНЫЕ ОПРЕДЕЛЕНИЯ - 98

ОПРЕДЕЛЕНИЯ, СВЯЗАННЫЕ С ОТНОШЕНИЯМИ - 98

СКАЛЯРНЫЕ ОПЕРАЦИИ - 100

КОРТЕЖНЫЕ ОПЕРАЦИИ - 103

РЕЛЯЦИОННЫЕ ОПЕРАЦИИ - 107

ОТНОШЕНИЯ И МАССИВЫ - 113

ОПЕРАТОРЫ - 115

СВОДКА СИНТАКСИСА - 118

ОТОБРАЖЕНИЕ РЕЛЯЦИОННЫХ ОПЕРАЦИЙ - 129

ЧАСТЬ III

НЕФОРМАЛЬНЫЕ ОБСУЖДЕНИЯ И ПОЯСНЕНИЯ - 135
ГЛАВА 6
RM-предписания - 137

RM-ПРЕДПИСАНИЕ 1: СКАЛЯРНЫЕ ТИПЫ - 37
RM-ПРЕДПИСАНИЕ 2: СКАЛЯРНЫЕ ЗНАЧЕНИЯ ТИПИЗИРОВАНЫ - 144
RM-ПРЕДПИСАНИЕ 3: СКАЛЯРНЫЕ ОПЕРАЦИИ - 145
Замечания по поводу приведенных выше примеров - 151
RM-ПРЕДПИСАНИЕ 4: РЕАЛЬНЫЕ И ВОЗМОЖНЫЕ ПРЕДСТАВЛЕНИЯ - 155

Системно-определяемые типы - 159
Cелекторы и литералы - 160
Определители типа и реализаторы типа - 160
Смешанные вопросы - 162

RM-ПРЕДПИСАНИЕ 5: РАСКРЫТИЕ ВОЗМОЖНЫХ ПРЕДСТАВЛЕНИЙ - 165

Замечание о реализации - 170
Смешанные вопросы - 171

RM-ПРЕДПИСАНИЕ 6: ГЕНЕРАТОР ТИПОВ TUPLE - 172
RM-ПРЕДПИСАНИЕ 7: ГЕНЕРАТОР ТИПОВ RELATION - 179
RM-ПРЕДПИСАНИЕ 8: РАВЕНСТВО - 184
RM-ПРЕДПИСАНИЕ 9: КОРТЕЖИ - 187
RM-ПРЕДПИСАНИЕ 10: ОТНОШЕНИЯ - 189

Отношения и их интерпретация - 191
Смешанные темы - 192

RM-ПРЕДПИСАНИЕ 11: СКАЛЯРНЫЕ ПЕРЕМЕННЫЕ - 192
RM-ПРЕДПИСАНИЕ 12: КОРТЕЖНЫЕ ПЕРЕМЕННЫЕ - 193
RM-ПРЕДПИСАНИЕ 13: ПЕРЕМЕННЫЕ ОТНОШЕНИЙ (RELVAR) - 194
RM-ПРЕДПИСАНИЕ 14: РЕАЛЬНЫЕ И ВИРТУАЛЬНЫЕ RELVAR - 197
RM-ПРЕДПИСАНИЕ 15: ВОЗМОЖНЫЕ КЛЮЧИ - 200
RM-ПРЕДПИСАНИЕ 16: БАЗЫ ДАННЫХ - 201
RM-ПРЕДПИСАНИЕ 17: ТРАНЗАКЦИИ - 204
RM-ПРЕДПИСАНИЕ 18: РЕЛЯЦИОННАЯ АЛГЕБРА - 205

DIVIDEBY PER - 206
SUMMARIZE PER - 209

RM-ПРЕДПИСАНИЕ 19: ИМЕНА RELVAR, СЕЛЕКТОРЫ ОТНОШЕНИЙ И РЕКУРСИЯ - 211
RM-ПРЕДПИСАНИЕ 20: ОПЕРАЦИИ СО ЗНАЧЕНИЯМИ-ОТНОШЕНИЯМИ - 213
RM-ПРЕДПИСАНИЕ 21: ПРИСВАИВАНИЯ - 214
RM-ПРЕДПИСАНИЕ 22: СРАВНЕНИЯ - 220
RM-ПРЕДПИСАНИЕ 23: ОГРАНИЧЕНИЯ ЦЕЛОСТНОСТИ - 221
RM-ПРЕДПИСАНИЕ 24: ПРЕДИКАТЫ RELVAR И БАЗЫ ДАННЫХ - 231
RM-ПРЕДПИСАНИЕ 25: КАТАЛОГ - 233
RM-ПРЕДПИСАНИЕ 26: КОНСТРУИРОВАНИЕ ЯЗЫКА - 234

ГЛАВА 7
RM-запреты - 235

RM-ЗАПРЕТ 1: НЕТ УПОРЯДОЧИВАНИЯ АТРИБУТОВ - 235
RM-ЗАПРЕТ 2: НЕТ УПОРЯДОЧИВАНИЯ КОРТЕЖЕЙ - 237
RM-ЗАПРЕТ 3: НЕТ КОРТЕЖЕЙ-ДИБЛИКАТОВ - 237
RM-ЗАПРЕТ 4: НЕТ НЕОПРЕДЕЛЕННЫХ ЗНАЧЕНИЙ - 238
RM-ЗАПРЕТ 5: НЕТ НУЛЛОЛОГИЧЕСКИХ ОШИБОК - 238
RM-ЗАПРЕТ 6: НЕТ КОНСТРУКЦИЙ ВНУТРЕННЕГО УРОВНЯ - 239
RM-ЗАПРЕТ 7: НЕТ ОПЕРАЦИЙ УРОВНЯ КОРТЕЖЕЙ - 240
RM-ЗАПРЕТ 8: ОТСУТСТВИЕ СОСТАВНЫХ АТРИБУТОВ - 241
RM-ЗАПРЕТ 9: НЕТ ОТКАЗА ОТ ПРОВЕРКИ ДОМЕНОВ - 242
RM-ЗАПРЕТ 10: НЕ SQL - 242

ГЛАВА 8

OO-предписания - 243
OO-ПРЕДПИСАНИЕ 1: ПРОВЕРКА ТИПОВ ВО ВРЕМЯ КОМПИЛЯЦИИ - 243
OO-ПРЕДПИСАНИЕ 2: НАСЛЕДОВАНИЕ ТИПОВ (УСЛОВНОЕ) - 243
OO-ПРЕДПИСАНИЕ 3: ВЫЧИСЛИТЕЛЬНАЯ ПОЛНОТА - 245
OO-ПРЕДПИСАНИЕ 4: ГРАНИЦЫ ЯВНЫХ ТРАНЗАКЦИЙ - 246
OO-ПРЕДПИСАНИЕ 5: ВЛОЖЕННЫЕ ТРАНЗАКЦИИ - 248
OO-ПРЕДПИСАНИЕ 6: АГРЕГАТНЫЕ ОПЕРАЦИИ И ПУСТЫЕ МНОЖЕСТВА - 249

ГЛАВА 9
OO-запреты - 250

OO-ЗАПРЕТ 1: RELVAR НЕ ЯВЛЯЮТСЯ ДОМЕНАМИ - 250
OO-ЗАПРЕТ 2: НЕТ ИДЕНТИФИКАТОРОВ ОБЪЕКТОВ - 250

ГЛАВА 10
Очень строгие RM-суждения - 255

ОЧЕНЬ СТРОГОЕ RM-СУЖДЕНИЕ 1: СИСТЕМНЫЕ КЛЮЧИ - 255
ОЧЕНЬ СТРОГОЕ RM-СУЖДЕНИЕ 2: ВНЕШНИЕ КЛЮЧИ - 260
ОЧЕНЬ СТРОГОЕ RM-СУЖДЕНИЕ 3: ВЫВОД ВОЗМОЖНЫХ КЛЮЧЕЙ - 261
ОЧЕНЬ СТРОГОЕ RM-СУЖДЕНИЕ 4: ОГРАНИЧЕНИЯ ПЕРЕХОДОВ - 263
ОЧЕНЬ СТРОГОЕ RM-СУЖДЕНИЕ 5: ЗАПРОСЫ С КВОТАМИ - 264
ОЧЕНЬ СТРОГОЕ RM-СУЖДЕНИЕ 6: ОБОБЩЕННОЕ ТРАНЗИТИВНОЕ ЗАМЫКАНИЕ - 268
ОЧЕНЬ СТРОГОЕ RM-СУЖДЕНИЕ 7: ОПРЕДЕЛЯЕМЫЕ ПОЛЬЗОВАТЕЛЯМИ РОДОВЫЕ ОПЕРАЦИИ - 272
ОЧЕНЬ СТРОГОЕ RM-СУЖДЕНИЕ 8: СПЕЦИАЛЬНЫЕ ("ПО УМОЛЧАНИЮ") ЗНАЧЕНИЯ - 273
ОЧЕНЬ СТРОГОЕ RM-СУЖДЕНИЕ 9: МИГРАЦИЯ SQL - 276

ГЛАВА 11
Очень строгие OO-суждения - 292

ОЧЕНЬ СТРОГОЕ OO-СУЖДЕНИЕ 1: НАСЛЕДОВАНИЕ ТИПОВ - 292
ОЧЕНЬ СТРОГОЕ OO-СУЖДЕНИЕ 2: ТИПЫ И ОПЕРАЦИИ НЕ СВЯЗАНЫ - 294
ОЧЕНЬ СТРОГОЕ OO-СУЖДЕНИЕ 3: ГЕНЕРАТОРЫ ТИПОВ КОЛЛЕКЦИЙ - 296
ОЧЕНЬ СТРОГОЕ OO-СУЖДЕНИЕ 4: ПРЕОБРАЗОВАНИЕ В ОТНОШЕНИЯ И ИЗ ОТНОШЕНИЙ - 297
ОЧЕНЬ СТРОГОЕ OO-СУЖДЕНИЕ 5: ОДНОУРОВНЕВОЕ ХРАНЕНИЕ - 298

ЧАСТЬ IV

ПОДТИПИЗАЦИЯ И НАСЛЕДОВАНИЕ - 300
ГЛАВА 12
Предварительные сведения - 301

ВВЕДЕНИЕ - 301
НА ПОДСТУПАХ К МОДЕЛИ НАСЛЕДОВАНИЯ ТИПОВ - 303
ОДИНОЧНОЕ И МНОЖЕСТВЕННОЕ НАСЛЕДОВАНИЕ - 304
СКАЛЯРЫ, КОРТЕЖИ И ОТНОШЕНИЯ - 305
РЕЗЮМЕ - 307
ГЛАВА 13
Модель наследования - 309

ВВЕДЕНИЕ - 309
IM-ПРЕДПИСАНИЯ - 309

ГЛАВА 14
Одиночное наследование со скалярными типами - 318

ВВЕДЕНИЕ - 318
IM-ПРЕДПИСАНИЕ 1: ТИПЫ ЯВЛЯЮТСЯ МНОЖЕСТВАМИ - 327
IM-ПРЕДПИСАНИЕ 2: ПОДТИПЫ ЯВЛЯЮТСЯ ПОДМНОЖЕСТВАМИ - 327
IM-ПРЕДПИСАНИЕ 3: ОПЕРАЦИЯ "ЯВЛЯЕТСЯ ПОДТИПОМ" РЕФЛЕКСИВНА - 331
IM-ПРЕДПИСАНИЕ 4: СОБСТВЕННЫЕ ПОДТИПЫ - 331
IM-ПРЕДПИСАНИЕ 5: ОПЕРАЦИЯ "ЯВЛЯЕТСЯ СУПЕРТИПОМ" ТРАНЗИТИВНА - 332
IM-ПРЕДПИСАНИЕ 6: НЕПОСРЕДСТВЕННЫЕ ПОДТИПЫ - 332
IM-ПРЕДПИСАНИЕ 7: ТИПЫ НЕ ПЕРЕСЕКАЮТСЯ, ЕСЛИ ОДИН ИЗ НИХ НЕ ЯВЛЯЕТСЯ ПОДТИПОМ ДРУГОГО - 335
IM-ПРЕДПИСАНИЕ 8: СКАЛЯРНЫЕ ЗНАЧЕНИЯ ПРИ НАЛИЧИИ НАСЛЕДОВАНИЯ - 335
IM-ПРЕДПИСАНИЕ 9: СКАЛЯРНЫЕ ПЕРЕМЕННЫЕ ПРИ НАЛИЧИИ НАСЛЕДОВАНИЯ - 336
IM-ПРЕДПИСАНИЕ 10: СПЕЦИАЛИЗАЦИЯ ЧЕРЕЗ ОГРАНИЧЕНИЕ - 344
IM-ПРЕДПИСАНИЕ 11: ПРИСВАИВАНИЕ ПРИ НАЛИЧИИ НАСЛЕДОВАНИЯ - 347
IM-ПРЕДПИСАНИЕ 12: СРАВНЕНИЕ ПО РАВЕНСТВУ И Т.Д. ПРИ НАЛИЧИИ НАСЛЕДОВАНИЯ - 351
IM-ПРЕДПИСАНИЕ 13: СОЕДИНЕНИЕ И Т.Д. ПРИ НАЛИЧИИ НАСЛЕДОВАНИЯ - 354
IM-ПРЕДПИСАНИЕ 14: TREAT DOWN - 356
IM-ПРЕДПИСАНИЕ 15: ПРОВЕРКА ТИПОВ - 360
IM-ПРЕДПИСАНИЕ 16: НАСЛЕДОВАНИЕ ОПЕРАЦИЙ ТОЛЬКО ЧТЕНИЯ И ВОЗМОЖНОСТЬ ЗАМЕНЫ - 363
IM-ПРЕДПИСАНИЕ 17: СИГНАТУРЫ ОПЕРАЦИЙ - 368
IM-ПРЕДПИСАНИЕ 18: ТОЛЬКО ЧИТАЕМЫЕ ПАРАМЕТРЫ ОПЕРАЦИЙ ОБНОВЛЕНИЯ - 377
IM-ПРЕДПИСАНИЕ 19: НАСЛЕДОВАНИЕ ОПЕРАЦИЙ ОБНОВЛЕНИЯ И ВОЗМОЖНОСТЬ ЗАМЕНЫ ПЕРЕМЕННЫХ - 377
IM-ПРЕДПИСАНИЕ 20: ОБЪЕДИНЕННЫЕ, ФИКТИВНЫЕ, МАКСИМАЛЬНЫЕ И МИНИМАЛЬНЫЕ ТИПЫ - 383

ГЛАВА 15
Множественное наследование со скалярными типами - 392

ВВЕДЕНИЕ - 392
СКВОЗНОЙ ПРИМЕР - 393
ПЕРЕСМОТРЕННЫЕ IM-ПРЕДПИСАНИЯ 1-20 - 398
УНИКАЛЬНОСТЬ НАИМЕНЕЕ КОНКРЕТНЫХ ТИПОВ - 401
УНИКАЛЬНОСТЬ НАИБОЛЕЕ КОНКРЕТНЫХ ТИПОВ - 403
ПРОВЕРКА ТИПОВ ПРИ НАЛИЧИИ МНОЖЕСТВЕННОГО НАСЛЕДОВАНИЯ - 412
ЗАМЕЧАНИЯ О НАСЛЕДОВАНИИ ОПЕРАЦИЙ - 413

ГЛАВА 16
Наследование при наличии типов кортежей и отношений - 415

ВВЕДЕНИЕ - 415
IM-ПРЕДПИСАНИЕ 21: ПОДТИПЫ И СУПЕРТИПЫ КОРТЕЖЕЙ/ОТНОШЕНИЙ - 416
IM-ПРЕДПИСАНИЯ 1-20 ПО-ПРЕЖНЕМУ ПРИМЕНИМЫ - 420
IM-ПРЕДПИСАНИЕ 22: ЗНАЧЕНИЯ КОРТЕЖЕЙ/ОТНОШЕНИЙ ПРИ НАЛИЧИИ НАСЛЕДОВАНИЯ - 421
IM-ПРЕДПИСАНИЕ 23: МАКСИМАЛЬНЫЕ И МИНИМАЛЬНЫЕ ТИПЫ КОРТЕЖЕЙ/ОТНОШЕНИЙ - 424
IM-ПРЕДПИСАНИЕ 24: НАИБОЛЕЕ КОНКРЕТНЫЕ ТИПЫ КОРТЕЖЕЙ/ОТНОШЕНИЙ - 426
IM-ПРЕДПИСАНИЕ 25: ПЕРЕМЕННЫЕ КОРТЕЖЕЙ/ОТНОШЕНИЙ ПРИ НАЛИЧИИ НАСЛЕДОВАНИЯ - 433
СПЕЦИАЛИЗАЦИЯ ЧЕРЕЗ ОГРАНИЧЕНИЕ - 436
ПРИСВАИВАНИЕ КОРТЕЖЕЙ/ОТНОШЕНИЙ ПРИ НАЛИЧИИ НАСЛЕДОВАНИЯ - 436
СРАВНЕНИЕ НА РАВЕНСТВО И Т.Д. КОРТЕЖЕЙ/ОТНОШЕНИЙ ПРИ НАЛИЧИИ НАСЛЕДОВАНИЯ - 438
TREAT DOWN ДЛЯ КОРТЕЖЕЙ/ОТНОШЕНИЙ - 439
ТЕСТИРОВАНИЕ ТИПОВ КОРТЕЖЕЙ/ОТНОШЕНИЙ - 440
СВОДКА ДОПОЛНИТЕЛЬНЫХ ПРЕДПИСАНИЙ - 441

ПРИЛОЖЕНИЕ A

Версия Tutorial D на основе реляционного исчисления - 442

ВВЕДЕНИЕ - 442
БУЛЕВСКИЕ ВЫРАЖЕНИЯ - 444
ВЫЗОВЫ ВСТРОЕННЫХ РЕЛЯЦИОННЫХ ОПЕРАЦИЙ - 445
СВОБОДНЫЕ И СВЯЗАННЫЕ ССЫЛКИ НА ПЕРЕМЕННЫЕ С ОБЛАСТЬЮ ЗНАЧЕНИЙ - 445
ОПЕРАЦИИ ОБНОВЛЕНИЯ И УДАЛЕНИЯ ОТНОШЕНИЙ - 447
ПРИМЕРЫ - 447

ПРИЛОЖЕНИЕ B

Два Больших Заблуждения - 450

ВВЕДЕНИЕ - 450
ПЕРВОЕ БОЛЬШОЕ ЗАБЛУЖДЕНИЕ - 450
ВТОРОЕ БОЛЬШОЕ ЗАБЛУЖДЕНИЕ - 455

ПРИЛОЖЕНИЕ C

Дилемма проектирования? - 458

ВВЕДЕНИЕ - 458
ИНКАПСУЛЯЦИЯ - 458
ОБСУЖДЕНИЕ - 460
ДАЛЬНЕЙШИЕ РАЗМЫШЛЕНИЯ - 462

ПРИЛОЖЕНИЕ D

Типы и единицы измерения - 465

ВВЕДЕНИЕ - 465
ОПРЕДЕЛЕНИЕ ТИПА - 465
СЕЛЕКТОРЫ - 466
ОПЕРАЦИИ THE_- 468
ВЫЧИСЛИТЕЛЬНЫЕ ОПЕРАЦИИ - 469
ОПЕРАЦИИ ОТОБРАЖЕНИЯ - 472
ОГРАНИЧЕНИЯ ТИПА - 472
БОЛЕЕ СЛОЖНЫЙ ПРИМЕР - 473

ПРИЛОЖЕНИЕ E

Подтаблицы и супертаблицы - 475

ВВЕДЕНИЕ - 475
НЕКОТОРЫЕ ОБЩИЕ НАБЛЮДЕНИЯ - 478
ТЕРМИНОЛОГИЯ КРАЙНЕ ПЛОХА - 479
ЭТА ИДЕЯ НЕ ЯВЛЯЕТСЯ ИДЕЕЙ НАСЛЕДОВАНИЯ ТИПОВ - 480
ПОЧЕМУ? - 480

ПРИЛОЖЕНИЕ F

Еще об изменении семантики и родственных вопросах - 482

ВВЕДЕНИЕ - 482
АНАЛИЗ - 483
РЕШЕНИЕ - 484
ДРУГОЙ ПРИМЕР - 488

ПРИЛОЖЕНИЕ G

Специализация через ограничение и родственные вопросы - 491

ВВЕДЕНИЕ - 491
"ПРАВИЛО" ТРИ ИЗ ЧЕТЫРЕХ - 491
ЧТО В ДЕЙСТВИТЕЛЬНОСТИ ОЗНАЧАЕТ НАСЛЕДОВАНИЕ? - 498
ПРЕИМУЩЕСТВА S ЧЕРЕЗ C - 500
ЯВЛЯЕТСЯ ЛИ КРУГОМ ОКРАШЕННЫЙ КРУГ? - 504
ОБЪЕКТНЫЕ ИДЕНТИФИКАТОРЫ ПОДРЫВАЮТ НАСЛЕДОВАНИЕ - 507
ПОЧЕМУ ЭТА ПРОБЛЕМА НЕ ВОЗНИКАЕТ
ПРИ ИСПОЛЬЗОВАНИИ ВНЕШНИХ КЛЮЧЕЙ? - 511

ПРИЛОЖЕНИЕ H

Сравнение с SQL - 513

ВВЕДЕНИЕ - 513
RM-ПРЕДПИСАНИЯ - 515
RM-ЗАПРЕТЫ - 529
ОО-ПРЕДПИСАНИЯ - 530
ОО-ЗАПРЕТЫ - 531
ОЧЕНЬ СТРОГИЕ RM-СУЖДЕНИЯ - 531
ОЧЕНЬ СТРОГИЕ ОО-СУЖДЕНИЯ - 532
IM-ПРЕДПИСАНИЯ - 533
ИСТОРИЯ ЛОЖНОГО РАВЕНСТВА В SQL - 537

ПРИЛОЖЕНИЕ I

Сравнение с ODMG - 542

ВВЕДЕНИЕ - 542
ОБЗОР - 545
RM-ПРЕДПИСАНИЯ - 559
RM-ЗАПРЕТЫ - 564
ОО-ПРЕДПИСАНИЯ - 564
ОО-ЗАПРЕТЫ - 565
ОЧЕНЬ СТРОГИЕ RM-СУЖДЕНИЯ - 565
ОЧЕНЬ СТРОГИЕ ОО-СУЖДЕНИЯ - 566
IM-ПРЕДПИСАНИЯ - 567

ПРИЛОЖЕНИЕ J

Следующие 25 лет реляционной модели? - 570

ЗАМЕЧАНИЯ ПО ПОВОДУ ПОВТОРНОЙ ПУБЛИКАЦИИ - 570
ВВЕДЕНИЕ - 571
ПРЕДЫСТОРИЯ - 573
ТРЕТИЙ МАНИФЕСТ И SQL - 578
ТЕХНИЧЕСКОЕ СОДЕРЖАНИЕ - 579
ЕЩЕ ОБ SQL - 586
СМЕШАННЫЕ ВОПРОСЫ - 589

ПРИЛОЖЕНИЕ K

Ссылки и библиография - 594
Индекс - 643

Начало
Cодержание
Комментарий редактора перевода
[Заказать книгу в магазине "Колибри"]
[Заказать книгу в магазине "Мистраль"]