7 단원 단원별 학습
각 카드를 눌러 해당 주제의 개념 설명과 인터랙티브 자료로 이동하세요.
물리 저장장치
저장 계층 구조, HDD 접근 시간, SSD의 FTL·가비지 컬렉션·쓰기 증폭(WAF), 5분 규칙.
데이터 저장 구조
고정/가변 길이 레코드, 슬롯 페이지(Slotted Page), 파일 구성, 버퍼 매니저와 교체 정책.
인덱싱
Ordered / Clustered / Secondary 인덱스, B+-Tree 구조·검색·삽입/삭제, 해싱, LSM Tree.
질의 처리
질의 처리 단계, 비용 측정 공식(b·t_T + S·t_S), External Sort-Merge 알고리즘과 비용 분석.
트랜잭션
ACID, 스케줄, Conflict Serializability와 선행 그래프, 복구 가능성, 격리 수준과 이상 현상.
동시성 제어
Locking·2PL·교착상태·다중 단위·Phantom, Timestamp(TSO)·OCC, MVCC·Snapshot Isolation·Write Skew.
복구 시스템
장애 분류, Steal/Force 정책과 UNDO/REDO, WAL, 체크포인트, ARIES 3단계 복구.
전체 흐름
데이터는 아래에서 위로 흐릅니다: 디스크에 저장되고(12·13) → 빠르게 찾고(14) → 효율적으로 질의되고(15) → 안전하게 변경되며(17·18) → 장애에도 살아남습니다(19). 순서대로 학습하면 전체 그림이 자연스럽게 이어집니다.
로드맵 어떤 순서로 볼까?
시간이 없다면 🎯 표시된 시험 최빈출 주제부터.
| 단계 | 단원 | 이 단원에서 꼭 가져갈 것 | 핵심도 |
|---|---|---|---|
| 1 | 물리 저장장치 | 저장 계층, HDD 접근시간 계산, SSD GC와 쓰기 증폭(WAF) | 🎯 핵심 |
| 2 | 저장 구조 | Slotted Page 동작, 버퍼 매니저 Read/Write, LRU의 함정 | 🎯 핵심 |
| 3 | 인덱싱 | B+-Tree 제약·높이 공식·삽입/삭제, 해싱과 비교 | 🎯 최빈출 |
| 4 | 질의 처리 | 비용 공식, External Sort-Merge 비용 계산 | 🎯 핵심 |
| 5 | 트랜잭션 | 선행 그래프로 conflict serializability 판정, 격리 수준 표 | 🎯 최빈출 |
| 6 | 동시성 제어 | 2PL, Wait-die/Wound-wait, TSO 규칙, Write Skew | 🎯 최빈출 |
| 7 | 복구 | Steal×Force↔UNDO/REDO, WAL, ARIES 3단계 | 🎯 최빈출 |
활용법 이렇게 쓰세요
🖱️ 직접 조작
계산기에 값을 바꿔 넣고, 시뮬레이터의 버튼을 눌러 단계를 진행해 보세요. 손으로 따라가면 공식이 외워집니다.
🎯 핵심 먼저
핵심 콜아웃은 시험 출제 1순위입니다. 빨간 박스만 따라 읽어도 핵심 골격이 잡힙니다.
📘 출처 표시
보충 표시는 강의 슬라이드에는 없지만 교재(Silberschatz)로 보충한 내용임을 뜻합니다.
본 자료는 Silberschatz, Database System Concepts 기반 강의(Korea University COSE371) 슬라이드 12·13·14·15·17·18·19장의 내용을 재구성하고, 정확성을 위해 표준 교재 정의로 보강했습니다. 보강된 부분은 보충으로 명시합니다.