主动数据库中的时序逻辑

摘要：

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

关键词：主动数据库、ECA规则、过去时序逻辑、PTL

所属期刊栏目：40

分类号：TP311.13(计算技术、计算机技术)

资助基金：山东大学校科研和教改项目

在线出版日期：2004-06-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：166-169