视图增量计算的延迟部分补偿算法

为解决异步传播算法中视图增量计算时间过长、占用系统资源过多及某些错误补偿问题，提出了在数据源上进行延迟部分补偿的算法。该算法要求获取数据源的基表增量时记下增量的事务时间，在实化视图层记录已用于视图增量计算的基表增量的最大事务提交时间。当计算实化视图新的增量时，比较同一个数据源在实化视图层上的记录时间与增量子查询的执行时间，如果这段时间基表产生新的增量，则进行补偿查询。补偿过程采用单个数据源上的时间进行比较，避免了全局时间问题,也解决了现有部分补偿算法可能产生的错误。该算法利用基表之间的主外码约束来减少计算次数，提高计算效率。分析和实验表明，该算法在计算效率和正确性方面都有所提高。