嵌套事务可序列化调度中的隐式约束

摘要

嵌套事务模型在现代数据库及分布式对外对象系统并发控制的理论研究和应用中具有重要地位.面父子事务之间的同步能力则是其中必不可少的组成部分之一,通常做法中,父事务对指定的单个子事务的同步可能触发可序列化调度的隐式约束,从而导致调度不可操作.最后给出算法以控制良构的嵌套事务中的隐式约束及保证调度的可序列化.