可终止性相关论文
该论文对主动模糊数据库及其主动模糊规则触发执行的行为理论进行了较为系统的研究.文中首先归纳和总结了现有的主动模糊数据库技......
该文提出了一种新的事件监测机制;在XML系统中引入‘主动节点’,即把规则也融入节点,各节点上的ECA规则只需在节点改变时才需要被......
规则集是主动数据库得以实现主动能力的关键部分。使得数据库可以对其内部与外界的变化进行监控分析,在没有用户干预的情况下,能够......
在工业控制系统、工作流管理、生物信息管理等现代应用中，经常要求数据库系统具有某种监视和报警功能，能够主动处理异常情况，主动数据......
在形式化验证领域,下推系统(pushdown systems)常用来建模单线程递归程序,良结构迁移系统(well-structured transition systems),......
Kowalski指出PROLOG程序容易产生无限循环。该文对PROLOG程序的可终止性进行了严格的定义，证明了不包含递归规则的PROLOG程序是可终......
判定主动规则集合的执行情况是相当困难的,尤其是在主动规则支持复合事件时.提出了一种利用确定型多带图灵机对主动数据库进行动态......
针对利用触发图和活化图的方法来判定主动规则集的可终止性存在一定的局限性，从而影响了运行阶段规则系统的执行效率并限制了主动规......
本文讨论的内容共分三部分:不包含递归规则的系统,包含递归规则的系统,与包含非逻辑设施的系统。通过严格的定义和证明,给出了有关......
ＥＣＡ规则系统已经成为主动数据库提供主动服务的通用机制．规则集合的可终止性是规则行为分析的一个重要问题．文中给出了ＥＣＡ规则系统的形式化......
在对XML数据模型主动机制研究的基础上，结合规则实例提出了一种新的分析规则终止性的静态判定算法。此算法基于触发环的概念，首先对......
支持主动规则机制已经成为现代数据库系统的一个重要特征．主动规则集的可终止性判定是主动数据库中核心问题之一，利用触发图和活化图......
判定主动规则集合的执行情况是相当困难的，尤其是在主动规则支持复合事件时，提出了一种利用确定型多带图灵机对主动数据库进行动态分......
支持主动规则机制已经成为现代数据库系统的一个重要特征.主动规则集的可终止性判定是主动数据库中一个核心问题之一,利用触发图和......
文章以XML数据模型主动机制的研究作为出发点．讨论了XML中主动规则的模型与实现及其相关行为属性的分析．并结合规则实例提出了一种新......
研究主动数据库系统中规则终止特性的静态分析技术.通过对基本触发图分析方法的研究,根据主动规则的可终止性给出了将触发图和激活......
主动数据库中规则集的行为很难预测,用触发图可以判断规则集是否保证终止,为了精确判定规则集的终止性必须找出触发图中的全部环路......
为判定描述逻辑SHIQ的ABox一致性，提出一种Tableau算法。给定TBox几ABoxA和角色层次H，通过预处理将A转换成标准的ABox A’，按照特定的......
主动规则集的可终止性判定是一个研究热点问题，现有的基于触发图和活化图的方法没有考虑触发环所有所属规则能否在同一次执行中执行......
诸如社会保险信息系统这样的基于数据库的大型应用，它们的许多业务处理直接受数据变化的影响，因而此类应用非常需要数据库主动机制的......
