Часть IV

Управление транзакциями 543

Глава 14. Восстановление 544 14.1. Введение 544

2. Транзакции 545

3. Восстановление транзакции 547

ACID-свойства транзакций 549

4. Восстановление системы 550

5. Восстановление носителей 552

6. Двухфазная фиксация 553

7. Поддержка языка SQL 554

8. Резюме 556 Упражнения 557 Список литературы 558 Ответы к некоторым упражнениям 563

Глава 15. Параллельность 566

1. Введение 566

2. Три проблемы параллельности 567

Проблема потери результатов обновления 567

Проблема зависимости от незафиксированных результатов 567

Проблема несогласованной обработки данных 569

3. Блокировка 569

4. Устранение трех проблем параллельности 572

Проблема потери результатов обновления 572

Проблема зависимости от незафиксированных результатов 572

Проблема несогласованной обработки данных 573

5. Взаимная блокировка 575

6. Упорядочиваемость 576

7. Уровни изоляции 578

8. Блокировка намерения 580

9. Средства языка SQL 583

Уровни изоляции 583

15.10. Резюме 585 Упражнения 586 Список литературы 588 Ответы к некоторым упражнениям 596

Часть V

Дополнительные аспекты 601

Глава 16. Защита данных 602

16.1. Введение 602

Общие соображения 602

16.2. Избирательная схема управления доступом 605

Модификация запроса 609

Контрольное слежение 610

16.3. Мандатная схема управления доступом 611

Многоуровневая защита 613

4. Статистические базы данных 615

5. Шифрование данных 621

Стандарт шифрования данных 622

Шифрование на основе открытого ключа 623

16.6. Средства языка SQL 626

Представления и защита данных 626 Операторы GRANT и REVOKE ^ 628

16.7. Резюме 630 Упражнения 631 Список литературы 632 Ответы к некоторым упражнениям 635

Глава 17. Оптимизация 639

1. Введение 639

2. Пример выполнения оптимизации 641

3. Оптимизация запросов 642

Стадия 1. Преобразование запроса во внутреннюю форму 643

Стадия 2. Преобразование запроса в каноническую форму 644

Стадия 3. Выбор потенциальных низкоуровневых процедур 645 Стадия 4. Генерация различных вариантов планов вычисления запроса

и выбор плана с минимальными затратами 646

17.4. Преобразование выражений 647

Выборки и проекции 647

Распределительный закон 648

Коммутативность и ассоциативность 649

Идемпотентность 650

Вычисляемые скалярные выражения 650

Логические выражения 650

Семантические преобразования 651

Заключительные замечания 653

5. Статистические показатели базы данных 653

6. Стратегия по принципу "разделяй и властвуй" 654

7. Реализация реляционных операторов 658

Последовательный просмотр 659

Поиск по индексу 661

Поиск по хеш-таблице 662

Метод слияния 662

Хеширование 663

17.8. Резюме 663 Упражнения 665 Список литературы 668 Ответы к некоторым упражнениям 691

Глава 18. Отсутствующая информация 693

1. Введение 693

2. Обзор концепции трехзначной логики 695

Логические выражения 695

Кванторы EXISTS и FORALL 696

Вычисляемые скалярные выражения 697

LTNK — это не ипк . 698

Могут ли домены содержать величину UNK 698

Реляционные выражения 699

Операции обновления 700

Ограничения целостности 700

18.3. Некоторые следствия изложенной схемы 700

Преобразование выражений 701

Пример с базой данных отделов и сотрудников 702

Проблема интерпретации 703

Еще раз о предикатах 704

18.4. Отсутствующие значения и ключи 704

Первичные ключи 705

Внешние ключи 706

5. Внешнее соединение 707

6. Специальные значения 711

7. Поддержка неопределенных значений в языке SQL 711

Определение данных 712

Табличные выражения 712

Условные выражения 712

Скалярные выражения 713

Ключи 714

Внедренные SQL-операторы 715

18.8. Резюме 715 Упражнения 717 Список литературы 719 Ответы к некоторым упражнениям 723