偏好查询的语义优化

偏好的概念在当今的信息系统中变得越来越无处不在。偏好主要用于过滤和个性化到达此类系统用户的信息。在数据库系统中，偏好通常被捕获为偏好关系，用于构建偏好查询。在我们的方法中，偏好查询是包含 winnow 算子（“在给定关系中找出最受偏好的元组”）出现的 relational algebra 或 SQL 查询。我们在此提出了一些适用于偏好查询的语义优化技术。这些技术利用了完整性约束，使得能够移除冗余的 winnow 算子出现，并应用更高效的算法来计算 winnow。我们还研究了完整性约束在 winnow 结果中的传播。我们确定了这些技术适用性的充分必要条件，并将这些条件表述为约束可满足性问题。