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.
Rule reasoning can deduce unknown information from known fact.
规则推理从已知事实推导出未知信息;
3
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.