登录    注册    忘记密码

期刊文章详细信息

ECA规则的模型和行为特定理论  ( EI收录)  

MODEL AND BEHAVIORAL DETERMINISM THEORY FOR ECA RULES

  

文献类型:期刊文章

作  者:姜跃平[1,2] 汪卫[1,2] 施伯乐[1,2] 董继润[1,2]

机构地区:[1]复旦大学计算机系 [2]山东大学计算机系

出  处:《软件学报》

基  金:国家自然科学基金

年  份:1997

卷  号:8

期  号:3

起止页码:190-196

语  种:中文

收录情况:AJ、BDHX、BDHX1996、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号:1997303679063)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

摘  要:本文给出了ECA规则系统的一般性模型,通过扩展系统状态和改变的定义,形式化地描述了规则处理的语义,并着重研究规则系统的行为特征(可终止性和行为一致性).

关 键 词:数据库 规则模型  行为  

分 类 号:TP311.13]

参考文献:

正在载入数据...

二级参考文献:

正在载入数据...

耦合文献:

正在载入数据...

引证文献:

正在载入数据...

二级引证文献:

正在载入数据...

同被引文献:

正在载入数据...

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
 渝公网安备 50019002500408号 违法和不良信息举报中心