吉林大学自然科学学报
吉林大學自然科學學報
길림대학자연과학학보
ACTA SCIENTIARUM NATURALIUM UNIVERSITATIS JILINENSIS
2000年
2期
32-36
,共5页
主动数据库%ECA规则%终止性%触发图%活化图
主動數據庫%ECA規則%終止性%觸髮圖%活化圖
주동수거고%ECA규칙%종지성%촉발도%활화도
指出基于触发图和活化图主动规则终止性分析算法的错误,提出触发可达和触发可达集,并在此基础上对原算法进行修正.
指齣基于觸髮圖和活化圖主動規則終止性分析算法的錯誤,提齣觸髮可達和觸髮可達集,併在此基礎上對原算法進行脩正.
지출기우촉발도화활화도주동규칙종지성분석산법적착오,제출촉발가체화촉발가체집,병재차기출상대원산법진행수정.