一个实时主动数据库的触发器机制

本文讨论了支持实时动数据库系统的触发器机制，包括触发器的概念，结构与说明及其监视执行模型。     

触发器与主动数据库

当前流行的数据库系统都是被动的,主动数据库的关键性特性具有触发器机制。本文就为什么要主动数据库、它较之被动数据库的特点或优点进行了讨论;给出了一个完整的触发器机制模型;对触发器的结构定义、触发条件与被触发活动进行了全面而详细的讨论;描述了触发条件的监视、触发器的激发与执行控制模型。这些对研制主动数据库、实时数据库是必须的、很有益处的。     

主动数据库规则集的Petri网建模

讨论了利用Petri网作为建模工具对主动数据库中ECA规则集的建模问题.建立了存储ECA规则状态的Pelri网子网结构,用此子网可构造出单奈规则的Petri网结构,再由单条规则的Petri网构造整个规则集的Petri网模型.结果表明,用Petri网建模能准确地表达主动数据库规则集的语义,并且有利于进一步分析规则集的动态行为特征.     

Oracle主动数据库机制的应用

通过Oracle提供的约束定义和触发器定义,把应用数据库设计成主动数据库系统,可以在数据库端由服务器监控数据库的状态和操作,可以自动控制数据的完整性和安全性,还可以自动生成跟踪、日志、审计等用户感兴趣的信息.     

主动数据库的模型及实现途径

介绍了主动数据库系统的模型,ＥＣＡ规则和事件模型及实现途径,并讨论了在关系模式下主动数据库系统的基本框架和事件机制的优化策略。     

主动数据库中的数据库事件监测器

传统数据库系统只能根据用户的命令被动的完成相应的动作 ,而实际应用中 ,常常希望系统能根据情况的变化主动地做出相应的处理 ,因此 ,研制具有主动机制的数据库系统越来越受到人们的关注。本文介绍一个基于ECA模型 (事件 -条件 -动作 )的通用主动数据库中数据库事件监测器的设计与实现。     

主动机制数据库技术应用研究

本文介绍了主动机制数据库的研究与开发的主要内容。为了适应计算机仿真系统对实时性和交互性的高要求,本文提出一种新的提高体系仿真实时性和交互性的方法—主动机制数据库技术。主动机制数据库动态监视后台数据库中的数据状态的变化,通过主动机制对这些数据进行管理,形成主动数据库管理系统。本文首先简单介绍了主动数据库的概念和典型的代表系统。然后从主动数据库的定义、规则的表示、规则的存储结构、规则的处理等方面详细说明了主动数据库技术的设计思想。最后以飞控数据库系统(FCS-DBS)为例,说明了主动机制数据库的应用。     

主动实时数据库系统触发器模型的设计与实现

提出了一种支持现代应用的主动实时数据库系统的触发器机制。介绍了触发器的概念、执行模型以及触发器条件及其评价,并且对于复杂条件的评价提出了一种基于状态自动机的路径选优法。     

基于组件的主动数据库模型研究

本文在论述传统主动数据库实现方法及其存在的不足之后,提出了一种基于组件的主动数据库的实现方式,并以一种已经实现的基于组件的主动数据库模型为例,给出这种主动数据库实现方式的机制及其在实际应用中的优势。     

数据库触发器实现数据库系统的主动功能

本文对数据库触发器的概念及数据库触发器的处理机制作了一个初步的探讨,并结合几个例子说明数据库触发器的发挥数据库的主动功能方面的一些实用技巧。     

策略驱动的数据交换模型

针对数据交换应用存在数据交换来源多样、交换需求多变的特点,结合策略独立于实现等特点,提出将策略应用到数据交换领域的观点,解决现有数据交换系统的不足。从应用策略最成熟的网络管理和网络安全领域出发,通过对比已有策略建模方法的优缺点和数据交换特点,确立数据交换策略模型,建立策略驱动的数据交换模型的实现框架。     

级联触发器终止性的实现

