WikiDer > Переименовать (реляционная алгебра) - Википедия

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

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

• р это связь
• а и б находятся атрибут имена
• б является атрибут из р

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

${ 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 }}$

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

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