假设有两个事务Ti 和Tj,两个事务修改同一行数据,事务Ti 通过进行有效性检查需要满足什么规则?
假设有两个事务Ti 和Tj,两个事务修改同一行数据,事务Ti 通过进行有效性检查需要满足下列任一规则:
• Finish(Tj)<Start(Ti),此时事务Tj 在事务Ti 开始前已经完成执行,事务Ti 能够进行有效性检查并执行。
• Finish(Ti)> Start(Tj),事务Ti 在事务Tj 开始前已经完成有效性检查,但在事务Tj 开始后才结束。此时事务Ti 的写数据集合和事务Tj 的读数据集合不能相交。
• Finish(Ti)>Validation(Tj),事务Ti 在事务Tj 完成有效性检查前已经完成有效性检查,但在事务Tj 完成有效性检查后才结束。此时事务Ti 的写数据集合和事务Tj 的写数据集合不能相交。
以上内容摘自《云原生数据库原理与实践》,这本书可以在电子工业出版社天猫店购买。
版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。