首页> 中文会议>NDBC2009第26届中国数据库学术会议 >InforSIB事件代数的形式化框架与代数性质

InforSIB事件代数的形式化框架与代数性质

页面导航

摘要
著录项
相似文献
相关主题

摘要

复合事件处理对系统多节点处以及系统外部生成的大量的、连续到达的事件，通过规则匹配、推理等方法对事件模式进行检测，连续输出经过组合后的复合事件，以触发相应的后继处理。事件查询语言是规约事件模式的声明性语言，事件代数决定了事件查询语言的表达能力，同时也间接影响了事件检测的性能，因此，在权衡检测性能与事件查询语言的表达能力时，深入分析事件代数是非常重要的手段。基于White事件代数，扩展了事件代数的形式化框架，在形式化框架中考虑复合事件在更精细的时间关系下的语义定义，以增强事件代数的表达能力，同时考虑与应用相关的事件选择和消费策略-上下文策略，以提高事件检测的性能。讨论了InforsIB事件代数的代数性质，提出的上下文策略非常适合用于实时监控等领域，且具有良好的代数性质，保证了复合事件检测的时间和空间复杂度是有界的。

著录项

来源
《NDBC2009第26届中国数据库学术会议》|2009年|p.274-282|共9页
会议地点南昌
作者
刘家红; 朱锐; 滕猛; 吴泉源;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP311.13;
关键词
InforSIB事件代数; 事件查询语言; 形式化框架; 上下文策略; 代数性质; 数据库;

相似文献

中文文献
外文文献
专利

1. InforSIB事件代数的形式化框架与代数性质 [J] . 刘家红 ,朱锐 ,滕猛 . 计算机科学与探索 . 2010,第003期
2. InforSIB中的复合事件时间模型 [J] . 刘家红 ,吴泉源 ,甘亮 . 计算机研究与发展 . 2009,第003期
3. BR0-代数的无序表示形式及WBR0-代数性质 [J] . 吴洪博 ,王昭海 . 工程数学学报 . 2009,第003期
4. 基于进程代数的Otway-Rees协议的形式化验证 [J] . 蔡雨桐 ,王勇 ,王然然 . 计算机科学 . 2021,第0z1期
5. 基于进程代数的Yahalom协议正确性的形式化验证 [J] . 王然然 ,王勇 ,蔡雨桐 . 计算机科学 . 2021,第0z1期
6. 一种基于进程代数的协议组合形式化模型 [C] . 沈苏彬 . 第十四届中国计算机学会网络与数据通信学术会议 . 2004
7. 基于进程代数的Web服务数据和组合的形式化方法研究 [A] . 龙慧云 . 2009

InforSIB事件代数的形式化框架与代数性质

摘要

著录项

相似文献

相关主题

期刊订阅