トランザクション理論における polygraph と History の VSR 判定

トランザクション理論における polygraph とは何かを説明し、それを利用して History の VSR (View Serializability) 判定に利用できることを示します。