数据库安全技术是信息安全的重要研究领域。数据库推理控制是研究高安全等级的安全数据库系统的关键技术之一,是保障数据库安全的重要手段。我们将研究多级安全数据库系统属性关联集合推理问题和势集合推理问题。 对于多级安全数据库系统属性关联集合推理问题,分析了表级密级模式下的属性关联集合推理问题,提出了检测和消除属性关联集合推理问题的算法。该算法将该问题转化为属性关联无向图的问题,通过判断包含敏感信息的表的属性关联无向图是否存在环路并分析环路中是否存在推理路径来判断是否存在属性关联集合推理。如果存在推理路径,则存在属性关联集合推理。此时可以通过提高一个或多个表的安全级来消除推理路径。通过分析该表的所有推理路径,找出消除所有推理路径信息丢失量最小的安全级调整方案,该方案可能有很多种,由用户选择一种合适的方案消除属性关联集合推理。通过消除所有包含敏感信息表结点的推理路径,消除属性关联集合推理。对于多级安全数据库系统势集合推理问题,分析了消除势集合推理的策略,提出了消除势集合推理的算法。该算法允许建表者定义敏感概念以及敏感概念允许访问的最大元组个数,当安全级等于表的安全级的用户查询该表时,引入限制的概念计算访问敏感概念元组的个数,防止这些用户访问敏感概念元组的个数超过预先定义的最大值,从而消除势集合推理。在多级安全数据库系统SDM3安全机制的基础上,对多级安全数据库系统SDM3源代码进行改进,使多级安全数据库系统SDM3能够消除势集合推理。