可串行化 衝突可串行化 判斷方法

可串行化調度 多個事務從宏觀上看是並行執行的,但其微觀上是並行執行的 可串行性:串行肯定是正確的,執行結果等價於串行調度 且 結果也正確的調度 == 可串行化調度 衝突可串行性:交換2個 沒有衝突的操作 最終變成 串行調度 滿足衝突可串行性,一定滿足 可串行性!可串行性 不一定滿足 衝突可串行性 (觀測可串行化調度 等價於 某個可串行化調度) (觀測可串行化調度 不一定是 衝突可串行化調度) 讀寫
相關文章
相關標籤/搜索