관계 R(A, B)와 S(B, C)를 공통 속성 B로 결합하려 한다. 기본 관계대수 연산만으로 표현할 때 먼저 카티션 프로덕트를 수행하고 B 값이 같은 튜플을 선택한 뒤 중복 속성을 투영한다. 이 전체 동작을 한 이름으로 부르는 유도 연산은?