联合公式相关论文
近年来主动数据库已经成为数据库研究领域的热点。主动数据库技术是为实现对于数据完整性和一致性的自动维护和满足实时信息处理的......
针对有环触发图对应规则集的终止性问题进行了研究,通过对触发图、活化图的分析,提出了联合公式的概念,在此基础上给出了有环触发图对......
针对触发图中有环时,在实际运行中仅执行有限次,该规则集可能是可终止的,通过对规则集的静态分析,提出了联合公式的概念,给出了判定联合......