DBMS基于验证的协议

验证阶段也称为乐观并发控制技术。 在基于验证的协议中，事务在以下三个阶段中执行：

1. 读阶段 ：在此阶段，读取并执行事务T。它用于读取各种数据项的值并将它们存储在临时局部变量中。 它可以对临时变量执行所有写操作，而无需更新实际数据库。
2. 验证阶段 ：在此阶段，将根据实际数据验证临时变量值，以查看它是否违反了可串行性。
3. 写入阶段 ：如果验证了事务的验证，则将临时结果写入数据库或系统，否则将回滚事务。

这里每个阶段都有以下不同的时间戳：

开始(Ti)：它包含Ti开始执行的时间。
验证(Ti)：它包含Ti完成其读取阶段并开始其验证阶段的时间。
完成(Ti)：它包含Ti完成写入阶段的时间。

• 此协议用于使用验证阶段的时间戳确定事务序列化的时间戳，因为它是确定事务是提交还是回滚的实际阶段。
• 因此TS(T)= 验证(T)。
• 可验证性在验证过程中确定，它不能提前决定。
• 在执行事务时，它确保更大程度的并发性以及更少的冲突。
• 因此，它包含具有较少回滚次数的事务。