论文部分内容阅读
ＥＣＡ规则系统已经成为主动数据库提供主动服务的通用机制．规则集合的可终止性是规则行为分析的一个重要问题．文中给出了ＥＣＡ规则系统的形式化描述，并着重讨论了复合事件机制对可终止性问题的影响．文中结合规则实例给出了分析规则终止性的静态判定算法，这一算法可作为主动规则分析工具的理论基础．
支持复合事件的主动规则的可终止性分析
【摘 要】
：
ＥＣＡ规则系统已经成为主动数据库提供主动服务的通用机制．规则集合的可终止性是规则行为分析的一个重要问题．文中给出了ＥＣＡ规则系统的形式化描述，并着重讨论了复合事件机制对可终止性问
【机 构】
：
山东大学计算机科学系
【出 处】
：
计算机研究与发展
【发表日期】
：
1998年5期
【基金项目】
：
国家自然科学基金
其他文献
1990年1月3日—6日,香港大学亚洲研究中心和香港美国研究会在香港大学联合举办了“1900年以来的中美关系”国际学术讨论会。我校历史系教师张含英应邀与会,他为会议提交的论
文中通过相对简化的分析模型，对几种主要的数据库恢复算法进行性能分析。为此，引入了一些主要的参数。作为这种分析模型的应用实例，文末就一种典型情况对各种数据库恢复策略进行
很快,一个中年女人走近。中华龙鸟从未见过人类那样的动物,一下懵了,呆立在原地。＂哎呀,竟然有人把那么贵的玩具忘在这儿了!＂中年女人边说边抓着中华龙鸟的脖子,把它拎了起来。
商品化数据库管理系统往往不能有效地满足ＣＡＤ等工程应用的要求。本文根据作者成功开发的工程数据库管理系统ＣＩＭＳ／ＥＤＢＭＳ讨论在ＯＲＡＣＬＥ上采用语义网络模型，引入面向对象的概念和方法开发满足工程应用
法国导演雅克·贝汉导演的电影《迁徙之鸟》，让无数的人感受到了候鸟迁徙的艰辛和壮观。候鸟迁徙是一个关于承诺的故事，是一个对于归来的承诺。它们的旅途万里迢迢。历经艰
一种学名为“Leptanilla revelieii”的蚂蚁是蚂蚁家族中体型最小的物种．科学家统计，迄今共发现14000种蚂蚁，很可能仍有相同数量的蚂蚁物种仍未被发现。
本文提出了一种基于信息融合的物体三维特征的提取方法，该方法利用两幅互相配准的三维测距图像和灰度图像，来提取多面体的三维特征。首先，通过分析灰度图像中的灰度变化及测距图
<正> 我校中国古典文学专业副教授、《阴山学刊》副主编张福勋先生,倾十年心血撰就的宋代诗话研究的专著——《宋代诗话选读》,最近由内蒙古人民出版社正式出版。该书由我国