%0 Journal Article
%T MODEL AND BEHAVIORAL DETERMINISM THEORY FOR ECA RULES<br>ECA规则的模型和行为特定理论
%A JIANG Yueping
%A WANG Wei
%A SHI Baile
%A DONG Jirun
%A <br>姜跃平
%A 汪卫
%A 施伯乐
%A 董继润
%J 软件学报
%D 1997
%I 
%X 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.
%K Database
%K active
%K rule
%K model
%K semantics
%K behavior<br>数据库
%K 主动
%K 规则
%K 模型
%K 语义
%K 行为
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=703CAC294899C85B9156D78DA7DA54E5&yid=5370399DC954B911&vid=5D311CA918CA9A03&iid=38B194292C032A66&sid=6235172E4DDBA109&eid=E0F6F365E4766526&journal_id=1000-9825&journal_name=软件学报&referenced_num=24&reference_num=11