名前の変更（リレーショナル代数）

リレーショナル代数では、名前の変更は次のように記述される単項演算です。 ${\displaystyle \rho _{a/b}(R)}$

• Rは関係である
• aとbは属性名です
• bはRの属性である

結果はRと同じですが、すべてのタプルのb属性がaに名前変更されます。^[1]例として、Employeeリレーションに対するρの次の呼び出しと、その結果を考えてみましょう。

${\displaystyle {\text{Employee}}}$	${\displaystyle \rho _{\text{EmployeeName/Name}}({\text{Employee}})}$
名前 従業員ID ハリー 3415 サリー 2241	従業員名 従業員ID ハリー 3415 サリー 2241

正式には、名前変更演算子のセマンティクスは次のように定義されます。

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

ここで、はタプルtとして定義され、b属性の名前がaに変更されます。 ${\displaystyle t[a/b]}$

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

参考文献

1. データベースシステム入門. ピアソン・エデュケーション・インディア. 2010年. pp.  103– 105. ISBN 978-81-317-3192-5。