Литералы, 157 Ловушка соединения, 43 Логика, 700; 902

высказывания, 904

дублирующиеся кортежи, 699

логическая импликация, 904

теорема, 900

трехзначная, 695 Логическая база данных, 899 Логические выражения, 695 Логическое значение

false, 693

true, 693

unknown, 693

Магазины данных, 831

Маркер настояшего момента, 887

Массовые параллельные системы, 802

Менеджер

передачи данных, 81; 768

ресурсов, 553; 787

транзакций, 79 Метаданные, 80; 104 Многозначная зависимость, 469; 472 Модели данных, 44; 56

сущность-связь , 510

RM/T, 508

дедуктивная, 58

иерархическая, 57

инвертированные списки, 57

многомерная, 58

объектная, 944

объектно-ориентированные, 58

объектно-реляционные, 58

реляционная, 44; 92; 96; 1011

сетевая, 57

функциональная, 995 Моделирование, 505

ER-модель, 522

правила целостности, 508

семантическое, 506; 507 Момент времени, 858 Моментальные снимки, 378; 787 Мутатор, 751

Наблюдатель, 751

Наследование, 726; 728; 756

Настройка систем, 76

Независимость данных, 50

Неизвестное значение, 693

Неопределенные значения, 693

Нормализация, 423; 424; 481; 489; 490; 887

(3,3)НФ, 491

1НФ, 423; 424; 431

2НФ, 424; 435

ЗНФ, 430; 431; 438

4НФ, 474

5НФ, 479

атомарная переменная-отношение, 441 декомпозиция, 425; 426; 439; 443 ДКНФ, 490 другие НФ, 490 зависимость соединения, 477 многозначная зависимость, 469; 472; 477 нормальные формы, 424 НФБК, 425; 442; 444; 472 ПСНФ, 479

функциональная зависимость, 477

Обобщающие функции, 217; 220 Обобщение, 743 Обратное восстановление, 552 Объекты, 944; 948; 949; 962; 1002

идентификатор, 953; 957

иерархия классов, 961

инкапсуляция, 950

класс, 949; 958

коллекции, 958; 965

конфигурации, 989

переменные экземпляра, 950; 951

полиморфизм, 962

указатель, 1011

экземпляры, 958 Обязательная схема контроля, 603; 611 Овеществление, 54; 358 Ограничения целостности, 49; 301; 303; 308;

309; 402; 652; 700; 705; 819; 860; 870

золотое правило, 307; 309

ограничение ключа, 490

ограничения атрибута, 305; 490

ограничения базы данных, 306; 310

ограничения отношения, 305

ограничения подмножеств, 677

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

ограничения причастности, 677

ограничения типа, 303

отношения, 3W; 313

ссылочная целостность, 316; 706 Операторы, 742; 748

COALESCE, 874

TREAT DOWN, 739

UNFOLD, 874

выбора, 725; 754

обновления, 885

обобщения для интервалов, 873

присвоения, 726; 737

проверки типа, 726; 746

равенства, 726

скалярные для интервалов, 871

сравнения, 744

чтения и обновления. 751 Операция

хронологическая проекция, 878

хронологическая разность, 880 Оптимизация, 101; 213; 639; 642; 702; 778; 781; 1014

ассоциативный закон, 649

декомпозиция запросов, 654

дерево запроса, 643

закон идемпотентности, 650

каноническая форма, 644

коммутативный закон, 649

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

отделение подзапросов. 655

план запроса, 646

подстановка кортежей, 655

правила преобразования, 645

процедуры реализации, 645

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

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

скалярные выражения, 650

формула стоимости, 646 Ортогональность

языка, 271 Отказы

носителей. 550

системы, 550 Отношения, 97; 151; 423; 1002; 1011

0-кортеж, 220

атрибут, 152

дублирующиеся кортежи, 699 заголовок, 99; 163; 195 значения, 163 золотое правило , 359 избыточность, 404; 422

