에듀윌 · ④ Division
셀프조디 ④
셀프조디 막내 · 핵심 한 단어 '모든'

Division(÷) — 모든 조건 만족

÷ 나누기 · DIVISION
의미 R ÷ S — R 안에서, S의 모든 튜플과 빠짐없이 연결되는 부분 튜플을 찾아라.
특징내용
All-quantifier 연산'전부(∀)'라는 논리에 대응
직관이 어려운 편σ·π·⋈과 달리 그림이 잘 안 그려짐
표준 시나리오'모든 과목을 수강한 학생' / '모든 셀럽을 팔로우한 유저'
⚠️ 암기 메커니즘 — 스탬프 카드
스탬프 10칸을 전부 채운 사람만 무료 음료. 보기에 '일부·적어도 하나·최소'면 ÷가 아니라 σ·⋈, 반드시 '모든·전부'가 있어야 ÷예요.