嵌入式主动实时数据库ARTs-EDB的S-A触发机制

目录

封面

声明

中文摘要

英文摘要

目录

1 绪论

1.1 主动实时数据库的应用特征

1.2 主动数据库对实时数据库的支持

1.3 主动数据库的发展及相关领域研究

1.4 论文研究的主要内容

2 ARTs-EDB的系统设计分析

2.1 ARTs-EDB的功能特性

2.2 ARTs-EDB的体系结构

2.3 支持实时事务的内存数据库技术

2.4 ARTs-EDB主动机制

2.5 小结

3 事件

3.1 基本概念

3.2 基本分类

3.3 事件库的组织

3.4 事件的探测与处理

3.5 小结

4 触发器

4.1 触发器的基本概念

4.2 触发器库TB的组织和维护

4.3 触发器的操作

4.4 情形条件的评价

4.5 执行模型

4.6 小结

5 ARTs-EDB主动规则的可终止性分析与实现

5.1 相关概念

5.2 基于规则缩减算法的规则终止性分析

5.3 ARTs-EDB主动规则的可终止性分析

5.4 小结

6 结束语

致谢

参考文献

附录1 攻读学位期间发表学术论文目录