主动数据库系统理论基础目录

时间：2023-06-25 14:00:01 | 来源：营销百科

时间：2023-06-25 14:00:01 来源：营销百科

主动数据库系统理论基础目录：前言

n第1章 主动数据库系统概论

n1.1 基础知识

n1.1.1 主动规则

n1.1.2 事务

n1.1.3 事务历史查询

n1.1.4 事件和事件表达式

n1.1.5 事件的消耗模式和事件的组合

n1.1.6 规则库与事件库

n1.1.7 规则的粒度和耦合模式

n1.2 几个主动数据库原型系统

n1.2.1 基于关系数据模型的主动数据库系统

n1.2.2 基于面向对象数据模型的主动数据库系统

n小结

n第2章 主动数据库管理系统的体系结构

n2.1 主动数据库管理系统的特性

n2.1.1 E-C-A规则定义特性

n2.1.2 E-C-A规则执行特性

n2.1.3 ADBMS可用性和应用特性

n2.2 主动数据库管理系统的体系结构

n2.2.1 辅助工具集成环境

n2.2.2 执行主动功能的部件

n2.2.3 数据存储部件

n2.3 主动数据库管理系统的实现途径

n小结

n第3章 主动规则的相关模型和规则说明语言

n3.1 主动规则的知识模型

n3.1.1 事件描述范畴

n3.1.2 条件描述范畴

n3.1.3 动作描述范畴

n3.2 主动规则运行模型

n3.3 主动规则管理模型

n3.3.1 规则描述方式和操作

n3.3.2 主动数据模型

n3.4 主动规则管理器和事件管理器结构

n3.4.1 主动规则管理器

n3.4.2 事件管理器

n小结

n第4章 规则说明语言

n4.1 规则说明语法

n4.1.1 词法的约定

n4.1.2 E-C-A规则语法

n4.2 规则说明

n4.2.1 时间说明和操作模式说明

n4.2.2 规则优先级说明

n4.2.3 事件说明和条件说明

n4.2.4 事件参数和系统参数说明

n4.2.5 逻辑表达式和方法调用说明

n4.2.6 动作说明

n4.3 逻辑事件说明

n4.3.1 逻辑事件的语义和逻辑条件说明

n4.3.2 逻辑事件在E-C-A规则中的语义和规范说明

n4.3.3 逻辑事件的上下文和参数中的上下文信息

n小结

n第5章 复合事件监测

n5.1 事件的复合操作

n5.2 利用事件图监测复合事件

n5.2.1 事件图

n5.2.2 事件图复合事件的监测算法

n5.3 约束环境下事件监测

n5.3.1 约束环境

n5.3.2 顺序环境下复合事件监测算法

n5.3.3 最近环境下复合事件监测算法

n5.4 约束环境下事件监测举例

n5.4.1 Sequence操作符和AND操作符

n5.4.2 OR操作符和NOT操作符

n5.4.3 非周期操作符和Plus操作符

n5.4.4 周期操作符

n5.5 复杂条件及其评价

n小结

n第6章 基于图的主动规则集终止性静态分析

n6.1 规则分析主动规则的三个特性

n6.1.1 主动规则集分析

n6.1.2 在编译阶段执行的主动规则集可终止性静态分析

n6.2 有向图环路检测算法

n6.3 规则执行图

n6.4 基于触发图和活化图的终止性分析

n6.4.1 TG的建立方法

n6.4.2 触发图的终止性分析定理

n6.4.3 基于活化图的终止性分析

n6.5 基于触发图和活化图的规则基本归约算法

n6.6 基于关联图G的终止性分析

n小结

n第7章 基于事务的规则终止性分析

n7.1 基于进化图EG的规则终止性分析

n7.1.1 主动规则与程序和事务执行语义

n7.1.2 抽象状态

n7.1.3 进化图EG和创建算法

n7.1.4 进化图EG的规则终止性分析

n7.2 利用事务进行规则终止性分析

n7.2.1 创建精确进化图REG算法

n7.2.2 检验终止性

n7.2.3 两种分析方法之间的关系

n小结

n第8章 带有规则优先级的终止性分析

n8.1 数据模型和核心规则

n8.1.1 主动数据库的语义维度

n8.1.2 数据模型和核心规则

n8.1.3 规则的执行语义

n8.2 主动/演绎的基本转换

n8.2.1 Datalog及其扩展

n8.2.2 核心规则到逻辑规则的转换

n8.2.3 转换图

n8.3 终止性分析

n8.3.1 CORE 向Datalog的转换

n8.3.2 CORE向Datalog的转换

n小结

n第9章 基于代数法的规则终止性分析

n9.1 代数传播算法

n9.1.1 代数运算符

n9.1.2 代数传播算法

n9.2 传播算法的传播规则

n9.3 E-C-A规则和C-A规则的代数语言

n9.3.1 E-C-A规则的代数语言

n9.3.2 C-A规则的代数语言

n9.4 C-A规则的活化关系分析

n小结

n第10章 基于活化路径的分析方法

n10.1 分析的基础

n10.1.1 可达概念的分析

n10.1.2 活化路径和活化路径集

n10.2 基于活化路径和同步关系的分析方法

n10.2.1 活化路径同步执行对TG环执行的影响

n10.2.2 有效活化路径

n10.2.3 算法描述及分析

n10.3 相关条件公式的建立

n10.3.1 TG环的执行序列建立条件公式

n10.3.2 基于活化路径的条件公式

n10.4 基于活化路径和条件公式的分析方法

n10.4.1 禁止活化规则的判定定理

n10.4.2 终止性判定算法描述及分析

n小结

n第11章 计算不可归约规则集的算法

n11.1 在运行阶段执行的主动规则集可终止性动态分析

n11.2 归约算法的分析

n……

n第12章 监测规则集的优化算法

n第13章 最小环的结构和监测的执行状态的化简

n第14章 主动规则集汇流性分析和可观察的确定性

n第15章 主动数据库中的依赖关系

n第16章 规则依赖和事务依赖

n第17章 规则执行

n第18章 基于嵌套事务的规则并行执行模型

n第19章 嵌套事务规则的并行控制和死锁检测

n第20章 主动数据库的完整性

n参考文献