论文部分内容阅读
该文介绍了主动数据库系统和ECA主动规则.该文分析了SQL语言中表示主动规则的触发器的表达能力的缺点,SQL中的触发器是完全基于事件触发的.但实际上数据库是对于客观世界的某个状态的描述和表示.数据库中的数据操作把数据库的状态从一个旧的状态转变为一个新的状态.该文给出了一种基于状态描述的主动规则表示方法.我们在封闭世界假定下扩展了纯Datalog的语义,定义了它对于否定的语义.在此基础上我们给出了一种描述性的规则定义语言来定义数据库主动规则.