Isolation level of Haeinsa should be described more clearly

[ewmkkpe]

Isolation level of Haeinsa should be described more clearly. In document, isolation level of Haeinsa is described as serializability. But it can be confused with ANSI SQL SERIALIZABLE in BERE95. In this paper, ANSI SQL SERIALIZABLE is defined as consistency level which does not allow phantom read. Phantom read can be well described with predicate lock, which protect transaction from others to modify any data satisfy search condition included in the ongoing transaction.

Although Haeinsa does not allow photom in most of operations including intra row scan, it still has phantom read phenomenon in inter row scan. So isolation level of Haeinsa meets condition of conflict serializability, but not 'ANSI SQL SERIALIZABILITY'.

BERE95: Hal Berenson et al. A Critique of ANSI SQL Isolation
Levels. In Proceedings of SIGMOD, 1995.