| 摘要: |
| 本文给出了ＥＣＡ规则系统的一般性模型，通过扩展系统状态和改变的定义，形式化地描述了规则处理的语义，并着重研究规则系统的行为特征（可终止性和行为一致性）．文中给出的形式化定义和判定方法可作为规则静态分析工具的理论基础. |
| 关键词: 数据库 主动 规则 模型 语义 行为 |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金资助. |
|
| MODEL AND BEHAVIORAL DETERMINISM THEORY FOR ECA RULES |
|
JIANG Yueping,WANG Wei,SHI Baile,DONG Jirun
|
| Abstract: |
| This paper introduces a generic model for ERS(ECA rule systems). By extending the definition of system state and transition, it formally describes the semantics of rule processing. It furtherly investigates the behavioral determinism of a given ECA rulebase, including termination and behavioral consistency. The relative definitions and decision criteria which are given in this paper can form the theoretical base of static analysis tools for an ERS. |
| Key words: Database active rule model semantics behavior |
