이름 바꾸기(관계 대수)

이 글에는 출처가 없다 신뢰할 수 있는 출처에 인용문을 추가하여 이 기사를 개선할 수 있도록 도와주십시오. 공급되지 않은 재료는 도전하여 제거할 수 있다. 출처 찾기: "Rename" 관계 대수학 – 뉴스 · 신문 · 책 · 학자 · JSTOR (2007년 3월) (이 템플릿 메시지를 제거하는 방법과 시기 학습)

관계 대수학에서 이름 변경은 $\rho {\displaystyle {}_{}}$ ${\displaystyle a_{}}$/ ${\displaystyle b_{}}$( ${\displaystyle R}$) ${\displaystyle \rho _{a/b}(R)}($으)로 작성된 단항 연산이다. 여기서$$:

• R은 관계다.
• a와 b는 속성 이름이다.
• b는 R의 속성이다.

모든 튜플의 b 속성이 a로 이름이 바뀐 것을 제외하면 결과는 R과 동일하다. 예를 들어, 직원 관계에 대한 다음과 같은 ρ의 호출과 그 호출의 결과를 고려한다.

${\displaystyle {\text{Emperte}}$	${\displaystyle \rho _{\text{EmperteName/Name}}({\text{Emperte})}$
이름 직원 ID 해리 3415 샐리 2241	직원 이름 직원 ID 해리 3415 샐리 2241

정식으로, 개명 연산자의 의미론은 다음과 같이 정의된다.

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

여기서 $t{\displaystyle }$[ ${\displaystyle a}$/ ${\displaystyle b}$ ${\displaystyle ]}$ ${\displaystyle t[a/b]}$은(는) tuple t로 정의되며$$, b 속성의 이름은 a로 변경되어 다음과 같다.

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