计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2008年
8期
1893-1895
,共3页
实时数据库%薮据库安全%多版本%并发控制%串行化顺序
實時數據庫%藪據庫安全%多版本%併髮控製%串行化順序
실시수거고%수거고안전%다판본%병발공제%천행화순서
安全实时数据库必须同时满足安全性和实时性,然而这两者有时可能相互冲突.为了解决这种冲突,提出了基于多版本的安全实时并发控制协议.协议为每个数据对象提供两个版本:工作版本和只读版本,根据事务和数据对象的安全级为事务提供不同的数据版本,有效地解决了实时性与安全性之间的冲突,最后给出了协议的正确性证明.
安全實時數據庫必鬚同時滿足安全性和實時性,然而這兩者有時可能相互遲突.為瞭解決這種遲突,提齣瞭基于多版本的安全實時併髮控製協議.協議為每箇數據對象提供兩箇版本:工作版本和隻讀版本,根據事務和數據對象的安全級為事務提供不同的數據版本,有效地解決瞭實時性與安全性之間的遲突,最後給齣瞭協議的正確性證明.
안전실시수거고필수동시만족안전성화실시성,연이저량자유시가능상호충돌.위료해결저충충돌,제출료기우다판본적안전실시병발공제협의.협의위매개수거대상제공량개판본:공작판본화지독판본,근거사무화수거대상적안전급위사무제공불동적수거판본,유효지해결료실시성여안전성지간적충돌,최후급출료협의적정학성증명.