嚴格的
在一個事務寫入的值在其提交或者中止之前沒有其他事務讀或者寫
避免級聯中止的
如果事務僅讀已提交事務修改的數據,那麼是避免級聯終止的。
串行調度(Serial schedule)
各個事務之間沒有任何操作交錯執行,事務一個一個執行。
如果一個調度的結果與某一串行調度執行的結果等價,則稱該調度是可串行化調度,否則是不可串調度。
衝突可串行化調度
如果調度中一對連續操作是衝突的,則意味着如果它們的執行順序交換,則至少i改變其中一個事務的最終執行結果。
如果兩個連續操作不衝突,則可以在調度中交換順序。
一個調度S在保證衝突操作的次序不變的情況下,通過交換兩個事務不衝突操作的次序得到另一個調度S’,如果S’是串行的,稱調度S爲衝突可串行化的調度。
目的是爲了讓一個事務可以完整的執行
https://blog.csdn.net/J080624/article/details/84946940
視圖可串行化
第一個read先讀,最後一個write最後寫,中間盲寫
串行化檢測
畫優先圖
可恢復的調度
級聯回滾