通过给出触发器的形式描述,对级联触发器的终止性进行详细探讨,并分析了大型商用数据库系统终止级联触发器的方法,提出了一种避免级联触发器无限循环的方法,即采用限制触发器循环执行次数,并结合级联触发器上限参数,可以允许某些循环级联触发器的正常执行,同时又能有效地保证级联触发器的终止性。这种方法已在GKD国产数据库系统中得到应用和实现．     

Distribution and synchronisation of engineering information using active database technology

Today, work collaboration is normal practice in developing modern products. Engineering collaborative work involves a number of team members that need to share and exchange design ideas while working with engineering analysis tools such as mechanical computer aided engineering systems. This work presents the M-Sync prototype system that uses an active database approach to enable exchange of engineering information among distributed team members in a timely manner. The distributed data is fully accessible by the local member and is automatically synchronised between different places using a database management system that support event-condition-action (ECA) database rules. Only updates introduced at one location are distributed to other locations, thereby minimizing information transfer and enhancing performance. Members working at different locations can therefore work in a peer-to-peer (P2P) manner and interactively manipulate the same set of information at the same time.     

Rule activation techniques in active database systems

Efficient activation of rules is a fundamental issue in active database systems; choosing the suitable rule activation technique is therefore an important task. We have developed a technique, called join pattern indexing, to support incremental update of rule-derived data. In this paper, we compare join pattern indexing with discrimination networks (Rete and TREAT) for data-derivation rules. A performance study based on a stochastic model indicates that join pattern indexing is more efficient than discrimination networks in many cases.     

基于主动数据库的工作流管理系统

高端工作流管理系统在应用中与数据库的频繁连接和数据交换成为其性能的瓶颈。该文提出一种新的基于主动数据库技术和ECA规则理论实现工作流管理系统的方法,探讨了基于主动数据库实现工作流管理系统的参考模型,与传统工作流参考模型的比较证明了该参考模型的合理性与可行性。     

基于主动规则的多用户交互模型

论述了多用户交互的特性,提出了一个多用户交互模型(E*Fb*Ft)nCAn。针对该模型的特点,建立起ECA规则模型,讨论了交互事件、回调事件和复合事件。分析了将(E*Fb*Ft)nCAn模型转换为主动机制系统中的事件、规则的方法。用例表明基于主动机制的(E*Fb*Ft)nCAn模型是有效的。     

含环触发图对应的主动规则集可终止性分析

主动规则集的可终止性是主动数据库规则集的三大重要特征之一.主动规则集可否保证终止将直接影响到系统的应用.由于主动规则间存在依赖关系,通过对依赖关系的分析,给出了规则的触发传递闭包、依赖传递闭包等概念.以此为基础,提出了用规则触发－依赖图(T-DG)方法来分析主动规则集的终止性.特别讨论了判定含环的触发图(TG)对应的主动规则集是否保证终止的方法,给出了相应的判定算法、算法证明及分析.     

XML中的主动规则的模型及其可终止性分析

在对XML数据模型主动机制研究的基础上,结合规则实例提出了一种新的分析规则终止性的静态判定算法。此算法基于触发环的概念,首先对触发环中每一个被修改的节点产生一个递归等式,然后通过展开递归等式并检验其可满足性,就可以分析规则集的可终止性,这样不仅可以得到更高的精确度及更小的复杂度,而且可以得到有效的判定主动规则可终止性的条件。     

Realizing active data warehouses with off‐the‐shelf database technology

Active data warehouses belong to a new category of decision support systems, which automate decision making for routine decision tasks and semi‐routine decision tasks. Just as active database systems extend conventional database systems with event–condition–action rules for integrity constraint enforcement or procedure execution, active data warehouses extend conventional data warehouses with analysis rules that mimic the work of an analyst during decision making. This paper demonstrates how analysis rules can be implemented on top of a passive relational data warehouse system by using commercially available database technology. Copyright © 2002 John Wiley & Sons, Ltd.