Строгая сериализуемость говорит, что поведение транзакции эквивалентно некоторому последовательному выполнению, а последовательный порядок транзакций соответствует реальному времени (т. Е. Транзакция, запущенная после завершения другой, будет заказана после этого). Обратите внимание, что строгая сериализуемость (например, линеаризуемость) по-прежнему ничего не говорит об относительном упорядочении параллельных транзакций (но, конечно, эти транзакции все еще должны казаться «изолированными» друг от друга).
Для Насколько я понимаю, Google Spanner использует термин внешняя согласованность вместо строгая сериализуемость , поскольку он подчеркивает разницу между системой, которая обеспечивает согласованность для транзакции, о которых известно, что база данных имеет причинно-следственную связь, и системы, которые не пытаются вывести причинно-следственную связь и предлагают более надежные гарантии.