事务执行语义问题解析

一、问题一，不同过滤条件（预期等价），执行结果集不一致

总体原则：
update执行时获取快照，如果tuple满足过滤条件，锁释放后，如果被更新会重扫，如果没有更新就跳过

左侧测试场景：
1. 语句4拿快照，看到tup1满足条件，等锁
2. 语句5放锁
3. t2看到tup1被更新，重新扫一下更新后的tup1，c2=5，满足条件，更新成20
4. 接着往下扫，获取的快照里，tup2、3都不满足条件，不更新

右侧测试场景：
1. 语句4拿快照，看到tup1满足条件，等锁
2. 语句5放锁
3. t2看到tup1被更新，重新扫一下更新后的tup1，c2=5，不满足条件，不更新
4. 接着往下扫，获取的快照里，tup2、3都不满足条件，不更新

问题二：read uncommitted行为不符合预期

指定隔离级别复现问题，确认不符合预期，正在跟踪，read uncommitted可以先不考虑