论文部分内容阅读
支持复合事件的规则机制是当前主动数据库所采取的主要模式，而要准确预测规则集的执行情况是相当困难的。该文提出了一种利用确定型多带图灵机对主动数据库进行动态分析的模型，归结出主动规则可终止的充分必要条件。该模型还可以用于主动规则的辅助设计和验证。
基于复合事件规则的主动数据库动态分析模型
【摘 要】
：
支持复合事件的规则机制是当前主动数据库所采取的主要模式，而要准确预测规则集的执行情况是相当困难的。该文提出了一种利用确定型多带图灵机对主动数据库进行动态分析的模型
【机 构】
：
大学计算机科学系(济南)
【出 处】
：
第十六届全国数据库学术会议
【发表日期】
：
1999年期
其他文献
通过建立公理化体系，提出了一种基于消费者对不同商品组合质量的选择模型，并导出该模式下消费者的最优需求和消费组合，从而使消费者对所消费的商品质量的选择决策有可供处理的基
该文对少含稀土氧化物的YGdCaVInIG铁氧体的性能和结构进行了分析和讨论，着重讨论了掺Mn对铁氧体性能的影响。
本文通过建立站立时间与隧道特征系数之间的关系,结合我国铁路隧道的围岩压力经验公式,提出了复合式衬砌初期支护和二次衬砌的荷载分担比例的确定方法.由于铁路隧道的分级与R
该文从沥青道面的原材料选择与混合料配合比设计、沥青混合料生产质量控制及现场铺筑质量控制三个方面进行了系统的分析研究，提出了机场水泥砼道面铺筑沥青砼加盖层施工质量控
复合式盾构在国内是一个空白,本文介绍进口旧泥水平衡盾构转型改制成复合式土压平衡盾构的实例,研究盾构电气系统的设计难点和重点,并遵循可靠、安全、实用的原则,完成了供配