[SQL] 순수관계연산자

관계연산자는 관계형 데이터베이스에서 관계(테이블)를 대상으로 하는 기본적인 연산을 뜻한다.

순수 관계연산자는 집합 이론과 논리 연산을 기반으로 하며, 관계형 대수(Relational Algebra)의 핵심 연산자들이다.

연산자명	기호/표현	간단 설명
선택 (Selection)	σ (시그마)	특정 조건을 만족하는 튜플(행)만 선택한다. 필터링 연산.
투사 (Projection)	π (파이)	특정 속성(열)만 선택하여 새로운 관계 생성. 열 단위 추출.
합집합 (Union)	∪	두 관계의 튜플을 합침(중복 제거). 같은 스키마(속성) 필요.
차집합 (Set Difference)	−	첫 번째 관계에서 두 번째 관계에 있는 튜플을 제거한 결과.
교집합 (Intersection)	∩	두 관계에 모두 존재하는 튜플만 포함.
카티션 곱 (Cartesian Product)	×	두 관계의 모든 튜플 조합 생성. 튜플 수는 두 관계 튜플 수 곱.
조인 (Join)	⋈ (자주 쓰임)	두 관계를 특정 조건으로 결합. 카티션 곱 + 조건 필터링 결합.
자연 조인 (Natural Join)	⋈ (특정 조건 없이)	공통 속성을 기준으로 자동으로 조인 (중복 속성 제거).

---

예시

• σ_{age > 30}(Employees)
  → Employees 테이블에서 나이가 30 이상인 튜플만 선택

• π_{name, salary}(Employees)
  → Employees 테이블에서 name, salary 열만 추출

• R ∪ S
  → R과 S 두 관계에서 중복 제거 후 모든 튜플 결합

• R − S
  → R에는 있지만 S에는 없는 튜플들

• R × S
  → R의 각 튜플과 S의 각 튜플 조합 모두

---

참고

• 관계형 대수는 데이터베이스 질의의 이론적 기반
• SQL 문법과는 달리 수학적 기호로 표현
• 이 연산들을 조합해 복잡한 쿼리를 구성