多级数据库安全管理系统详解.pptVIP

二、空值完整性 在多级关系中，空值有两种解释: 一种确实为空。 另一种是实例的等级低于属性的等级使此属性不可见，从而显示为空。 空值完整性使用了归类关系，归类关系如下：如果两元组t和s，如果属性Ai满足下列条件之一，元组t包含元组s。 对于两元组t和s, 如果任何一个属性 t[Ai ,Ci] ＝ s[Ai ,Ci]; t[Ai]≠null且 s[Ai]＝null，则称元组t包含元组s。 一个多级关系R满足空值完整性，当且仅当对R的每个实例Rc均满足下列两个条件： 空值的安全级别与主键相同。 即对于所有的t∈Rc, t[Ai]＝null = t[ci]＝t[CAK] Rc不含有两个有包含关系的不同元组。 [例1] 多级关系违反了空值完整性 多级关系违反了空值完整性 三、多级外码完整性与参照完整性 多级外码完整性： 假设FK是参照关系R的外码，多级关系R的一个实例Rc满足外码完整性，当且仅当对所有的t∈Rc满足： 或者（所有Ai∈FK） t[Ai] = null， 或者（所有Ai∈FK） t[Ai]≠null //外码属性全空或全非空 Ai , Aj∈FK = t[Ci]＝t[Cj]。 //外码的每个属性具有相同的安全级别 多级参照完整性： 假设FK1是具有外观主码AK1参照关系R1的外码，R2