SQL и реляционная теория. Как грамотно писать код на SQL [К. Дж. Дейт] (pdf) читать постранично, страница - 3

139

Глава 6. SQL и реляционная алгебра I:
оригинальные операторы........................................................... 142
Предварительные сведения....................................................... 142
Еще о замкнутости................................................................... 145
Ограничение........................................................................... 149
Проекция................................................................................ 149
Соединение............................................................................. 151
Объединение, пересечение и разность......................................... 155
Какие операторы являются примитивными?............................... 157
Пошаговое конструирование выражений..................................... 157
В чем смысл реляционных выражений?...................................... 159
Вычисление таб­личных выражений в SQL................................... 160
Трансформация выражений...................................................... 161
Зависимость от имен атрибутов.................................................. 165
Упражнения............................................................................ 167

Оглавление

9

Глава 7. SQL и реляционная алгебра II:
дополнительные операции......................................................... 171
Полусоединение и полуразность................................................. 171
Расширение............................................................................ 172
От­но­ше­ния-образы................................................................... 174
Деление.................................................................................. 177
Агрегатные операторы.............................................................. 179
Еще об от­но­ше­ниях-образах...................................................... 183
Обобщение.............................................................................. 185
Еще об обобщении.................................................................... 190
Группирование и разгруппирование........................................... 191
Запросы «что если».................................................................. 193
А как насчет ORDER BY?.......................................................... 194
Упражнения............................................................................ 195

Глава 8. SQL и ограничения целостности..................................... 200
Ограничения типа.................................................................... 201
Еще об ограничениях типа........................................................ 204
Ограничения типа в SQL............................................................ 205
Ограничения базы данных......................................................... 206
Ограничения базы данных в SQL................................................ 210
Транзакции............................................................................. 211
Почему ограничения базы данных
должны проверяться немедленно............................................... 213
Но разве можно не откладывать
проверку некоторых ограничений?............................................. 216
Ограничения и предикаты......................................................... 219
Разное.................................................................................... 221
Упражнения............................................................................ 223

Глава 9. SQL и представления...................................................... 228
Представления – это пе­ре­мен­ные-от­но­ше­ния............................... 229
Представления и предикаты...................................................... 233
Операции выборки................................................................... 234
Представления и ограничения................................................... 236
Операции обновления............................................................... 240
Зачем нужны представления?.................................................... 244
Взгляды и снимки.................................................................... 245
Упражнения............................................................................ 247

Глава 10. SQL и формальная логика............................................. 250
Простые и составные высказывания........................................... 251
Простые и составные предикаты................................................ 254

10

Оглавление

Квантификация....................................................................... 256
Реляционное исчисление........................................................... 260
Еще о квантификации.............................................................. 267
Некоторые эквиваленции.......................................................... 274
Заключительные замечания...................................................... 277
Упражнения............................................................................ 278

Глава 11. Использование формальной логики
для формулирования SQL-выражений........................................ 281
Некоторые правила трансформации............................................ 282
Пример 1. Логичес­кая импликация............................................ 284
Пример 2. Добавление квантора всеобщности............................... 285
Пример 3. Импликация и квантор всеобщности............................ 286
Пример 4. Коррелированные подзапросы.................................... 288
Пример 5. Именование подвыражений........................................ 290
Пример 6. Еще об именовании подвыражений.............................. 293
Пример 7. Устранение неоднозначности...................................... 294
Пример 8. Использование COUNT.............................................. 296
Пример 9. Запросы с соединением.............................................. 297
Пример 10. Квантор UNIQUE..................................................... 298
Пример 11. Сравнения с ALL или ANY........................................ 299
Пример 12. GROUP BY и HAVING.............................................. 303
Упражнения............................................................................ 304

Глава 12. Различные вопросы, связанные с SQL............................ 306
SELECT *................................................................................ 307
Явные таб­лицы........................................................................ 307
Квалификация имен................................................................. 307
Пе­ре­мен­ные кортежа................................................................ 308
Подзапросы............................................................................. 311
«Потенциально