首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到16条相似文献,搜索用时 125 毫秒
1.
ECA规则的模型和行为特定理论   总被引:25,自引:1,他引:24  
本文给出了ECA规则系统的一般性模型,通过扩展系统状态和改变的定义,形式化地描述了规则处理的语义,并着重研究规则系统的行为特征(可终止性和行为一致性).文中给出的形式化定义和判定方法可作为规则静态分析工具的理论基础.  相似文献   

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

3.
基于活化路径和条件公式的主动规则集可终止性判定方法   总被引:2,自引:0,他引:2  
支持主动规则机制已经成为现代数据库系统的一个重要特征.主动规则集的可终止性判定是主动数据库中一个核心问题之一,利用触发图和活化图的方法来判定可终止性都存在不同的保守性.为此,提出了为有效活化路径建立条件公式的思想,在此基础上给出了一个新的判定主动规则集可终止性的方法.分析的结果表明,提出的方法较现有方法可以发现更多的可终止性情形,最后给出了相应的算法及其可终止性、正确性证明.  相似文献   

4.
为满足用户对网络服务的个性化、定制化和主动化需求,主动规则成为解决这些问题的关键技术.研究了在网络环境下基于规则的复杂应用中,大量规则集同时触发所带来的规则终止性问题,提出的分析方法确保主动规则能够有效运行,以提供更加灵活的主动服务.讨论了以静态分析方法为主的主动规则终止性分析相关工作,随后给出问题描述和相关形式化定义.分析了基于关联图的终止性分析方法的保守性,引入触发路径和有限触发环概念,提出了基于触发路径的两种终止情形分析方法,提高了规则集终止性分析的准确性,采用两阶段分析算法保证了分析效率.与相关分析方法的实验比较说明,文中方法能够更准确高效地检测主动规则集的终止性,并适应基于主动规则的其它应用.  相似文献   

5.
主动XML系统一般采用触发器,即“事件-条件-动作”(ECA)规则来提供主动行为。本文提出了一种新的事件监测机制,在XML系统中引入‘主动节点’,即把规则也融入节点,各节点上的ECA规则只需在节点修改时被激活并进行检查,提高了动作的执行效率,增强了系统的实时性。本文结合规则实例给出了分析规则终止性的静态判定算法,引入触发图、活化图、修改后的触发图、触发环等概念,对触发图中的简单触发环进行转换,产生一个对应于触发环的循环语句,对触发环中每一个被修改的节点产生一个递归等式。展开递归等式检验它的可满足性可以用来分析规则集的可终止性。这一算法提高了可终止性判定的精确性,降低了复杂度。  相似文献   

6.
本文讨论了主动式数据库应用的优势和难点。并对数据库管理系统ORACLE7的主动式数据库技术特征作出较详尽的剖析,主要包括数据库的触发器机制以及FORM4.5的触发器机制。最后应用主动规则的分层化设计思想与ORACLE7的数据库触发器机制实现一修理与维护系统。  相似文献   

7.
文中描述了事件-条件-动作(ECA)规则的设计以支持OODBMS中的主动能力,并描述了在C++环境中的具体形式.它支持除了传统的数据库事件外的时序的、显式的、复合的事件.并引入了一组运算符来构造复合事件.还引入了事件接口的概念,这种事件接口被用作说明跨越几个对象或不同类的对象的事件,检测和通知事件的出现.提出了反应对象和可通知对象的概念,将事件和规则都统一为对象.还引入了在规则和对象间的订购机制以监视所选择的对象.  相似文献   

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

9.
计算主动数据库中不可归约规则集的有效算法   总被引:5,自引:1,他引:5  
主动数据库中规则集的可终止性判定是一个重要问题,已经成为一个研究热点.有些研究工作提出了在编译阶段运用触发图和活化图的方法解决这个问题,其中的一个关键技术就是计算主动规则集的不可归约规则集.现有的计算方法由于具有一定保守性,使得计算出的不可归约规则集仍可进一步地归约,这无疑将影响到规则集的可终止性判定的准确性和运行阶段规则分析的效率.经过深入分析活化规则可无限执行的特点,提出了活化路径等概念.基于这些概念,提出了一个计算主动规则集的不可归约规则集的有效算法,使现有方法求得的不可归约规则集得到进一步的归约.  相似文献   

