OODB設計中的范式理論及求解算法.pdf

1、面向對象數(shù)據(jù)庫系統(tǒng)(OODBS)是近二十年來隨著面向對象技術的發(fā)展而被廣泛接受且非常具有前景的研究及應用的領域。它針對關系數(shù)據(jù)庫系統(tǒng)(RDBS)不能適應非傳統(tǒng)應用的要求，如：模型表達能力有限、系統(tǒng)效率低、事務模型太簡單等，結合面向對象語言、語義模型，復雜對象模型和數(shù)據(jù)庫技術的幾個方面的研究而形成的一個高度數(shù)據(jù)集成系統(tǒng)。面向對象數(shù)據(jù)庫系統(tǒng)代表了新一代數(shù)據(jù)庫系統(tǒng)的發(fā)展方向。 面向對象規(guī)范化理論是Z.Tari等人1997年首次提出的。

2、同傳統(tǒng)的關系數(shù)據(jù)庫規(guī)范化理論的最大區(qū)別是面向對象規(guī)范化理論主要用于數(shù)據(jù)庫的概念設計，與數(shù)據(jù)庫的邏輯設計無關。這彌補了傳統(tǒng)的數(shù)據(jù)庫設計方法在概念模式方面的不足，使其支持面向對象數(shù)據(jù)模型。面向對象數(shù)據(jù)庫理論作為近年來興起的理論，在很多方面還有待完善。 該文首先介紹了面向對象數(shù)據(jù)庫(OODB)的發(fā)展，從OODB不同方面綜述了面向對象數(shù)據(jù)庫的基本概念。接著定義了對象模型的投影代數(shù)和數(shù)據(jù)依賴。提出路徑依賴和對象函數(shù)依賴的推理規(guī)則，并對其進