该论文对主动模糊数据库及其主动模糊规则触发执行的行为理论进行了较为系统的研究.文中首先归纳和总结了现有的主动模糊数据库技......

该文提出了一种新的事件监测机制;在XML系统中引入‘主动节点’,即把规则也融入节点,各节点上的ECA规则只需在节点改变时才需要被......

规则集是主动数据库得以实现主动能力的关键部分。使得数据库可以对其内部与外界的变化进行监控分析,在没有用户干预的情况下,能够......

在工业控制系统、工作流管理、生物信息管理等现代应用中，经常要求数据库系统具有某种监视和报警功能，能够主动处理异常情况，主动数据......

在形式化验证领域,下推系统(pushdown systems)常用来建模单线程递归程序,良结构迁移系统(well-structured transition systems),......