YS
Точно смогу ответить позднее, когда буду у компьютера
Да, без проблем. И на вопросы https://t.me/pgsql/233145 — тоже. :)
Да, согласно этой формулировке в PostgreSQL тоже strict serializability. Что как бы намекает нам на "качество" и "полезность" теории в этой отрасли, IMHO (но я бы не сказал, что читал много) . :(
Т.е. даже у разных реализаций strict serializability могут быть существенно разные свойства, а в "теории" ничего про это не видно, а уж что касается более низких уровней изоляции — там вообще бардак. К примеру, ни одна MVCC database, которая реализует RC и RR примерно так, как это делает postgres, их "теоретическим" определениям не соответствует — зато ISO SQL можно прочитать так, что таки да.
И по прочтению некоторых статей "выдающихся" авторов в этой области мне лично не совсем понятно, почему именно эти люди должны давать нам определения. ;)