10.
STREAMS机制是UNIX系统为开发通信服务而提供的一套通用、灵活的开发工具。,IP/X.25软件则是TCP/IP网络与X.25公用数据网互连以及通过X.25公用数据网实现TCP/IP网络之间的互连的重要途径。文中在介绍基于STREAMS机制的通信软件开发的一般思路后,着重叙述了IP/X.25软件的功能和结构以及基于STREAMS机制的设计与实现,并对基于STREAMS机制的通信软件开发方法作了  相似文献   

11.
ECA主动规则中的“条件”通常描述主动数据库的当前状态或状态转换,表现为一个或一组查询语句。但是经常还会遇到基于数据库一系列状态演变过程之上的查询要求,这时不能使用平常意义上的条件来表示。文章基于过去时序逻辑,提出了一种说明时序条件的语言,可以对数据库基于时间状态的演变的过程进行监控,从而增强了主动数据库中规则语言的表达能力。  相似文献   

12.
主动规则可终止性的动态分析方法   总被引:2,自引:0,他引:2  
判定主动规则集合的执行情况是相当困难的,尤其是在主动规则支持复合事件时,提出了一种利用确定型多带图灵机对主动数据库进行动态分析的模型,归结出主动规则可终止的充分必要条件,并进一步提出了利用动态分析模型进行主动规则可终止性判定的算法,该模型易于实现,能有效描述规则集合的动态特性,可以作为分析主动规则集合行为的理论基础,还可以用于对主动规则的辅助设计和验证。  相似文献   

13.
Increasingly, business applications need to capture consumers' complex preferences interactively and monitor those preferences by translating them into event-condition-action (ECA) rules and syntactically correct processing specification. An expressive event model to specify primitive and composite events that may involve timing constraints among events is critical to such applications. Relying on the work done in active databases and real-time systems, this research proposes a new composite event model based on real-time logic (RTL). The proposed event model does not require fixed event consumption policies and allows the users to represent the exact correlation of event instances in defining composite events. It also supports a wide-range of domain-specific temporal events and constraints, such as future events, time-constrained events, and relative events. This event model is validated within an electronic brokerage architecture that unbundles the required functionalities into three separable components - business rule manager, ECA rule manager, and event monitor - with well-defined interfaces. A proof-of-concept prototype was implemented in the Java programming language to demonstrate the expressiveness of the event model and the feasibility of the architecture. The performance of the composite event monitor was evaluated by varying the number of rules, event arrival rates, and type of composite events.  相似文献   

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

15.
关联图与主动规则集的终止性分析   总被引:10,自引:0,他引:10  
终止性反映了主动数据库系统良好的行为特性.目前有关主动规则集终止性分析的主要依据是触发图和活化图,其分析结果是保守的.为表达一个规则的动作可能使另一规则的条件为假的事实,引入了惰化图(deactivationgraph),并与触发图和活化图相结合,定义了更为一般的关联图(relationshipgraph).同时,给出了基于关联图的主动规则集终止性静态分析算法,提高了终止性判定的准确性.  相似文献   

16.
1.前言 传统数据库一直被动地对用户(应用程序)的要求作出反应,八十年代末期提出的主动数据库突破了这一局限,能够在没有用户干预的情况下,自动地对系统内部或外部产生的事件做出响应[5],其主动性行为的基础是规则系统的有力支持。 后期推出的关系数据库产品(如SYBASE)已经提供了规则机制,有许多基于规则的主动数据库已经或正在形成。但这些系统中提供的规则定义语言都是过程式的,要求用户对规则的条件和动作进行具体描述,规则定义成为一项很繁琐的工作,给用户充分利用规则造成困碓。特别是对于大量的完整性约束保持规则来说,其触发条件和动作都有稳定一致的规律性,应该提供一种说明性的语言使用户能够简明安全地表达约束语义,而规则的细节能由系统自动生成。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号