约束维护相关论文
数据库更新是目前演绎数据库研究的一个重要问题.该文给出了一个数据库更新的基本框架,定义了更新的三个层次:数据库更新事务、更......
给出了将更新事务原子分解为EDB更新的推导过程，并给出更新事务原子的溯因更新推导和约束维护推导．......
