多バージョン同時実行制御における視認性ロバストネスと競合ロバストネスの一致

多バージョン同時実行制御において、視認性ロバストネスと競合ロバストネスが一致する十分条件を示し、PostgreSQLやOracleの分離レベルがこの条件を満たすことを明らかにした。