哈尔滨理工大学学报
哈爾濱理工大學學報
합이빈리공대학학보
JOURNAL OF HARBIN UNIVERSITY OF SCIENCE AND TECHNOLOGY
2005年
1期
83-87
,共5页
任超%李玮%何红红%原湘华
任超%李瑋%何紅紅%原湘華
임초%리위%하홍홍%원상화
主动数据库%ECA规则%可终止性%环路
主動數據庫%ECA規則%可終止性%環路
주동수거고%ECA규칙%가종지성%배로
主动数据库中规则集的行为很难预测,用触发图可以判断规则集是否保证终止,为了精确判定规则集的终止性必须找出触发图中的全部环路.在OO模式下对主动规则集的可终止性进行深入分析,得出了判定规则集终止性的方法,给出了计算触发图中全部环路和判定规则集是否保证终止的算法.
主動數據庫中規則集的行為很難預測,用觸髮圖可以判斷規則集是否保證終止,為瞭精確判定規則集的終止性必鬚找齣觸髮圖中的全部環路.在OO模式下對主動規則集的可終止性進行深入分析,得齣瞭判定規則集終止性的方法,給齣瞭計算觸髮圖中全部環路和判定規則集是否保證終止的算法.
주동수거고중규칙집적행위흔난예측,용촉발도가이판단규칙집시부보증종지,위료정학판정규칙집적종지성필수조출촉발도중적전부배로.재OO모식하대주동규칙집적가종지성진행심입분석,득출료판정규칙집종지성적방법,급출료계산촉발도중전부배로화판정규칙집시부보증종지적산법.
