学位论文 > 优秀研究生学位论文题录展示

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

作　者: 刘方方
导　师: 刘云生
学　校: 华中科技大学
专　业: 计算机软件与理论
关键词: 实时数据库主动数据库触发器规则分析
分类号: TP311.13
类　型: 硕士论文
年　份: 2004年
下　载: 163次
引　用: 3次
阅　读: 论文下载

内容摘要

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

全文目录

摘要  3-4
Abstract  4-7
1 绪论  7-14
  1.1 现代数据库的发展  7-8
  1.2 主动数据库的研究现状  8-12
  1.3 主动数据库对实时数据库的支持  12-13
  1.4 主动机制的主要研究内容  13-14
2 ARTs-EDB系统分析  14-20
  2.1 ARTs-EDB的体系结构  14-16
  2.2 ARTs-EDB中主动机制的结构  16-17
  2.3 主动机制的接口  17-18
  2.4 主动机制的执行模型  18-19
  2.5 小结  19-20
3 规则中的事件  20-41
  3.1 事件的定义、操作与存储  20-24
  3.2 事件的探测与处理  24-32
  3.3 规则的静态分析  32-40
  3.4 小结  40-41
4 触发器  41-55
  4.1 触发器的定义、操作与存储  41-45
  4.2 条件评价  45-47
  4.3 触发活动的执行  47-48
  4.4 触发器的执行模型  48-54
  4.5 小结  54-55
5 主动机制的系统接口  55-59
  5.1 主动机制的实现环境  55-56
  5.2 主动机制与数据操纵的联系  56
  5.3 主动机制中事件与触发器的并发控制  56-57
  5.4 主动机制与出错处理的联系  57-58
  5.5 本章小结  58-59
6 结束语  59-61
致谢  61-62
参考文献  62-65
附录 (攻读学位期间发表学术论文目录)  65

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

内容摘要

全文目录

相似论文