计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2005年
12期
2199-2205
,共7页
主动数据库%ECA规则%规则触发-依赖图%触发图%终止性分析
主動數據庫%ECA規則%規則觸髮-依賴圖%觸髮圖%終止性分析
주동수거고%ECA규칙%규칙촉발-의뢰도%촉발도%종지성분석
主动规则集的可终止性是主动数据库规则集的三大重要特征之一.主动规则集可否保证终止将直接影响到系统的应用.由于主动规则间存在依赖关系,通过对依赖关系的分析,给出了规则的触发传递闭包、依赖传递闭包等概念.以此为基础,提出了用规则触发-依赖图(T-DG)方法来分析主动规则集的终止性.特别讨论了判定含环的触发图(TG)对应的主动规则集是否保证终止的方法,给出了相应的判定算法、算法证明及分析.
主動規則集的可終止性是主動數據庫規則集的三大重要特徵之一.主動規則集可否保證終止將直接影響到繫統的應用.由于主動規則間存在依賴關繫,通過對依賴關繫的分析,給齣瞭規則的觸髮傳遞閉包、依賴傳遞閉包等概唸.以此為基礎,提齣瞭用規則觸髮-依賴圖(T-DG)方法來分析主動規則集的終止性.特彆討論瞭判定含環的觸髮圖(TG)對應的主動規則集是否保證終止的方法,給齣瞭相應的判定算法、算法證明及分析.
주동규칙집적가종지성시주동수거고규칙집적삼대중요특정지일.주동규칙집가부보증종지장직접영향도계통적응용.유우주동규칙간존재의뢰관계,통과대의뢰관계적분석,급출료규칙적촉발전체폐포、의뢰전체폐포등개념.이차위기출,제출료용규칙촉발-의뢰도(T-DG)방법래분석주동규칙집적종지성.특별토론료판정함배적촉발도(TG)대응적주동규칙집시부보증종지적방법,급출료상응적판정산법、산법증명급분석.
