Операция переименования

СЛУЖАЩИЕ

Рис. 4.2. Результат операции СЛУЖАЩИЕ REMOVE ПРО_НОМ

Пусть s обозначает результат операции r <RENAME> (A, B). Для обеспечения возможности выполнения операции требуется, чтобы существовал некоторый тип T такой, что <A, T> Î Hr, и чтобы не существовал какой-либо тип T такой, что <B, T> Î Hr. (Другими словами. в схеме отношения r должен присутствовать атрибут A, и не должен присутствовать атрибут B.) Тогда:

· Hs = ( Hr minus { <A, T> } ) union {<B, T> }, т.е. в схеме результата B заменяет A;

· Bs = { ts : exists tr exists v ( tr Î Br and v Î T and <A, T, v> Î tr and ts = ( tr minus {<A, T, v> } ) union { <B, T, v> } ) }, т.е. в кортежах тела результата имя значений атрибута A меняется на B.

Операция <RENAME> производит отношение s, которое отличается от заданного отношения r только именем одного его атрибута, которое изменяется с A на B. Заголовок s такой же, как заголовок r за исключением того, что пара <B, T> заменяет пару <A, T>. Тело s включает все кортежи тела r, но в каждом из этих кортежей триплет <B, T, v> заменяет триплет <A, T, v>.

По причине очевидности мы не будем приводить пример использования этой операции.