Недавно я прочитал статью Д. Дж. Абади Компромиссы согласованности в современном проектировании систем распределенных баз данных , объясняющую существование компромисса между согласованностью и задержкой в системах баз данных, также известных как PACELC. Цитирую статью из Википедии о теореме PACELC :
В нем говорится, что в случае сетевого разделения (P) в распределенном
компьютерная система, нужно выбирать между доступностью (A) и
согласованность (C) (согласно теореме CAP), но в остальном (E), даже когда
система работает нормально при отсутствии разделов, нужно
выберите между задержкой (L) и постоянством (C).
В статье IEEE Computer нет никаких доказательств и не утверждается, что PACELC является теоремой. Итак, мой вопрос: является ли PACELC теоремой или гипотезой?