| 摘要 | 第1-5页 |
| Abstract | 第5-11页 |
| 第一章 绪论 | 第11-23页 |
| ·研究意义 | 第11-16页 |
| ·研究主动数据库的需求 | 第11-12页 |
| ·主动数据库系统 | 第12-14页 |
| ·主动数据库的研究领域 | 第14-16页 |
| ·主动数据库的发展 | 第16-19页 |
| ·研究内容 | 第19-22页 |
| ·小结 | 第22-23页 |
| 第二章 主动面向对象数据库基本概念 | 第23-33页 |
| ·研究主动面向对象数据库系统的动机 | 第23-24页 |
| ·主动OODBMS的概念 | 第24-32页 |
| ·主动对象类 | 第24-26页 |
| ·事件 | 第26-30页 |
| ·条件和动作 | 第30-31页 |
| ·ECA规则的其它特征 | 第31-32页 |
| ·小结 | 第32-33页 |
| 第三章 主动面向对象数据库规则模型 | 第33-52页 |
| ·基本原理 | 第33-35页 |
| ·局部和全局规则 | 第33-34页 |
| ·规则的表示 | 第34-35页 |
| ·事件-条件-动作(ECA)规则 | 第35-46页 |
| ·事件 | 第35-44页 |
| ·原始事件 | 第35-41页 |
| ·监视间隔 | 第41页 |
| ·复合事件 | 第41-43页 |
| ·与监视间隔相关联的事件 | 第43-44页 |
| ·条件和动作 | 第44-45页 |
| ·条件 | 第44-45页 |
| ·动作 | 第45页 |
| ·规则 | 第45-46页 |
| ·执行模型 | 第46-51页 |
| ·事件模态和事件消亡 | 第46-47页 |
| ·规则的时间范围 | 第47-48页 |
| ·规则的耦合方式 | 第48-50页 |
| ·规则的优先级 | 第50页 |
| ·规则粒度 | 第50-51页 |
| ·小结 | 第51-52页 |
| 第四章 规则语义与处理 | 第52-66页 |
| ·规则语义及对事务模型的改进 | 第52-55页 |
| ·规则选择 | 第53-54页 |
| ·动作原子性 | 第54页 |
| ·规则处理与事务 | 第54-55页 |
| ·系统执行模型 | 第55-58页 |
| ·规则处理及算法 | 第58-64页 |
| ·单一规则处理 | 第58-59页 |
| ·多规则处理 | 第59-60页 |
| ·规则处理算法 | 第60-64页 |
| ·小结 | 第64-66页 |
| 第五章 规则管理 | 第66-73页 |
| ·事件产生者 | 第66-67页 |
| ·事件 | 第67页 |
| ·规则 | 第67-68页 |
| ·规则和事件间的关联 | 第68-71页 |
| ·小结 | 第71-73页 |
| 第六章 主动规则中的时态逻辑 TL | 第73-82页 |
| ·TL的引入 | 第73页 |
| ·TL公式的语法 | 第73-74页 |
| ·TL公式的语义 | 第74-76页 |
| ·计算 TL条件的算法 | 第76-78页 |
| ·算法的优化 | 第78页 |
| ·时序聚集 | 第78-81页 |
| ·定义 | 第79-80页 |
| ·基本算法的扩展 | 第80-81页 |
| ·小结 | 第81-82页 |
| 第七章 规则行为分析理论 | 第82-98页 |
| ·简化的模型和语义 | 第82-85页 |
| ·可终止性分析 | 第85-93页 |
| ·触发图、活化图和堕化图 | 第85-87页 |
| ·主动规则的基本归约算法 | 第87-88页 |
| ·惰化图的进一步分析 | 第88-93页 |
| ·行为一致性分析 | 第93-95页 |
| ·局部行为分析 | 第95-97页 |
| ·小结 | 第97-98页 |
| 第八章 主动面向对象实验系统 SDAOODB的体系结构与实现技术 | 第98-107页 |
| ·SDAOODB的体系结构 | 第98-101页 |
| ·规则编译解释器 | 第99-100页 |
| ·规则处理器 | 第100-101页 |
| ·事件监测器 | 第101页 |
| ·事件执行器 | 第101页 |
| ·规则的表示 | 第101-102页 |
| ·事件的表示 | 第102-104页 |
| ·事件监测框架 | 第104-105页 |
| ·事件计算的优化策略 | 第105-106页 |
| ·小结 | 第106-107页 |
| 第九章 主动规则与协同信息系统 | 第107-139页 |
| ·协同信息系统 | 第107-113页 |
| ·主动数据库对于协同信息系统的适应性 | 第109-111页 |
| ·分布式人工智能DAI对于协同信息系统的适应性 | 第111-112页 |
| ·主动数据库系统与DAI相结合 | 第112-113页 |
| ·任务共享协同 | 第113-138页 |
| ·任务共享的任务分配与协议 | 第113页 |
| ·任务共享所使用的方法 | 第113-133页 |
| ·第一步对语言行动建模 | 第114-121页 |
| ·第二步提取中间表达 | 第121-131页 |
| ·第三步产生ECA规则 | 第131-133页 |
| ·系统实现范例 | 第133-138页 |
| ·小结 | 第138-139页 |
| 第十章 主动数据库与关联规则 | 第139-148页 |
| ·相关工作 | 第140-141页 |
| ·算法RP | 第141-147页 |
| ·算法RP的一些说明 | 第141-142页 |
| ·生成较少的2-候选集 | 第142-143页 |
| ·算法RP的描述 | 第143-146页 |
| ·对候选项目集的削减 | 第146-147页 |
| ·小结 | 第147-148页 |
| 第十一章 总结与展望 | 第148-151页 |
| 参考文献 | 第151-163页 |
| 作者简介 | 第163页 |
| 攻读博士期间发表或已被录用的文章 | 第163-165页 |
| 致谢 | 第165页 |