北京理工大学学报
北京理工大學學報
북경리공대학학보
JOURNAL OF BEIJING INSTITUTE OF TECHNOLOGY
2001年
4期
485-489
,共5页
主动规则%规则终止%触发图%激活图
主動規則%規則終止%觸髮圖%激活圖
주동규칙%규칙종지%촉발도%격활도
研究主动数据库系统中规则终止特性的静态分析技术.通过对基本触发图分析方法的研究,根据主动规则的可终止性给出了将触发图和激活图相结合的一种规则终止分析方法,并将其运用于主动面向对象数据库系统AO2DB的规则终止分析中.该方法与基本触发图分析方法相比能够更准确地判定规则的可终止性.
研究主動數據庫繫統中規則終止特性的靜態分析技術.通過對基本觸髮圖分析方法的研究,根據主動規則的可終止性給齣瞭將觸髮圖和激活圖相結閤的一種規則終止分析方法,併將其運用于主動麵嚮對象數據庫繫統AO2DB的規則終止分析中.該方法與基本觸髮圖分析方法相比能夠更準確地判定規則的可終止性.
연구주동수거고계통중규칙종지특성적정태분석기술.통과대기본촉발도분석방법적연구,근거주동규칙적가종지성급출료장촉발도화격활도상결합적일충규칙종지분석방법,병장기운용우주동면향대상수거고계통AO2DB적규칙종지분석중.해방법여기본촉발도분석방법상비능구경준학지판정규칙적가종지성.
