嵌入式主动实时数据库系统的主动机制

作     者：刘方方 

作者单位：华中科技大学 

学位级别：硕士

导师姓名：刘云生

授予年度：2004年

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 

主      题：实时数据库 主动数据库 触发器 规则分析 

摘      要：实时数据库是其事务和数据都可以具有定时限制的或显式的定时限制的数据库系统。系统的正确性不仅依赖于逻辑结果,而且还依赖于逻辑结果产生的时间。在实时数据库系统中集成主动数据库的规则,使实时数据库具有主动特性,能够根据系统运行现场的情况进行自动切换处理,是实时主动数据库系统研究的主要内容。 以自主研制开发的嵌入式实时主动数据库管理系统ARTs-EDB为对象,深入的研究与探讨了支持嵌入式实时数据库的主动机制的设计与实现问题。首先介绍具有实时主动特性的ARTs-EDB的体系结构,ARTs-EDB中主动机制的体系结构和主动机制的执行模型,及主动机制的主要模块与ARTs-EDB中其它子系统的接口。其次在介绍主动机制的规则、实现方法和执行模式等概念的基础上详细阐述了对于主动机制中不同类型的事件的探测方法,尤其是时间事件和复合事件探测问题所进行的研究。根据按照类型建立索引的事件库,高效完成了基本事件的探测与处理,时间事件的处理是主动实时数据库定时限制实现的关键,重点给出了时间事件处理的方法,它也是时间条件评价的基础;详细讨论了复合事件的探测与处理;也系统地描述了主动规则的静态分析的相关概念并提出了改进的主动规则静态分析的算法。 重点讨论了触发器条件评价以及执行的问题。ARTs-EDB的触发器采用S-A模型。根据条件的描述,详细分析了条件评价的实现;为了提高系统的性能,利用数据库系统的嵌套事务模型,分析设计了有效的触发器执行模型,该模型不仅支持触发器的顺序执行,也支持触发器的并行执行;根据触发器的执行模型以及执行原则,实现了触发器的顺序执行和并行执行。最后从系统整体出发,对主动机制的实现特征进行讨论,重点分析了主动机制与数据操纵、并发控制、出错处理等子系统的联系。