Переименовать (реляционная алгебра)

В этой статье не процитировать какие - либо источники . Пожалуйста, помогите улучшить эту статью , добавив цитаты из надежных источников . Материал, не полученный от источника, может быть оспорен и удален . Поиск источников:  «Переименовать» реляционную алгебру  -  новости  · газеты  · книги  · ученый  · JSTOR ( март 2007 г. ) ( Узнайте, как и когда удалить это сообщение-шаблон )

В реляционной алгебре , переименование является унарной операция записывается в виде , где:${\ displaystyle \ rho _ {a / b} (R)}$

• R - отношение
• a и b - имена атрибутов
• б является атрибутом из R

Результат идентичен R, за исключением того, что атрибут b во всех кортежах переименован в a . В качестве примера рассмотрим следующий вызов ρ для отношения Employee и результат этого вызова:

${\ displaystyle {\ text {Сотрудник}}}$	${\ displaystyle \ rho _ {\ text {EmployeeName / Name}} ({\ text {Employee}})}$
Имя EmployeeId Гарри 3415 Салли 2241	Имя сотрудника EmployeeId Гарри 3415 Салли 2241

Формально семантика оператора переименования определяется следующим образом:

${\ Displaystyle \ rho _ {a / b} (R) = \ {\ t [a / b]: t \ in R \ \}}$

где определяется как кортеж t с атрибутом b, переименованным в a , так что:${\ Displaystyle т [а / б]}$

${\ Displaystyle т [a / b] = \ {\ (c, v) \ | \ (c, v) \ in t, \ c \ neq b \ \} \ чашка \ {\ (a, \ t (b )) \ \}}$