22、推理控制中的安全约束处理与概念结构应用

推理控制中的安全约束处理与概念结构应用

1. 数据库设计中的安全约束处理

1.1 安全约束概述

安全约束是为数据分配安全级别的规则，在数据库设计、更新和查询操作中都起着重要作用。主要的安全约束类型包括关联约束、简单约束和逻辑约束。

1.2 关联约束处理

关联约束将一组属性在特定安全级别进行分类，能在不同属性间生成多种关系。例如，在关系SHIP中，若关联约束将SNAME和CAPTAIN共同分类为机密级别，那么(S#, SNAME)和(S#, CAPTAIN)中的一对也应分类为机密级别，否则非机密用户可能推断出机密关联。

处理关联约束的算法输入为一组关联约束和一组属性，输出是每个安全级别的属性簇。每个簇中的属性可安全地存储在相应级别。该算法不仅可在数据库设计时执行，也可在查询处理时使用。查询处理器可检查算法生成的簇中的属性，确定向用户发布哪些信息。

1.3 简单约束处理

简单约束可视为关联约束的特殊形式，仅对单个属性进行分类。处理简单约束的算法很直接，将每个被简单约束分类的属性存储在约束指定的级别。应用该算法并获得相应模式后，将此模式作为处理关联约束算法的输入，最终得到最终模式。

1.4 逻辑约束处理

逻辑约束用于从现有数据推导新数据。若安全约束将新数据分类到比现有数据更高的级别，则需对现有数据重新分类。逻辑约束可以是简单的如Ai => Aj，也可以更复杂如Al & A2 & A3 & An => Am。

1.5 约束处理流程