Gives the deduction process dividing refreshment routine atom into EDB refreshment, and abduction refreshment deduction and constraint maintenance deduction to refresh routine atom.

• 给出了将更新事务原子分解为EDB更新的推导过程；并给出更新事务原子的溯因更新推导和约束维护推导.