数据库 | 数据库保护 | 视图可串行化

目录

视图可串行化

视图等价

视图可串行化

视图可串行化判定

带标记的优先图的构造


冲突可串行化

https://blog.csdn.net/stone_fall/article/details/88559909


视图可串行化

视图等价

  考虑关于某个事务集的两个调度S,S',若调度S,S'满足以下条件,则称它们是视图等价的:

对于每个数据项Q,若事务Ti在调度S中读取了Q的初始值,那么Ti在调度S'中也必须读取Q的初始值

对于每个数据项Q,若事务Ti在调度S中执行了read(Q),并且读取的值是由Tj产生的,那么Ti在调度S'中读取的Q值也必须是由Tj产生的

对于每个数据项Q,若在调度S中有事务执行了最后的write(Q),则在调度S'中该事务也必须执行最后的write(Q)

  注:条件①、②保证两个调度中的每个事务都读取相同的值,从而进行相同的计算

  条件①、②、③保证两个调度得到最终相同的系统状态

视图可串行化

如果某个调度视图等价于一个串行调度,则称该调度是视图可串行化的

冲突可串行化调度一定是视图可串行化

  存在视图可串行化但非冲突可串行化的调度

视图可串行化判定

带标记的优先图的构造

  设调度S包含了事务{T1, T2, , Tn},Tb, Tf是两个虚事务,其中TbS中所有write(Q)操作, TfS中所有read(Q)操作。在调度S的开头插入Tb在调度S的末尾插入Tf得到一个新的调度S'

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值