Затем понадобилось ввести очень расплывчатую теорему CAP, после немного более определённый base.
И в acid, если докопаться, не всё гладко. Системы с сериализуемыми транзакциями могут выглядеть привлекательно, но если за это приходится платить пессимистическими блокировками, однопоточностью или чем-то ещё, то приходится искать компромисс. И вот уже read commited вполне достаточно, а ведь это уже не идеальный acid