论文部分内容阅读
演绎数据库的一个主要应用是利用主动数据库对其更新问题进行实现,其中一个重要问题是对物化视图的增量维护问题.该文讨论了演绎推理规则和主动规则之间的关系,分析了演绎数据库与主动数据库的研究背景和现状及其之间的相互联系,并将主动规则用于解决增量维护物化视图的问题.该文首先给出了使用主动规则进行增量物化视图维护的一种形式化定义及其实现方法,然后在更广义的范围内讨论了增量物化视图维护的喂种主动规则实现方法.