CAP-теорема всем надоела. Расскажи про PACELC — это что и зачем? Где CAP обманывает, а PACELC — нет? Приведи примеры систем по PACELC-классификации.