OODB設(shè)計(jì)中的范式理論及求解算法.pdf

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

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