主动规则的声明式语义

本文分析了主动规则的声明式确定性语义与非确定性语义。特别地，我们考虑了先前为演绎规则定义的几种（部分）稳定模型语义，如良基语义、最大确定性语义、唯一全稳定模型语义、全稳定模型语义和最大稳定模型语义。主动程序 AP 的语义首先通过将其重写为演绎程序 P 来给出，然后计算定义 P 的声明式语义的模型 M，最后将 M 中包含的“一致”更新应用于源数据库。我们提出的框架允许演绎规则与主动规则的自然整合，也可应用于带有函数符号的查询或针对无限数据库的查询。