tolerance) — расщепление распределённой системы на несколько изолированных секций не приводит к некорректности отклика от каждой из секций.
2) Расщепление распределённой системы на несколько изолированных секций сохраняет корректность отклика хотя бы от одной секции из всех секций.
Эквивалентны друг другу с точки зрения математической логики?
А с точки зрения CAP теоремы они тоже верны оба?
https://ru.bmstu.wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_CAP_(Consistency,_Availability_%D0%B8_Partition_tolerance)
1) Нет, не эквивалентны. Первое — определение, второе — утверждение. Дажэ если не докапываться и преобразовать первое в просто утверждение о свойствах системы — они неэквивалентны. 2) CAP — не теорема, это то-ли гипотеза то-ли вообще оцэночное суждение.
Обсуждают сегодня