Read Atomic隔離性と並行実行の正当性の比較と検討

摘要

年々爆発的に増加しているデータを高速に処理するために，分散データベース管理システムが活発に研究·開発されている．スケーラビリティを実現するためには，直列可能性を緩和したRead Atomic 隔離性という新たな隔離性レベルが提案され，それを実現する高性能な処理方式としてRead Atomic Multi-Partitionトランザクションが提案されている．本論文では，直列可能でなくても正当であるRead Atomicスケジュールを理論的に検証し，検索または変更操作しか含まれないトランザクションからなるRead Atomicスケジュールは正当であることを示す．さらに，検索と変更操作の両方を含むトランザクションからなるRead Atomicスケジュールと正当性の比較と検討を行う．