节点文献

主动数据库中的主动规则和执行模型的研究

The Research on Active Rule and Execute Model in Active Database

【作者】 潘劼

【导师】 宗平;

【作者基本信息】 河海大学 , 计算机应用技术, 2004, 硕士

【摘要】 本文基于主动数据库技术的基本思想并结合面向对象的思想对主动数据库的知识模型和执行模型进行了研究及设计。重点研究了主动规则和执行模型。 在主动规则中,本文在对主动规则分析的基础上针对其中的事件检测论述了一个基于染色Petri网的复合事件检测的方法。描述了用于检测复合事件的Petri网的定义Petri-DS,其中用点模拟事件,变迁模拟对组成复合事件的成员事件的各种限制,不同的复合事件对应的守卫表达式不同。本文还给出了该方法的实现。 在执行模型中,本文在对传统执行模型的研究的基础上分析了常见的并发控制协议:两段锁协议、多版本协议和多版本两段锁协议。并对传统的多版本两段锁MV2PL协议进行了优化,提出了一种更适合主动数据库的事务执行方法。文中分别对只读事务和更新事务进行了优化。在对只读事务的优化中,降低了查询要求的一致性,使只读事务可以读到更新的数据版本。在对更新事务的优化中,将更新事务细分为普通事务和主动事务。对主动事务的读操作加入了检测是否存在未提交数据版本的函数。通过优化,查询操作可以读到比原来MV2PL协议下更新的数据版本。

【Abstract】 This paper studied and designed the Knowledge Model and the Excute Model based on the Active Database, combined with the Artificial Intelligence and Object Orient, especially on the Active Rule and the Excute Model.In the aspect of Active Rule ,this paper described a measure of composite event detection based on Colored Petri-net on analysis of the Active Rule. The paper described the definition of the Petri-DS. The place simulated the event and the transition simulated the limitation put on the primitive events to make up of the composite event. Different composite events have different guard expression. Then the paper discussed the implementation of this measure.In the aspect of Excute Model, this paper analyzed usual concurrency control protocol: Two-Phase Locking, Multiversion Concurrency Control and Multiversion Two-phase Locking Protocol, optimized conventional MV2PL protocol ,and provided a transaciton model of Active Database. The model optimized the read-only transaction and the update transaction separately. In the optimization of read-only transaction, we decreased the data consistency, thus the read-only transaction could read newer data versions. In the optimization of update transaction,we added a function to the read operation of active transaction to check whether there existed an uncommited data version. After optimization , read operation could get newer data version than MV2PL.

【关键词】 ECA规则Petri网执行模型MV2PL
【Key words】 ECA rulePetri-netExcution ModelMV2PL
  • 【网络出版投稿人】 河海大学
  • 【网络出版年期】2004年 03期
  • 【分类号】TP311.13
  • 【被引频次】5
  • 【下载频次】147
节点文献中: