主动数据库中的时序逻辑

作者：孙明; 张世栋; 董国庆主动数据库eca规则过去时序逻辑ptl

摘要：ECA主动规则中的“条件”通常描述主动数据库的当前状态或状态转换，表现为一个或一组查询语句。但是经常还会遇到基于数据库一系列状态演变过程之上的查询要求，这时不能使用平常意义上的条件来表示。文章基于过去时序逻辑，提出了一种说明时序条件的语言，可以对数据库基于时间状态的演变的过程进行监控，从而增强了主动数据库中规则语言的表达能力。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社