收藏本站
《长沙理工大学》 2004年
收藏 | 手机打开
二维码
手机客户端打开本文

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

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

【参考文献】
中国期刊全文数据库 前10条
1 黄志华;用线性表实现基于Petri网的多媒体表现同步模型的方法[J];福州大学学报(自然科学版);2000年03期
2 周洪玉,刘令普,何湃,陈德运;基于Petri网结构的专家系统推理机制初探[J];哈尔滨理工大学学报;2000年01期
3 杨波,王海洋,董继润;主动规则可终止性的动态分析方法[J];计算机研究与发展;2000年08期
4 顾冠群,罗军舟;基于高级Petri网的OSI网络协议形式描述[J];计算机工程;1993年04期
5 张鹏程,李人厚,秦明,顾新华;模糊着色Petri网及其在工作流建模中的应用[J];计算机辅助设计与图形学学报;2002年08期
6 王志坚,蔡自兴;一种新的Petri网推理方法[J];计算机工程与科学;2002年02期
7 蒋昌俊;PN机[J];计算机学报;1998年S1期
8 李志武;Petri网的局部公平性[J];计算机学报;1998年S1期
9 王培良,吴哲辉;Petri网弱公平性的判断[J];计算机学报;1994年08期
10 林琪,贺松云;逻辑推理中的Petri网应用[J];计算机应用研究;1998年06期
【共引文献】
中国期刊全文数据库 前10条
1 乐晓波,陈黎静;Petri网应用综述[J];长沙交通学院学报;2004年02期
2 赵建立,闻英友,商瑞强,王光兴;一种新型卫星网管协议的Petri网描述与验证[J];东北大学学报(自然科学版);2004年04期
3 王益群,高英杰;液压传动及控制系统故障诊断技术的新进展[J];燕山大学学报;1998年01期
4 李一凡,赵德鹏;数字港多维模型的研究[J];大连海事大学学报;2001年01期
5 罗军舟,顾冠群;协议描述和验证的基本方法[J];东南大学学报;1996年05期
6 张涛,武小悦,谭跃进;Petri网在系统可靠性分析中的应用[J];电子产品可靠性与环境试验;2003年01期
7 张志伟;邓江沙;;模糊时间Petri网应用[J];阜阳师范学院学报(自然科学版);2006年03期
8 邓莹,古天龙;基于Petri网的协议分析技术及工具[J];桂林电子工业学院学报;2002年01期
9 舒海生,李庆芬,颜声远,宋本基;FMS动态调度仿真模型的研究[J];哈尔滨工程大学学报;2005年02期
10 宋本基,郑鹏,喻宏斌,徐九南;用面向对象方法实现基于Petri网的FMS动态调度仿真[J];哈尔滨工程大学学报;1999年01期
中国重要会议论文全文数据库 前8条
1 钟日林;叶昆;;实时数据库在分布式广播电视监测调度指挥系统中的应用与设计[A];广西计算机学会2007年年会论文集[C];2007年
2 钱庆生;魏雪松;赵霁;;ERP系统中物料库存管理系统的实现与研究[A];先进制造技术论坛暨第二届制造业自动化与信息化技术交流会论文集[C];2003年
3 韩文芳;;IPTV比数字电视更适应未来[A];2007中国科协年会——通信与信息发展高层论坛论文集[C];2007年
4 王芳;谷文祥;;一种在图规划框架下处理不确定性和感知动作的新算法[A];第八届中国青年运筹信息管理学者大会论文集[C];2006年
5 李春鑫;李天伟;王孝通;黄谦;;基于决策树改进CART算法的ANFIS结构辨识技术[A];第16届中国过程控制学术年会暨第4届全国故障诊断与安全性学术会议论文集[C];2005年
6 张旭洁;夏幼明;刘冠晓;宋亚林;;基于规则方法的汉语到语义网络语言的转换研究[A];第三届学生计算语言学研讨会论文集[C];2006年
7 Long Yang-xi Wu Guo-qing Chen Guo-shun Jia Zhi-jun Ordnance Technology Institute of Ordnance Engineering College 050000;Application Research on Fault Diagnosis Adopting Expert System Based on Simulation[A];Proceedings of 6th International Symposium on Test and Measurement(Volume 9)[C];2005年
8 张旭洁;夏幼明;甘健侯;吴仕勇;;基于本体与框架的书本知识表示与获取的研究[A];中国计算技术与语言问题研究——第七届中文信息处理国际会议论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 陈莉;KDD中的几个关键问题研究[D];西安电子科技大学;2003年
2 刘平峰;基于知识网格的电子商务智能推荐理论方法研究[D];武汉理工大学;2006年
3 江金龙;UML和Petri网建模方法及其在C~4ISR系统中的应用[D];南京理工大学;2007年
4 高英杰;轧机AGC液压系统故障诊断技术的研究[D];燕山大学;2000年
5 赵志刚;基于Petri网理论的计算机网络性能分析和电子商务模型设计[D];浙江大学;2002年
6 岳建平;大坝安全监控系统可靠性研究[D];河海大学;2002年
7 李伟刚;复杂产品协同开发支撑环境的关键技术研究[D];西北工业大学;2003年
8 王晓东;基于Ontology知识库系统建模与应用研究[D];华东师范大学;2003年
9 王长陶;基于可拓控制策略的材料试验机电液比例控制系统的研究[D];浙江大学;2002年
10 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
中国硕士学位论文全文数据库 前10条
1 王鸿霞;主动数据库中嵌套事务的并行处理[D];哈尔滨理工大学;2004年
2 万和平;工作流Petri网模型建模与分析评价方法研究[D];华中科技大学;2005年
3 田智;基于有色Petri网的工作流建模及向XPDL的转换[D];内蒙古大学;2007年
4 化建宁;故障Petri网及其在机械设备剩余寿命预测中的应用[D];河北农业大学;2001年
5 高劲松;基于构件的软件复用技术研究[D];华中师范大学;2001年
6 蔡燕;分布式环境下多媒体同步通信系统的研究与设计[D];华中师范大学;2001年
7 李华军;注塑机智能控制器设计[D];浙江大学;2002年
8 苟勇;攀钢提钒炼钢厂生产管理智能决策支持系统的研究与开发[D];重庆大学;2002年
9 倪小平;支持动态联盟的工作流管理系统技术研究[D];武汉理工大学;2003年
10 刘莉莉;ERP实施工程的建模仿真方法的研究[D];南京航空航天大学;2003年
【同被引文献】
中国期刊全文数据库 前8条
1 邵志芳;刘仲英;钱省三;;整合Petri网和蚁群优化算法用于柔性制造系统调度优化研究[J];计算机应用;2006年11期
2 陈梦,王新平,宿英新;并行设计中冲突的一致性检测算法[J];北京科技大学学报;2002年04期
3 高秀峰,胡昌振,危胜军;基于Petri网的ECA规则集终止性分析[J];北京理工大学学报;2005年09期
4 杨波,王海洋,董继润;主动规则可终止性的动态分析方法[J];计算机研究与发展;2000年08期
5 丁彩红,黄文虎,姜兴渭;Petri网在基于规则系统一致性问题检查中的应用[J];机械强度;1999年03期
6 李炜,曾广周,王晓琳;一种基于时间Petri网的工作流模型[J];软件学报;2002年08期
7 周利萍,杨家红;使用Petri网检测主动数据库中的复合事件[J];微电子学与计算机;2005年03期
8 胡志刚;谌任;陈华全;;一种改进的网格资源调度算法及其有色Petri网建模和分析[J];小型微型计算机系统;2007年02期
中国重要会议论文全文数据库 前1条
1 邹婷婷;陈燕;孙国磊;;基于有色Petri网的货物配送流程建模[A];第二届中国智能交通年会论文集[C];2006年
中国硕士学位论文全文数据库 前4条
1 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
2 张欣;堆垛机智能控制系统的研究[D];机械科学研究院;2005年
3 葛敬军;基于对象的扩展有色Petri网及其在FMS物流系统建模中的应用研究[D];长沙理工大学;2005年
4 宁亮;基于有色Petri网的SPIN协议验证[D];郑州大学;2007年
【二级参考文献】
中国期刊全文数据库 前10条
1 宋军,顾冠群;多媒体通信媒体间同步技术综述[J];电信科学;1996年09期
2 蒋昌俊;矢量文法与PN机[J];中国科学A辑;1995年12期
3 岳晓丽,杨斌,郝克刚;信牌驱动式工作流计算模型[J];计算机研究与发展;2000年12期
4 沈俊,罗军舟,顾冠群;EPr/TN网可达性分析的冗余并发后继标识[J];计算机研究与发展;1998年03期
5 陈世福,潘金贵,徐殿祥;产生式知识库一致性和冗余性检查[J];计算机学报;1992年09期
6 王培良,吴哲辉;公平网的一组直接判断条件[J];计算机学报;1993年01期
7 周奕,吴时霖;基于归结反演的Petri网推理新方法[J];计算机学报;1997年03期
8 蒋昌俊;求有效极小(受控)可重复向量的一个算法[J];计算机学报;1994年08期
9 王培良,吴哲辉;Petri网弱公平性的判断[J];计算机学报;1994年08期
10 史美林,杨光信,向勇,伍尚广;WfMS:工作流管理系统[J];计算机学报;1999年03期
【相似文献】
中国期刊全文数据库 前10条
1 周利萍,杨家红;使用Petri网检测主动数据库中的复合事件[J];微电子学与计算机;2005年03期
2 印桂生,王莹,刘群,刘大昕;基于Petri网的主动数据库规则分析方法[J];哈尔滨工程大学学报;1997年01期
3 左万利;复合时序事件及其基于Petri网的检测[J];系统工程学报;2003年03期
4 陈芬;Oracle主动数据库机制的应用[J];计算机系统应用;2001年12期
5 蔡韶华;基于CORBA的分布式主动数据库模型的研究[J];燕山大学学报;2004年01期
6 高秀峰,胡昌振,危胜军;基于Petri网的ECA规则集终止性分析[J];北京理工大学学报;2005年09期
7 马亮,汪涛,吴耿锋;基于WfPN的业务流程重组[J];计算机研究与发展;2001年07期
8 黄圣国,孙同江,吕兵;运输网络的最短有向路Petri网仿真算法[J];南京航空航天大学学报;2002年02期
9 孙冬煜;教务排课系统的Petri网建模分析[J];微型电脑应用;2002年11期
10 叶许红,颜钢锋;基于Petri网的办公自动化工作流建模[J];计算机工程与应用;2003年06期
中国重要会议论文全文数据库 前10条
1 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
2 赵彩霞;高学东;乔卫义;;基于Petri网的工作流建模技术在社会保险系统中的应用[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年
3 尹章才;李霖;;基于Petri网的时空拓扑关系研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
4 徐光辉;徐志军;;C/E系统Petri网的VHDL建模与仿真[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
5 侯立文;蒋馥;;客户忠诚度提升决策研究[A];2004年中国管理科学学术会议论文集[C];2004年
6 乔非;吴启迪;沈荣芳;;基于Petri网的事务流程模型[A];管理科学与系统科学进展——全国青年管理科学与系统科学论文集(第4卷)[C];1997年
7 薛静锋;曹元大;;Petri网在入侵检测中的应用[A];第六届全国计算机应用联合学术会议论文集[C];2002年
8 胡红革;黄大贵;谢阅;;混和系统Petri网模型的行为特性及判定方法[A];2004全国测控、计量与仪器仪表学术年会论文集(下册)[C];2004年
9 胡瑜;陈光(礻禹);;GPIB高速数据传输协议的Petri网模型及分析[A];首届信息获取与处理学术会议论文集[C];2003年
10 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
中国重要报纸全文数据库 前4条
1 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
2 北京机械工业学院教授 陆 倜;企业信息化为什么会失败?(下)[N];计算机世界;2004年
3 本报记者 沈力钧;决战新媒体竞争时代[N];计算机世界;2004年
4 韩世坤 陈继勇;构建企业跨国并购智力支持体系[N];亚太经济时报;2002年
中国博士学位论文全文数据库 前10条
1 左万利;主动数据库理论研究[D];吉林大学;2005年
2 刘皓玮;行车指挥系统的Petri网建模与列车运行调整的遗传优化的研究[D];铁道部科学研究院;2000年
3 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年
4 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年
5 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
6 薛雷;基于Petri网的集成电路柔性制造系统建模、分析及调度[D];西安电子科技大学;2001年
7 周荣辅;基于先进制造技术的制造业生产流程再造研究[D];燕山大学;2007年
8 王占中;基于Petri网的多式联运流程优化研究[D];吉林大学;2007年
9 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年
10 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
中国硕士学位论文全文数据库 前10条
1 贺细平;基于Petri网的主动数据库规则建模与行为分析[D];长沙理工大学;2004年
2 戴敬周;用Petri网对语义网络歧义性和推理不确定性改进的探索[D];太原理工大学;2002年
3 熊惠明;Petri网在FMS中的若干应用研究[D];西安电子科技大学;2004年
4 张国群;软件项目开发中并行工程方法的过程建模的研究与应用[D];南京理工大学;2005年
5 秦巧妹;安阳供电公司业扩报装流程再造研究[D];华北电力大学(北京);2007年
6 潘德桥;基于UML-Petri网的舰载作战系统信息流建模与分析[D];华中科技大学;2006年
7 马柯;企业项目管理信息系统及工作流技术的研究[D];西安电子科技大学;2006年
8 胡辉;业务流程再造(BPR)理论与系统建模仿真研究[D];西安电子科技大学;2005年
9 余永佳;基于Petri网的项目管理、优化和决策技术[D];南京理工大学;2005年
10 周颖;工作流中并发流程间资源冲突的研究[D];山东大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026