순수 4종 끝 · 이제 집합 4종
일반 집합 연산자 — ∪ · ∩ · − · ×
∪
합집합
UNION
R 또는 S
≤ R+S (중복 제거)
∩
교집합
INTERSECT
R 과 S 모두
≤ min(R, S)
−
차집합
DIFFERENCE
R 있고 S 없음
≤ R카디
×
카티전 곱
CARTESIAN
모든 튜플 쌍
R카디 × S카디
⚠️ 합병 가능 조건 (∪·∩·− 3종에만 적용)
① 차수(디그리) 동일 — 컬럼 수가 같아야 ② 도메인 동일 — 대응 컬럼의 타입·범위가 같아야. 안 맞으면 ∪·∩·−는 아예 적용 ❌ (함정 1순위).
포인트 — × 는 예외
카티전 곱(×)은 합병 가능 조건이 적용되지 않아요. 차수가 달라도 OK — 어차피 차수는 더해지고 카디는 곱해지니까요.