主动规则的声明语义
Declarative Semantics for Active Rules
摘要：
在本文中，我们分析了声明性的确定性和非确定性语义的主动规则。特别是，我们考虑几个（部分）稳定的模型语义，演绎规则，如良好的基础，最大确定性，唯一的总稳定模型，总稳定模型，最大稳定模型语义定义。活动程序AP的语义是这样给出的：首先将其重写为演绎程序P，然后计算定义P的声明性语义的模型M，最后将M中包含的“一致”更新应用于源数据库。我们提出的框架允许一个自然的整合演绎和主动规则，也可以应用到查询功能符号或查询无限的数据库。
英文摘要：
In this paper we analyze declarative deterministic and non-deterministic semantics for active rules. In particular we consider several (partial) stable model semantics, previously defined for deductive rules, such as well-founded, max deterministic, unique total stable model, total stable model, and maximal stable model semantics. The semantics of an active program AP is given by first rewriting it into a deductive program P, then computing a model M defining the declarative semantics of P and, finally, applying `consistent' updates contained in M to the source database. The framework we propose permits a natural integration of deductive and active rules and can also be applied to queries with function symbols or to queries over infinite databases.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
