安全數據庫的事務調度算法的研究.pdf

1、為了解決安全數據庫中事務處理問題，研究了安全數據庫中多級事務ACIS正確性標準。提出了基于快照的多級安全并發(fā)控制算法和基于兩階段鎖和串行圖的多級事務調度算法?；诳煺盏亩嗉壈踩l(fā)控制算法要求在每個安全級上(除系統(tǒng)最高安全級)為數據庫創(chuàng)建兩個快照，并且所有的高級事務都是訪問數據庫的某個快照而不是直接訪問低級數據庫。快照的引入避免了多級事務的調度算法中常見的隱通道和高級事務的餓死等問題。介紹了快照的基本概念和基于快照的并發(fā)控制算法，并且證

2、明了該算法能夠為多級事務的執(zhí)行產生一個可串行化的事務歷史。為了解決兩階段鎖和安全性需求之間的沖突，提出了基于兩階段鎖和串行圖的多級事務調度算法，將兩階段鎖調度限制在單個安全級內部，并且在高級事務讀取低級數據時使用“軟鎖”以消除隱通道。引入了串行圖以確保多級事務在不同安全級上的事務節(jié)串行化順序的一致性，從而實現了整個多級事務的可串行化。描述了算法的實現過程，并證明了該算法滿足多級事務的ACIS正確性標準。本文最后還研究了安全數據庫系統(tǒng)的設