핵심 관계

조인은 논리적으로 카테시안 곱(×) 뒤에 선택(σ)을 붙여 이해할 수 있습니다.

즉, 먼저 가능한 조합을 정의하고 그중에서 조인 조건을 만족하는 행만 남기면 INNER JOIN과 같은 결과가 됩니다.

관계 대수로 쓰면
users ⋈ orders = σ(users.user_id = orders.user_id) (users × orders)

JOIN이 만들어지는 순서

1. 입력
두 관계를 나란히 놓고 시작

users와 orders는 아직 연결되지 않은 별도 집합입니다.

예시 users: 3행
orders: 3행
2. ×
가능한 조합 전체를 논리적으로 본다

관계 대수에서는 먼저 모든 짝을 상정하므로 조합 수가 빠르게 커집니다.

카테시안 곱 3 × 3 = 9조합
3. σ
조인 조건에 맞는 행만 남긴다

users.user_id = orders.user_id를 만족하지 않는 조합은 제거합니다.

남는 조합 U1-O1
U2-O2
U3-O3
4. 결과
남은 행 집합이 INNER JOIN 결과

조인은 새로운 마법 상자가 아니라, 기존 집합 연산을 결합한 논리적 결과로 설명됩니다.

최종 결과 3행만 유지