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

 
  • 给出了将更新事务原子分解为EDB更新的推导过程;并给出更新事务原子的溯因更新推导和约束维护推导.
今日热词
目录 附录 查词历史