[데이터베이스] SQL JOIN과 서브쿼리 완벽 해부: DB 엔진의 논리적 실행 순서 알고리즘

정보처리기사 실기 데이터베이스 SQL 문제에서 오답의 80%는 어디서 발생할까요? 바로 JOIN과 서브쿼리(Subquery)의 결합입니다. 이를 단순한 쿼리 문법 암기로 접근하면 실무나 복잡한 시험 문제에서 무조건 한계에 부딪힙니다.

오늘은 상위 1% 데이터베이스 엔지니어의 시각에서, SQL을 단순한 텍스트가 아닌 '데이터베이스 엔진의 논리적 실행 순서(Logical Execution Sequence) 모델'로 완벽하게 해체 및 구조화해 보겠습니다.

1. 문제의 본질 및 논리적 모델링 (Decomposition)

SQL 쿼리 문제의 본질은 "데이터 집합의 교차점 추출"과 "실행 우선순위에 따른 필터링"에 있습니다. 수험생과 초급 개발자들이 가장 많이 놓치는 '숨은 변수'는 바로 우리가 쿼리를 작성한 순서대로 DB 엔진이 실행하지 않는다는 점입니다.

🔍 3대 핵심 변수

• 핵심 변수 1 (실행 순서): FROM → WHERE → GROUP BY → HAVING → SELECT → ORDER BY

• 핵심 변수 2 (집합 연산): INNER JOIN (교집합), OUTER JOIN (부분 집합 보존)

• 핵심 변수 3 (계층적 쿼리): 메인 쿼리와 서브쿼리의 종속성 (Correlated vs Uncorrelated)

2. 직관적 이해: 핵심 개념 심화 분석 & 단순 해설

가장 헷갈리는 JOIN과 서브쿼리의 메커니즘을 두 가지 시각에서 해설합니다.

구분	🎓 전문가 수준 (심화 분석 - Relational Algebra)	🏫 중학생 수준 (단순 해설)
JOIN	두 릴레이션의 카티션 프로덕트(Cartesian Product) 연산 후 세타(Theta) 조건을 만족하는 튜플을 필터링하는 관계 대수 연산.	'벤 다이어그램'입니다. 두 동그라미가 겹치는 부분만 가져오면 INNER JOIN, 겹치지 않는 내 쪽 데이터까지 다 끌어안고 오면 LEFT OUTER JOIN입니다.
서브쿼리	메인 쿼리의 실행 계획(Execution Plan) 내부에 중첩된 독립적 쿼리 트리. 반환되는 차수(단일행, 다중행 등)에 따라 연산자(=, IN)가 제한됨.	'러시아 인형(마트료시카)'입니다. 괄호 안의 작은 인형(서브쿼리)을 먼저 열어서 나온 답을, 바깥쪽 큰 인형(메인)의 힌트로 사용합니다.

3. 시나리오 및 가설 검토: 관계형 데이터 조작 알고리즘

가장 복합적으로 출제되는 'JOIN + 서브쿼리' 시나리오를 논리 모델로 검증해 보겠습니다.

연산 유형	가설 (작동 원리)	결과적 의미 (대안 및 한계)
INNER JOIN	두 테이블의 ON 조건이 TRUE인 행만 매칭	양쪽 모두에 데이터가 존재해야만 결과 셋에 포함됨. 누락 데이터 발생 가능성(주의 요망).
LEFT JOIN	왼쪽 테이블 전체 + 오른쪽 테이블의 일치하는 행 매칭	기준(Left) 데이터는 100% 보존. 매칭되지 않은 오른쪽 컬럼은 NULL로 채워짐.
WHERE (단일행)	서브쿼리의 결과가 정확히 1행 1열을 반환함	연산자 =, >, < 사용 가능. 서브쿼리 결과가 2건 이상이면 런타임 에러 발생(치명적 한계).
WHERE (다중행)	서브쿼리의 결과가 2행 이상을 반환함	단일 비교 연산자 불가. 반드시 IN, ANY, ALL, EXISTS를 사용하여 집합 포함 여부를 검증해야 함.

4. 실전 디버깅 모델링 (Actionable Drill)

실제 DB 엔진의 시각에서 복합 SQL 쿼리의 실행 순서와 상태를 단계별로 추적해 보십시오.

[스키마 환경]

• EMP (사원): 사번, 이름, 부서번호, 급여

• DEPT (부서): 부서번호, 부서명

[실전 쿼리]

SELECT B.부서명, SUM(A.급여)
FROM EMP A 
INNER JOIN DEPT B ON A.부서번호 = B.부서번호
WHERE A.급여 >= (SELECT AVG(급여) FROM EMP)
GROUP BY B.부서명
HAVING SUM(A.급여) > 5000;

[논리적 처리 단계 (엔진 실행 알고리즘)]

1. 서브쿼리 평가 (SELECT AVG...): 전체 사원의 평균 급여를 먼저 계산하여 스칼라 값(예: 3000)을 메모리에 고정합니다.

2. FROM & JOIN: EMP와 DEPT 테이블을 부서번호 기준으로 교집합 매칭하여 가상 테이블을 생성합니다.

3. WHERE 필터링: 1단계에서 구한 평균 급여(3000) 이상인 사원만 가상 테이블에서 남깁니다.

4. GROUP BY 병합: 남은 데이터를 부서명을 기준으로 논리적 그룹화합니다.

5. HAVING 필터링: 그룹화된 데이터 중, 부서별 SUM(급여)가 5000을 초과하는 그룹만 최종 승인합니다.

6. SELECT 프로젝션: 최종적으로 부서명과 급여 합계 컬럼만 출력합니다.

5. 즉시 활용 가능한 핵심 체크리스트 (Action List)

실무에서 쿼리를 작성하거나 시험에서 디버깅할 때 다음 체크리스트를 활용하세요.

검토 항목	제약 조건	확인 사항 (Action)
실행 순서	WHERE vs HAVING	개별 데이터를 거르는 것인가(WHERE), 그룹의 집계를 거르는 것인가(HAVING)?
JOIN 방향	OUTER JOIN 기준	LEFT 연산 시, 왼쪽에 명시된 테이블의 데이터가 무조건 유지되고 있는가?
서브쿼리 연산자	반환 차수 매칭	서브쿼리가 반환하는 값의 개수가 여러 개인데 = 연산자를 쓰지 않았는가?
그룹핑 컬럼	SELECT 리스트 제한	GROUP BY에 없는 일반 컬럼이 SELECT 절에 단독으로 쓰이지 않았는가?

6. 결론 및 관련 참고 문서 가이드

엔진의 논리 회로(FROM → WHERE → GROUP BY → SELECT)를 완벽히 이해하셨다면, 어떠한 복잡한 JOIN과 서브쿼리도 해체할 수 있습니다.

🔗 공식 참고 문서 가이드:

• Microsoft Learn (T-SQL JOIN 및 서브쿼리): SQL Server 조인(Join)

• Microsoft Learn (Azure SQL 관계형 데이터 쿼리): Transact-SQL을 사용하여 데이터 쿼리