CAP 이론과 PACELC: 분산 시스템 트레이드오프