ECA规则的模型和行为特定理论
MODEL AND BEHAVIORAL DETERMINISM THEORY FOR ECA RULES
作 者:姜跃平 汪卫 施伯乐 董继润
作者机构:复旦大学计算机系 山东大学计算机系
出 版 物:《软件学报》 (Journal of Software)
年 卷 期:1997年第8卷第3期
页 面:190-196页
核心收录:
学科分类:12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)]
基 金:国家自然科学基金
主 题:数据库 规则模型 行为
摘 要:本文给出了ECA规则系统的一般性模型,通过扩展系统状态和改变的定义,形式化地描述了规则处理的语义,并着重研究规则系统的行为特征(可终止性和行为一致性).
1、借阅数量:每证可借书6册,期刊2册,团体读者证可借书刊300册。
2、借阅时间:个人借期为30天,每本书可续借1次,借期为30天;团体借期为90天。
3、归还地点:3楼服务台、自助借还设备、还书箱、各分馆
4、馆际互借:读者未能在本馆获取所需文献资料,可至参考咨询阅览室服务台填写《南通市图书馆馆际互借读者申请表》,根据馆际互借协议,我馆将为读者向其他馆代借文献。馆际互借过程中所产生的费用(资料复印、邮寄费等),由读者个人承担。
5、服务电话
续借:59003605 59003606
咨询:81100100 59003600