【摘要】 在主动数据库的理论与应用研究中,更新传播算法的应用,保证了系统在属性依赖方面的相容性。本文基于不变式方式和PATH路径公理系统,给出了一种更新传播算法,对该算法的正确性、可终止性进行了论证,并进行了时间复杂度分析。更多还原

【Abstract】 In research of active database’s theory and application, the application of update propagation maintains the consistency of database system in attribute dependency . The paper presents the update propagation algorithm according to invariants and PATH axiom system, verifies the correctness and termination of the algorithm, and analyzes the algorithm’s time complexity.更多还原