■關系數據庫factsandinformation
關系數據庫是建立在集合代數基礎上,應用數學方法來處理數據庫中的數據。現實世界中的各種實體以及實體之間的各種聯系均用關系模型來表示。
關系模型由關系數據結構、關系操作集合、關系完整性約束三部分組成。
全關系系統十二準則
全關系系統應該完全支持關系模型的所有特征。關系模型的奠基人E.F.Codd具體地給出了全關系系統應遵循的基本準則。
;''準則0'':壹個關系形的關系數據庫系統必須能完全通過它的關系能力來管理數據庫。
;''準則1''信息準則:關系數據庫系統的所有信息都應該在邏輯壹級上用表中的值這壹種方法顯式的表示。
;''準則2''保證訪問準則:依靠表名、主碼和列名的組合,保證能以邏輯方式訪問關系數據庫中的每個數據項。
;''準則3''空值的系統化處理:全關系的關系數據庫系統支持空值的概念,並用系統化的方法處理空值。
;''準則4''基於關系模型的動態的聯機數據字典:數據庫的描述在邏輯級上和普通數據采用同樣的表述方式。
;''準則5''統壹的數據子語言:
壹個關系數據庫系統可以具有幾種語言和多種終端訪問方式,但必須有壹種語言,它的語句可以表示為嚴格語法規定的字符串,並能全面的支持各種規則。
;''準則6''視圖更新準則:所有理論上可更新的視圖也應該允許由系統更新。
;''準則7''高級的插入、修改和刪除操作:系統應該對各種操作進行查詢優化。
;''準則8''數據的物理獨立性:無論數據庫的數據在存儲表示或存取方法上作任何變化,應用程序和終端活動都保持邏輯上的不變性。
;''準則9''數據邏輯獨立性:當對基本關系進行理論上信息不受損害的任何改變時,應用程序和終端活動都保持邏輯上的不變性。
;''準則10''數據完整的獨立性:關系數據庫的完整性約束條件必須是用數據庫語言定義並存儲在數據字典中的。
;''準則11''分布獨立性:關系數據庫系統在引入分布數據或數據重新分布時保持邏輯不變。
;''準則12''無破壞準則:如果壹個關系數據庫系統具有壹個低級語言,那麽這個低級語言不能違背或繞過完整性準則。
■實時數據庫是數據庫系統發展的壹個分支,它適用於處理不斷更新的快速變化的數據及具有時間限制的事務處理。實時數據庫技術是實時系統和數據庫技術相結合的產物,研究人員希望利用數據庫技術來解決實時系統中的數據管理問題,同時利用實時技術為實時數據庫提供時間驅動調度和資源分配算法。然而,實時數據庫並非是兩者在概念、結構和方法上的簡單集成。需要針對不同的應用需求和應用特點,對實時數據模型、實時事務調度與資源分配策略、實時數據查詢語言、實時數據通信等大量問題作深入的理論研究。實時數據庫系統的主要研究內容包括:
實時數據庫模型
實時事務調度:包括並發控制、沖突解決、死鎖等內容
容錯性與錯誤恢復
訪問準入控制
內存組織與管理
I/O與磁盤調度
主內存數據庫系統
不精確計算問題
放松的可串行化問題
實時SQL
實時事務的可預測性
研究現狀與發展實時數據庫系統最早出現在1988年3月的ACMSIGMODRecord的壹期專刊中。隨後,壹個成熟的研究群體逐漸出現,這標誌著實時領域與數據庫領域的融合,標誌著實時數據庫這個新興研究領域的確立。此後,出現了大批有關實時數據庫方面的論文和原型系統。人機交互技術與智能信息處理實驗室實時數據庫小組壹直致力於實時系統、實時智能、實時數據庫系統及相關技術的研究與開發,並取得了壹定的成績。