토픽

CAP 정리는 분산 시스템에서 네트워크 분할(P)이 발생하면 일관성(C)과 가용성(A) 중 하나만 보장할 수 있다는 이론이며, PACELC는 이를 확장해 분할이 없는 정상 상황(Else)에서도 지연시간(L)과 일관성(C) 사이의 트레이드오프가 존재함을 설명한다.

정규화는 함수 종속성 등 데이터 간 종속 관계를 분석하여 릴레이션을 무손실 분해함으로써 데이터 중복을 최소화하고 삽입·삭제·갱신 이상현상을 제거하는 논리 데이터 모델링 과정이다.

트랜잭션 격리 수준은 동시에 수행되는 트랜잭션들이 서로의 중간 결과를 볼 수 있는 정도를 정의한 것으로, ANSI/ISO SQL 표준은 허용되는 이상현상(Dirty Read·Non-Repeatable Read·Phantom Read)에 따라 Read Uncommitted부터 Serializable까지 4단계를 규정한다.