安全數(shù)據(jù)庫的事務(wù)調(diào)度算法的研究.pdf

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

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