收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于Petri网的主动数据库规则建模与行为分析

贺细平  
【摘要】:主动数据库系统一般可认为是由数据库和建立在数据库上的主动规则集构成。主动数据库规则的形式一般为ECA规则。但是,由于规则集中的规则可能相互作用、相互影响,从而使规则的行为十分复杂,规则设计人员必须预计他们设计的规则会给数据库状态带来什么样的不良影响。对设计出来的规则分析它们的行为特征对主动数据库系统来说是十分必要的。 规则行为的复杂性主要体现在终止性和行为一致两个方面,这通常也称为主动规则行为特征问题。对于一个规则集R,如果可以找到一种正确的方法来判定在什么情况下对规则集R的处理能保证终止或行为一致,就可以为ECA规则系统构造关于规则行为的分析工具,帮助设计人员改善他们所设计的规则,这正是本研究的意义所在。 在这个领域的研究已广泛开展,现有的算法各有不足之处,因为它们有的利用底层数据库的特定语义,或者很大程度上依赖于底层数据模型(关系型或面向对象性)等。其中,关联图分析法是一种比较通用的方法,它是基于两个关联图:触发图(TG)和激活图(AG)。这是目前应用得最多的规则分析方法,但它也有难以灵活地扩展以适应不同的规则语义的缺点,并且其分析结果也不够精细。 因为Petri网特别适合于描述规则的异步并发行为,能恰当的表达不同的规则语义,所以本文采用Petri网模型对主动数据库规则系统及其处理过程进行建模,并以此来分析规则的行为特征是可行的。 本研究用Petri网作为主动数据库建模与分析的工具,根据主动数据库规则集建模的特殊性,研究了用适当的Petri网结构建立主动规则集的Petri网模型,并以此Petri网模型为基础来研究分析规则行为的终止性和一致性。 本文首先确定了存储规则状态的子网Petri网结构,用子网构造单条规则的Petri网结构,再由单条规则构造整个规则集的Petri网模型。然后,以建立Petri网模型为基础,给出了一种基于执行图(EG)终止性分析算法,它是对可达图分析方法的改进。根据规则一致性保证策略,建立了带优先级规则的Petri网模型,并对它的一致性进行分析。最后,逐步将模型扩展到带延迟执行型、非自惰化和读触发等情形,使模型适应更多的规则语义。 本研究表明,用Petri网建模能准确地表达了主动数据库规则的语义,并且,该模型可以很方便的扩展以适应不同的规则语义的要求。通过对具体的规则集实例的分析,结果表明基于Petri网模型的主动数据库规则行为分析的方法是可行的、有效的。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 唐永中;事件运算、事件表达式与主动数据库技术研究[J];计算机工程与应用;2000年07期
2 唐永中;事件表达、运算与主动数据库技术研究[J];甘肃高师学报;2000年02期
3 蒋传来,郝忠孝;关于主动数据库的汇流性问题[J];哈尔滨理工大学学报;2004年02期
4 杨立平,刘虹霞;一种主动数据库应用实现方案[J];福建电脑;2005年09期
5 裴仁林;李德敏;张鹏;;资源受限主动数据库系统中的事件探测[J];计算机应用;2005年S1期
6 许景阳,郝忠孝;主动数据库的事件监测器和规则管理器评价[J];哈尔滨理工大学学报;2005年01期
7 朱苏兴;宋志;;主动数据库系统及其事件监测器的实现[J];福建电脑;2007年05期
8 刘居红,左万利,朱江;主动数据库中规则合流性问题的一个解决方案[J];吉林大学自然科学学报;1999年03期
9 毕利;主动数据库的模型及实现途径[J];计算机工程;2000年09期
10 毕利;基于关系型主动数据库的模型及实现途径[J];固原师专学报;2000年06期
11 江胜,卢炎生;主动数据库中的复合事件构造与探测[J];计算机与数字工程;2001年04期
12 奚峡;主动数据库系统的规则机制及应用[J];计算机时代;2003年07期
13 裴仁林,李德敏,胡水,王本西;主动数据库技术及在火灾监控系统中的应用[J];微计算机信息;2005年21期
14 杨泽雪,韩中元,魏兴,郭红微;主动数据库系统的研究[J];哈尔滨师范大学自然科学学报;2005年02期
15 殷开成;李同英;;基于主动数据库体系的仿真实时性和交互性的实现[J];陕西理工学院学报(自然科学版);2006年03期
16 朱仲忠;付月朋;;主动数据库系统规则执行机制的应用研究[J];科技咨询导报;2007年30期
17 王海龙;张鹏举;郭改枝;;主动数据库在联锁故障应急处理中的应用[J];微计算机信息;2010年06期
18 竺卫东;何志均;;一种适合于主动数据库的事务模型——基于图的事务模型及其并行机制[J];计算机应用研究;1998年05期
19 刘云生,刘方方;ERTDBMS中主动机制的设计与实现[J];计算机应用;2003年08期
20 王刚,汪贵生;主动数据库及其数据挖掘浅析[J];福建电脑;2004年03期
中国重要会议论文全文数据库 前10条
1 姜跃平;董继润;;主动数据库的应用和发展瓶颈[A];数据库研究进展97——第十四届全国数据库学术会议论文集(下)[C];1997年
2 陈宁;陈安;;面向对象主动数据库的规则管理[A];第十五届全国数据库学术会议论文集[C];1998年
3 仪新莹;边东明;;主动数据库在模型系统中的应用[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
4 徐长醒;刘云生;许贵平;;并发主动规则的触发耦合方式[A];第十八届全国数据库学术会议论文集(技术报告篇)[C];2001年
5 赵海霞;刘兴刚;;冷连轧仿真系统中主动数据库技术的应用[A];《制造业自动化与网络化制造》学术交流会论文集[C];2004年
6 张菊侠;高学东;李卫星;;企业运营分析与监视系统中的主动数据库技术[A];2001年中国管理科学学术会议论文集[C];2001年
7 何英华;冯玉才;;主动规则的语法定义和语义执行模型研究[A];第十六届全国数据库学术会议论文集[C];1999年
8 王元珍;冯小年;;主动应用的障碍及超越[A];数据库研究进展97——第十四届全国数据库学术会议论文集(下)[C];1997年
9 李想;乔颖;李欣;王宏安;;主动数据库中的实时ECA规则推理算法[A];NDBC2010第27届中国数据库学术会议论文集(B辑)[C];2010年
10 赵海霞;刘兴刚;;冷连轧仿真系统中主动数据库技术的应用[A];先进制造技术论坛暨第三届制造业自动化与信息化技术交流会论文集[C];2004年
中国博士学位论文全文数据库 前2条
1 左万利;主动数据库理论研究[D];吉林大学;2005年
2 熊中敏;关于主动数据库中主动规则集可终止性理论的研究[D];哈尔滨理工大学;2006年
中国硕士学位论文全文数据库 前10条
1 许景阳;主动数据库的事件监测器和规则管理器的设计与评价[D];哈尔滨理工大学;2005年
2 张青;主动数据库技术的研究与应用[D];中国人民解放军信息工程大学;2002年
3 田川;主动数据库在物流销售短信息系统上的应用[D];吉林大学;2005年
4 周利萍;主动数据库技术在销售—物流管理系统中的应用[D];湖南师范大学;2005年
5 王德生;主动数据库规则机制研究[D];南京航空航天大学;2005年
6 裴仁林;主动数据库中的事件探测及应用[D];东华大学;2006年
7 李艳;主动数据库技术的研究与应用[D];电子科技大学;2003年
8 邱玲;基于主动数据库的危险源监控系统设计与实现[D];电子科技大学;2010年
9 史小东;基于引用网的主动数据库事件监测及应用研究[D];西安电子科技大学;2011年
10 王俊;基于主动数据库技术人力资源管理系统的设计与实现[D];电子科技大学;2013年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978