触发图相关论文
近年来主动数据库已经成为数据库研究领域的热点。主动数据库技术是为实现对于数据完整性和一致性的自动维护和满足实时信息处理的......
主动规则集的可终止性是主动数据库规则集的三大重要特征之一.主动规则集可否保证终止将直接影响到系统的应用.由于主动规则间存在......
研究主动数据库系统中规则终止特性的静态分析技术.通过对基本触发图分析方法的研究,根据主动规则的可终止性给出了将触发图和激活......
研究主动信息系统中主动规则及实现技术。介绍主动信息系统体系结构及ECA规则,基于ECA规则分析规则集行为的三个特性,给出终止性规......
针对触发图中有环时，在实际运行中仅执行有限次，该规则集可能是可终止的，通过对规则集的静态分析，提出了联合公式的概念，给出了判定联合......
