可变偏好下的数据库查询

我们在此提出一种迭代且递进的方法，用于构建和评估偏好查询的形式化基础。我们的主要关注点是查询修改：一种通过修订查询中偏好关系来实现查询转换的方法。我们对偏好关系的顺序范畴在修订后是否保持的情形进行了详细分析。我们考虑了多种不同的修订算子：并、优先级和帕累托组成。我们还形式化了一些代数定律，以实现偏好查询的递进求值。最后，我们考虑两种基本框架的变体：偏好关系的有限限制和严格部分序偏好关系的弱序扩展。