"모든"이면 HAVING COUNT — σ는 SELECT 아님, WHERE

관계대수 4연산 ↔ SQL 매핑

연산	SQL 변신
σ Select	WHERE (행 필터)
π Project	SELECT DISTINCT (열 추출)
⋈ Join	INNER JOIN ON (결합)
÷ Division	GROUP BY HAVING COUNT(*) = 전체수

SELECT DISTINCT s.이름                  -- π
FROM   student s
  INNER JOIN enrollment e
       ON s.학번 = e.학번              -- ⋈
WHERE  s.학과 = '컴퓨터'                -- σ
GROUP BY s.학번, s.이름
HAVING COUNT(DISTINCT e.과목코드)
     = (SELECT COUNT(*) FROM course);  -- ÷

⚠️ 결정 함정

σ ↔ SELECT 절 ❌ → σ ↔ WHERE (단어가 같아도 σ는 행 필터). π ↔ SELECT DISTINCT · ÷ ↔ HAVING COUNT(*) ("모든"이면 ÷).