41、处理符号分数的偏好查询语言及多智能体系统推理研究

处理符号分数的偏好查询语言及多智能体系统推理研究

1. SQLSP中的集合导向运算符与关系分区

在SQL中，集合导向运算符有着重要的作用。其中，联合运算符将两个关系的元组合并，形成一个新的关系，这是在应用了选择块中的子句之后进行的。当选择块返回分级关系时，该运算符的扩展可基于公式(10)轻松实现。

在经典关系的上下文中，交集可以通过连接或存在嵌套来表示，差集则可以通过不存在嵌套来表示。例如，对于查询：

(select A1, ..., An from r where P1) minus
(select A1, ..., An from s where P2)

设$r’$是第一个块的结果，$s’$是第二个块的结果，$res$是全局结果。根据公式(12)，有：
$\omega_{res}(a_1, …, a_n) = min(\omega_{r’}(a_1, …, a_n), rv(\omega_{s’}(a_1, …, a_n)))$
其中：
$\omega_{r’}(a_1, …, a_n) = sup_{x\in r \land x.A_1=a_1 \land… \land x.A_n=a_n} \omega_{P1}(x)$
$\omega_{s’}(a_1, …, a_n) = sup_{y\in s \land y.A_1=a_1 \land… \land y.A_n=a_n} \omega_{P2}(y)$

将该查询用不存在嵌套翻译后为：

se