관계대수의 조인 연산에서 결과가 동일한 애트리뷰트는 하나만 나타내는 연산을 무엇이라고 하는가?