论文摘要
传统数据库系统是被动的,数据库状态的改变是外界或用户程序影响的结果,也就是所有的查询和数据处理操作必须通过人工操作完成。为了实现数据完整性、一致性的自动维护以及满足实时信息处理的需要,主动数据库系统通过主动规则或触发器的形式加强了传统数据库的现有功能,它具有无须人工干预就自动对数据库状态改变作出反应的能力。主动数据库系统能够自动对数据库内、外部的状态进行监控分析,并作出实时响应。在工业控制系统、工作流管理、主动数据仓库、生物信息管理等众多领域都充分利用了主动规则机制。主动规则可以相互触发,使得主动规则集的可终止性问题成为了数据库界的一个著名的难题。具有可终止性是保证主动规则集具有良好行为特性的一个重要特征,因为规则集的无限循环执行会导致系统大量资源的浪费,从而导致系统性能恶化,而对一些要求严格的控制系统,则会对系统产生致命的损伤。主动规则集的可终止性判定是一个直接影响主动数据库设计和应用的关键问题,但现有的可终止性分析方法都只能提供一个充分条件用来保证主动规则集的可终止性。如何找到一个可以发现可终止性情形的有效方法是数据库界至今仍在努力的一个研究方向。本文研究的目的是通过对主动数据库中主动规则集的可终止性理论的研究,打破主动规则集行为难以预测的瓶颈,使主动规则的语义表达更丰富、更充分。这也必然促进主动规则在当前各个应用领域中得到更充分、更可靠的应用。一、提出了一系列精确刻画规则特性的概念。具体来说,本文提出了“触发可达”和“活化可达”的概念,修正了已有文献中用“可达”概念不精确地描述不可归约规则集中规则与触发环和活化环的关系;根据触发环之间可能产生的触发关系和活化关系,将触发环细分为独立型触发环和非独立型触发环;为了表示规则可能受到的无限次的活化作用,提出了规则的活化路径和活化路径集的概念。