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

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

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