第六章多級數據庫安全管理系統(tǒng)(編輯修改稿)
2025-02-09 01:38 本頁面
【文章內容簡介】 兩元組 t和 s, 如果任何一個屬性 t[Ai ,Ci] ＝ s[Ai ,Ci]。 ? t[Ai]≠null且 s[Ai]＝ null， 則稱元組 t包含元組 s 或 t歸類于 s。 25 ? 一 個多級關系 R滿足空值完整性，當且僅當對 R的每個實例 Rc均滿足下列兩個條件： ? 空值的安全級別與主鍵相同。 即對于所有的 t∈R c, t[Ai]＝ null = t[ci]＝ t[CAK] //空值對所有級別用戶可見 ? Rc不含有兩個有包含關系的不同元組。 //不出現因為空值而導致的冗余元組 26 [例 1] 多級關系違反了空值完整性 多級關系違反了空值完整性 27 三、多級外碼完整性與參照完整性 ? 多級外碼完整性： 假設 FK是參照關系 R的外碼，多級關系 R的一個實例Rc滿足外碼完整性，當且僅當對所有的 t∈Rc 滿足： ? 或者（所有 Ai∈FK ） t[Ai] = null， 或者（所有 Ai∈FK ） t[Ai]≠null //外碼屬性全空或全非空 ? Ai , Aj∈FK = t[C i]＝ t[Cj]。 //外碼的每個屬性具有相同的安全級別 28 ?多級參照完整性： ?假設 參照關系 R1具有外觀主碼 AK1，外碼 FK1， 被參照關系 R2具有外觀主碼 AK2，多級關系 R1的一個實例 r1 和多級關系 R2的一個實例 r2滿足參照完整性，當且僅當 所有 t11∈r 1 , t11[FK1] ≠null , E t21∈r 2 ,t11[FK1] = t21[AK2] Λ t11[TC]= t21[TC]Λ t11[CFK1] ≥ t21[CAK2]。 ?外鍵的訪問等級必須支配引用元組中主鍵的訪問等級。 29 四、實例間完整性 ?多級關系 Rc滿足實例間完整性，當且僅當對所有 c‘≤c ， Rc′= σ( Rc， c′) ，其中過濾函數 σ按以下方法從 Rc產生安全等級為c′ 的實例 Rc′ ： ?所有 t∈R c, t[CAK]≤c′, t′∈Rc′ ， 滿足 t′[AK,C AK]= t[AK,CAK].//主碼保留 ?所有 Ai AK有 t′[A i,Ci]=t[Ai,Ci] if t[Ci] ≤ c′ t′[A i,Ci]=null,t[CAK] otherwise E ∈ ? 消除 Rc’的歸類元組 30 表 “衛(wèi)星” S級實例 實例間完整性舉例：例 1 U級用戶對表 1過濾后得到表 2 表 “衛(wèi)星” 過濾后 U級實例 31 表 “衛(wèi)星” S級實例 表 “衛(wèi)星” 過濾后 S級實例 實例間完整性舉例：例 2 表 “衛(wèi)星” U級實例 32 五、多實例完整性 ? 假設多級關系 R的外觀主碼集合為 AK，主碼等級為 CAK 。多實例完整性要求由 AK、 CAK以及第 i個屬性的等級 Ci便可確定第 i個屬性值 Ai 。 ? 一個多級關系滿足多實例完整性，當且僅當 Rc中的每個屬性 Ai ,滿足 AK,CAK,Ci → A i 即 Ai函數依賴于 AK,CAK,Ci 。 ? 同一級別的元組之間不存在多實例。 33 多級關系 Weapon(滿足多實例完整性 ) 多級關系 Weapon(不滿足多實例完整性 ) （元組級別相同主鍵重復） 34 多級關系操作 一、 插入操作 形式： INSERT INTO Rc(Ai [,Aj]?) VALUES (ai [,aj]?) 當插入元組 t（新插入） 與主鍵值相同的元組 t′時： 1）若 t[TC]＝ tˊ[TC], 拒絕 t的插入。 //滿足多 實例完整性約束 2）若 t[TC] tˊ[TC], 允許 t的插入，以防止隱 通道。 3）若 t[TC] tˊ [TC],允許或拒絕 t的插入均可 以。 //多級關系操作盡量減少額外元組 35 [例 1] S級別主體插入操作 1）主碼值不同，正常插入 INSERT INTO Weapon VALUES “ Cannonl,10,200” 插入后 Weapon多級關系的 S級插入 36 2）主碼值、級別相同，系統(tǒng)不允許插入。 INSERT INTO Weapon VALUES “ Cannonl,10,200” //S級插入 Weapon多級關系的 S級插入 37 3）主碼值相同，但插入元組級別低，允許插入，
教學課件相關推薦
鄂ICP備17016276號-1