
88
переменной-отношения. Т.к. результат обязательно должен иметь впол-
не определенный тип отношения, поэтому, если рассматривать свойство
реляционной замкнутости более строго, каждая реляционная операция
должна быть определена таким образом, чтобы выдавать результат с
надлежащим типом отношения (в частности, с соответствующим набо-
ром имен атрибутов или заголовком).
Реляционная алгебра имеет набор правил вывода типов (отноше-
ний), позволяющих вывести тип (отношение) на выходе произвольной
реляционной операции, зная типы (отношения) на входе этой операции.
Задав такие правила для всех операций, можно гарантировать, что для
реляционного выражения любой сложности будет вычисляться резуль-
тат, имеющий вполне определенный тип (отношение) и, в частности, из-
вестный набор имен атрибутов.
Рассмотренные восемь операторов Кодда не являются минималь-
ным набором, так как не все из них примитивны, т.е. часть из них можно
определить через другие операторы. Действительно, операции соедине-
ния, пересечения и деления можно определить через остальные пять.
Эти пять операций (выборка, проекция, произведение, объединение и
разность) можно рассматривать как примитивные в том смысле, что ни
одна из них не выражается через другие. Они образуют минимальный
набор, но, тем не менее, необязательно единственно возможный. Кроме
того, остальные три операции (в особенности операция соединения) на
практике используются настолько часто, что, несмотря на то, что они не
являются примитивными, имеет смысл обеспечить их непосредственную
поддержку.
Предшествующее рассмотрение алгебры представлено в контексте
только операций выборки данных. Однако, как отмечается в классиче-
ских введениях к реляционной алгебре, ее основная цель - обеспечить
запись реляционных выражений позволяющих определять:
− области выборки, т.е. тех данных, которые должны быть дос-
тавлены в результате выполнения операции выборки;
− области обновления, т.е. данных, которые должны быть встав-
лены, изменены или удалены в результате выполнения операции обнов-
ления;
− правила поддержки целостности данных, т.е. некоторых особых
требований, которым должна удовлетворять база данных;
− производные переменные-отношения, т.е. те данные, которые
должны быть включены в представления базы данных;
− требования устойчивости, т.е. данные, которые должны быть
включены в контролируемую область для некоторых операций управле-
ния параллельным доступом к информации;
− ограничения защиты, т.е. данные, для которых осуществляется
тот или иной тип контроля доступа.