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

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

• R — это отношение
• a и b — атрибутов имена
• b является атрибутом R ​

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

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

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

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

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

$t[a/b]=\{\ (c,v)\ |\ (c,v)\in t,\ c\neq b\ \}\cup \{\ (a,\ t(b))\ \}.$