Replay causes the Coordinator to resend the last protocol message to Database-1, which lets Database-1 deduce the transaction state -- and then apply the appropriate recovery rule.
Replay 引起协调器把最后的协议消息重发给 Database-1，这使得 Database-1 推断事务状态--然后应用合适的恢复规则。
Rule reasoning can deduce unknown information from known fact.
规则推理从已知事实推导出未知信息；
We deduce the formula of the critical thickness of ablator, and put forward the rule of how the thickness of ablator affect the velocities and the stability of flyer.
理论上从阻抗失配效应的临界密度公式，推导出了烧蚀层的临界厚度，并推广到飞片的情形，提出了烧蚀层厚度对飞片速度和稳定性的影响规律。
应用推荐