Write Skew

2つのtransactionがお互いのチェックをすり抜け、一貫性制約が壊れること