I have zero issue with FDB but some worry about mvSQLite. After reading more about the design it seem to use FDB to store Pages and using FDB transaction to ma

I have zero issue with FDB but some worry about mvSQLite. After reading more about the design it seem to use FDB to store Pages and using FDB transaction to make those update have have Strict serializable isolation. This would work correctly but it seem that mvSQLite also try to do its own MVCC logic instead of simply using FDB transactions. It is well known that implementing Serializable transaction on top of MVCC is not trivial. There was a bug in Postgresql from version 9.1 to version 12.3 making it not truly Serializable. See: https://jepsen.io/analyses/postgresql-12.3 https://jepsen.io/analyses/postgresql-12.3