论文部分内容阅读
本文研究了主动数据库的理论问题,具体包括:(1)对ADBMS 的产生历史、发展现状、原型系统等进行了分析,明确了尚未完全解决的理论问题;(2)研究了事件描述语言,通过引入一元时序算子,将事件代数拓展到时序空间,并根据最近发生事件消耗语义提出了标志取代Petri 网TR-Petri,用TR-Petri 网解决了复合时序事件的检测问题;(3)研究了主动规则执行终止性问题,发现了基于TG 和AG 的主动规则终止性静态分析算法的错误,并通过定义触发可达修改了原算法。进一步,引入了DG 图,并结合TG 图和AG 图定义了关联图RG,基于RG 给出了更为精确的主动规则终止性静态分析算法;(4)研究了主动规则执行语义问题,根据immediate 耦合方式的语义,提出了传递冲突和完可交换的概念,解决了多种耦合方式下主动规则正确性和合流性问题。文中给出了支持多种耦合方式的主动规则正确执行的形式化语义,证明了任何正确执行必然导致合流性执行结果;(5)根据改进和扩展的嵌套事务模型,给出了支持完整耦合方式集的主动规则合流性调度算法和并发控制算法,以及基于事务森林的高效死锁检测与恢复算法;(6)在OODB 环境上建立了一个主动数据库原型系统Petri-AOODBMS,对文中提出的核心算法进行了验证。