Отношения

кардинальность, 152; 163 кортеж, 152 обновление, 360; 377

выборки, 367

пересечений, 366

проекции,368

разности, 367

расширений, 370

соединений, 372 свойства, 766 степень, 152; 163 тело. 99; 163

функциональная зависимость, 400

хронологическое, 855 Отображение, 67; 74; 75; 77 Отображения, 77

Параллельная обработка, 84 Параллельность, 566; 797

блокировка, 569

блокировка намерения, 580

взаимная блокировка, 575

графики, 577

метод управления, 566

упорядочиваемость, 576 Перегрузка, 876 Передача данных

соединения, 801 Переменная кортежа, 244; 247; 251

свободная, 248

связанная, 248 Переменная-отношение, 97; 769; 79; 308;

401; 403; 423; 1007; 1011

атомарная, 441

базовая, 705

виртуальная, 350

декомпозиция, 439

распределенная, 777

самоссылаюшаяся, 37 7

фрагментация, 773 Переменные экземпляра, 957 Перманентность. 40 План запроса, 646

Поддержка принятия решений, 813 Покрытие, 409 Полиморфизм, 732; 962 Полномочия, 605 Потенциальный ключ, 403; 866 Правило вывода, 907; 904

Предварительная запись, 549 Предикат, 100; 169; 244; 307; 309; 899; 903; 907

Представления, 106; 108; 350; 353; 775

обновление, 358 объединений, 363

определение, 352

параметризованные, 627

принцип взаимозаменяемости, 357

процедура подстановки, 351 Привилегии доступа, 605 Принцип подстановки, 961 Проектирование

ER-диаграмма, 514

ER-моделирование, 516

логическое, 75; 817; 818

ортогональное, 486

физическое, 75; 817; 820 Прозрачность

расположения, 773

репликации, 777 Протоколы

предварительной записи в журнал, 549 Прямое восстановление, 552

Разгруппирование, 223 Разработка данных, 844 Распределенная обработка, 83; 84 Расчетные столбцы, 824 Резервная копия, 552 Резолюция, 925 Рекурсия, 924

Реляционная алгебра. 192; 211; 222; 225;

243; 257; 261; 351; 696

логическая импликации, 256

семантика, 199

синтаксис, 197

сравнения, 744 Реляционная замкнутость, 94 Реляционная модель, 97

замкнутость, 195 Реляционная полнота, 261 Реляционное исчисление, 243; 257; 260; 302;

вычислительные возможности, 262 исчисление доменов, 263 исчисление кортежей, 245 кванторы, 249 реляционная полнота, 266 синтаксис, 245

Реляционное исчисление

условие принадлежности, 263

формула WFF, 246; 248; 249; 251; 252 Реляционные операции, 197; 252; 699; 861

внешнее соединение, 707

выборка, 202

вычитание, 200

группирование, 222

деление, 207

звездообразное соединение, 834

обобщение, 217; 218; 220

объединение, 199

переименование, 196

пересечение, 200

полувычитание, 214

полусоединение, 214

проекция, 203; 427

произведение, 201

прототип кортежа, 252

разгруппирование, 223

расширение, 215

реализация, 658

соединение, 205

сравнения, 225

транзитивное замыкание, 221 Репликация, 777; 823 РСУБД, 796

именование объектов, 783

Свойство, 512; 575; 520

многозначное, 512

однозначное, 572

производное, 572 Связь, 41; 113; 508; 510; 512; 516; 517

рекурсивная, 576

свойства, 43

участие сторон, 572 Сервер, 82; 84 Сигнатура, 749 Системный каталог. 301; 639 Системы клиент/сервер, 792; 795 Словарь данных, 80 Составные столбцы, 579 Специализация, 741; 742; 748; 757 Ссылочная диаграмма, 316 Ссылочная целостность, 318

ссылочные операции, 379 Статистические показатели, 653 Степень, 752 Страницы, 73