可终止性相关论文
该论文对主动模糊数据库及其主动模糊规则触发执行的行为理论进行了较为系统的研究.文中首先归纳和总结了现有的主动模糊数据库技......
该文提出了一种新的事件监测机制;在XML系统中引入‘主动节点’,即把规则也融入节点,各节点上的ECA规则只需在节点改变时才需要被......
规则集是主动数据库得以实现主动能力的关键部分。使得数据库可以对其内部与外界的变化进行监控分析,在没有用户干预的情况下,能够......
在工业控制系统、工作流管理、生物信息管理等现代应用中，经常要求数据库系统具有某种监视和报警功能，能够主动处理异常情况，主动数据......
在形式化验证领域,下推系统(pushdown systems)常用来建模单线程递归程序,良结构迁移系统(well-structured transition systems),......
为了判定描述逻辑SHIN的ABox一致性，提出了一种Tableau算法。给定TBoxT、ABoxA和角色层次H，该算法通过预处理将彳转换成标准的ABoxA......
支持主动规则机制已经成为现代数据库系统的一个重要特征．主动规则集的可终止性判定是主动数据库中核心问题之一，利用触发图和活化图......
支持主动规则机制已经成为现代数据库系统的一个重要特征.主动规则集的可终止性判定是主动数据库中一个核心问题之一,利用触发图和......
文章以XML数据模型主动机制的研究作为出发点．讨论了XML中主动规则的模型与实现及其相关行为属性的分析．并结合规则实例提出了一种新......
研究主动数据库系统中规则终止特性的静态分析技术.通过对基本触发图分析方法的研究,根据主动规则的可终止性给出了将触发图和激活......
为判定描述逻辑SHIQ的ABox一致性，提出一种Tableau算法。给定TBox几ABoxA和角色层次H，通过预处理将A转换成标准的ABox A’，按照特定的......
传统数据库系统是被动的,数据库状态的改变是外界或用户程序影响的结果,也就是所有的查询和数据处理操作必须通过人工操作完成。为......
诸如社会保险信息系统这样的基于数据库的大型应用，它们的许多业务处理直接受数据变化的影响，因而此类应用非常需要数据库主动机制的......
