Active rules termination is an important problem of active database.To prove termination by using triggering and activation graphs has conservativeness.

　
英 美
  • 主動(dòng)規則集的可終止性判定是主動(dòng)數據庫中一個(gè)核心問(wèn)題之一，利用觸發(fā)圖和活化圖的方法來(lái)判定可終止性都存在不同的保守性。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan