摘要
给出了将更新事务原子分解为EDB更新的推导过程,并给出更新事务原子的溯因更新推导和约束维护推导.
Gives the deduction process dividing refreshment routine atom into EDB refreshment, and abduction refreshment deduction and constraint maintenance deduction to refresh routine atom.
出处
《沈阳工程学院学报（自然科学版）》
2006年第1期83-85,共3页
Journal of Shenyang Institute of Engineering:Natural Science
关键词
溯因更新
约束维护
数据库
原子集
abduction refreshment
constraint maintenance
database
atom set
