学位论文 > 优秀研究生学位论文题录展示

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

作　者: 贺细平
导　师: 乐晓波
学　校: 长沙理工大学
专　业: 计算机应用技术
关键词: petri网主动数据库主动规则行为特征分析
分类号: TP311.13
类　型: 硕士论文
年　份: 2004年
下　载: 138次
引　用: 1次
阅　读: 论文下载

内容摘要

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

全文目录

摘要  4-5
Abstract  5-9
第一章绪论  9-20
  1.1 引言  9-11
  1.2 主动数据库及其研究基础  11-16
    1.2.1 主动数据库产生背景  11-12
    1.2.2 主动数据库的一般模型  12-13
    1.2.3 主动数据库管理系统(ADBMS)的结构  13-14
    1.2.4 ECA规则系统  14-16
      1.2.4.1 ECA规则的知识模型  15
      1.2.4.2 ECA规则的执行模型  15-16
  1.3 Petri网的理论和应用研究已广泛、深入地开展  16-20
    1.3.1 Petri网在知识验证(知识库一致性检验)中的应用  16-17
    1.3.2 Petri网在规则表示和推理中的应用  17-18
    1.3.3 Petri网的分析技术  18-20
第二章 Petri网的基本理论  20-27
  2.1 Petri网定义  20-21
  2.2 变迁的点火规则  21
  2.3 Petri网的图形表示  21-22
  2.4 Petri网分析技术  22-26
    2.4.1 可达树的构造方法  23-24
    2.4.2 可达图的构造方法  24-26
  2.5 小结  26-27
第三章基于Petri网的主动数据库规则模型的建立  27-39
  3.1 主动数据库有关概念  27-29
  3.2 主动数据库规则集示例  29-30
  3.3 建立主动数据库的有关Petri网模型  30-37
    3.3.1 主动规则的Petri网建模  30-34
      3.3.1.1 表示规则状态的子网  31-32
      3.3.1.2 单条规则的Petri模型  32-33
      3.3.1.3 标记规则中库所和变迁  33-34
    3.3.2 规则集到Petri网模型的转换  34-35
    3.3.3 基于Petri网的规则处理过程  35-36
    3.3.4 主动规则Petri网建模示例  36-37
  3.4 小结  37-39
第四章基于Petri网的主动数据库规则行为分析  39-47
  4.1 主动数据库规则集终止性分析  39-43
    4.1.1 可达图分析方法  39-40
    4.1.2 执行图分析方法  40-43
      4.1.2.1 执行图的形式化定义  40-42
      4.1.2.2 规则执行图应用于终止性分析  42-43
  4.2 基于Petri网的主动规则一致性分析  43-45
    4.2.1 带优先级的规则集的Petri网模型  43-44
    4.2.2 主动规则一致性分析示例  44-45
  4.3 小结  45-47
第五章 Petri模型的进一步扩展  47-55
  5.1 延迟型执行模式的情形  47-48
  5.2 非自惰化与读触发的情形  48-53
    5.2.1 扩展后Petri网模型的构造算法  50-52
    5.2.2 Petri网模型扩展举例  52-53
  5.3 小结  53-55
第六章结束语  55-57
  6.1 总结  55-56
  6.2 进一步的工作  56-57
致谢  57-58
参考文献  58-63
附录A(攻读学位期间发表论文目录)  63

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

内容摘要

全文目录

相似论文