и
246 Часть II. Реляционная модель
Р RENAME ( PNAME AS PN, WEIGHT AS WT )
Это выражение является сокращением для следующего выражения.
( Р RENAME PNAME AS PN ) RENAME WEIGHT AS WT
Результат его применения может выглядеть так, как показано ниже.
Глава 7. Реляционная алгебра 247
выражения отношения {<relation exp>) говорят сами за себя; остальные форматы
описаны ниже.
<relation op inv>
::= <project> | <nonproject>
Вызов реляционного оператора <relation op inv> представляет собой либо опе-
ратор проекции, <project>, либо оператор, отличный от проекции, <nonproject>.
Примечание. Эти два случая различаются в синтаксисе просто для учета приоритета
операторов (оператору проекции удобно назначить более высокий приоритет).
<project>
::= <relation exp>
{ [ ALL BUT ] <attribute name comnalist> }
Здесь выражение <relation exp> не должно принадлежать к типу <nonproject>.
<nonproject>
::= <rename> | <union> \ <intersect> \ <minus> \
<times>
| <where> | <join> \
<divide> <rename>
: : - <relation exp> RENAME ( <renaming cowmalist> )
Здесь <relation exp> также не должно принадлежать к типу <nonproject>.
Отдельные операции переименования <renaming> выполняются в той последователь-
ности, в какой они записаны (для ознакомления с синтаксисом переименования
<renaming> просмотрите примеры, приведенные в предыдущем разделе). Если разде-
ленный запятыми список commalist содержит только один оператор <renaming>,
круглые скобки могут быть опущены.
<union>
: : = <relation ехр> UNION <relation exp>
Здесь выражения <relation exp> также не должны принадлежать к типу
<nonproject>, за исключением того случая, когда одно из них или оба относятся к
другому выражению <ип±оп>.
<intersect>
::= <relation exp> INTERSECT <relation exp>
Здесь выражения <relation exp> также не должны принадлежать к типу
<nonproject>, за исключением того случая, когда одно из них или оба относятся к
другому выражению <intersect>.
<minus>
::= <relation exp> MINUS <relation exp>
Здесь выражения <relation exp> также не должны принадлежать к типу
<nonproject>.
<times>
::= <relation exp> TIMES <relation exp>