云计算中偏好Top-k查询的正确性验证
盛刚 温涛 郭权 印莹
提出了云计算环境下偏好top-k查询结果的正确性验证问题。在现有支配图的基础上，提出了基于哈希的验证支配图(ADG-H)和基于数字签名的验证支配图(ADG-S)。ADG-H能够有效地对一次性查询进行验证。而对于连续监控，采用ADG-H会引起大量的网络传输，提出了ADG-S，只有当数据更新影响到查询结果或验证对象时才进行必要的网络传输。实验表明了ADG-H和ADG-S的有效性。