含环触发图对应的主动规则集可终止性分析

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户：wqkabc0

【摘要】

：

主动规则集的可终止性是主动数据库规则集的三大重要特征之一.主动规则集可否保证终止将直接影响到系统的应用.由于主动规则间存在依赖关系,通过对依赖关系的分析,给出了规则

【作者】

：

郝忠孝任超赵龄强

【机构】

：

哈尔滨理工大学计算机与控制学院,空军装备研究院航空气象研究所4室,哈尔滨理工大学计算机与控制学院

【出处】

：

计算机研究与发展

【发表日期】

：

2005年12期

【关键词】

：

主动数据库 ECA规则规则触发-依赖图触发图终止性分析 active database ECA rule rule triggering-depend

【基金项目】

：

国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

主动规则集的可终止性是主动数据库规则集的三大重要特征之一.主动规则集可否保证终止将直接影响到系统的应用.由于主动规则间存在依赖关系,通过对依赖关系的分析,给出了规则的触发传递闭包、依赖传递闭包等概念.以此为基础,提出了用规则触发-依赖图(T-DG)方法来分析主动规则集的终止性.特别讨论了判定含环的触发图(TG)对应的主动规则集是否保证终止的方法,给出了相应的判定算法、算法证明及分析.

其他文献

均衡虚拟空间会议系统的混频时延和混频器数量的技术研究

合成虚拟空间会议系统(VST)的一个需要考虑的重要因素是混频器数量和混频时延的关系,其中混频器数量影响系统的成本,而混频时延影响系统的实时性,降低系统的混频时延和降低混

期刊

虚拟空间会议系统混频器通信时延分层技术virtual space teleconferencing system mixer timedelay

初中生英语听力自主学习的实践探索

英语课程标准强调：英语课程要从学生的学习兴趣、生活经验和认知水平出发，倡导体验、实践、参与、合作与交流的学习方式和任务型的教学途径，发展学生综合运用语言的能力。然而，现在不少小学英语课堂华丽的形式过多，有效内容过少；艺术表演过多，现实操练运用过少，背离了语言学习的本质，也违背了新课改的初衷。　　当今义务教育中对初中学生的综合素质教育愈加有更大程度的要求。初中英语听力自主学习应得到广泛的拓展，对于增

期刊

英语课程标准实践探索听力自主学习初中生运用语言学习的本质学习兴趣生活经验

良好的午睡是成长的关键——优化幼儿午睡管理的实践研究

幼儿园的一日生活中包含了上课、用餐、游戏等,而午睡是其中的一个重要环节,起着承上启下的作用。本文从营造良好午睡环境、创设丰富的睡前活动等方面进行了详细的阐述。

期刊

一日生活午睡习惯

浅议企业班组经济核算

期刊

全面预算管理班组经济核算企业管理基础工作经济责任制

“激励型课堂”建设五步曲

因此使学生的学习兴趣下降，负担加重，更压制了学生的主动性和创造性，学生的潜能得不到开发，所获取的知识不全面，整体素质无法提高，影响了学生未来的发展，影响教育方针的全面贯彻落实，影响了人才的培养。　　我们学校开展的“激励型课堂教学模式”，旨在改进课堂教学现状，使“为学生的成功学习而教”落在实处。下面我就对我校形成的“激励型课堂的教学模式”的五步曲谈谈自己的观点。　　第一步，情景激趣　　皮亚杰说：“一

期刊