通过保密视图与基于空值的虚拟更新实现数据隐私

关系数据库中可能包含敏感信息，我们可能希望对某个用户或用户组隐藏这些信息。在本工作中，敏感数据被表征为一组保密视图的内容。对于无权访问该敏感数据的用户，其查询的数据库实例将被更新，使得视图的内容为空或仅包含具有空值的元组。特别是，如果该用户对这些视图中的任何一个提出查询，将不会返回任何有意义的信息。由于不希望通过物理更改数据库来产生此结果，因此这些更新仅是虚拟的。并且在精确意义上是最小的。这些最小更新反映在保密视图的内容中，也体现在查询答案在保护隐私的同时也是最大信息量的事实中。虚拟更新基于 SQL 标准中空值的使用。我们提供了保密视图和虚拟更新的语义。底层数据库被虚拟更新的不同方式被指定为具有稳定模型语义的逻辑程序的模型。该程序成为计算查询的“秘密答案”的基础，即那些不泄露敏感信息的答案。