演繹對象數(shù)據(jù)庫中幾個(gè)關(guān)鍵問題的研究與實(shí)現(xiàn).pdf

1、演繹數(shù)據(jù)庫與面向?qū)ο髷?shù)據(jù)庫是對關(guān)系數(shù)據(jù)庫技術(shù)的兩大擴(kuò)展。演繹數(shù)據(jù)庫既擴(kuò)展了關(guān)系數(shù)據(jù)庫的查詢能力，又保持了關(guān)系數(shù)據(jù)庫的數(shù)學(xué)基礎(chǔ)。面向?qū)ο髷?shù)據(jù)庫能夠提供豐富的數(shù)據(jù)建模能力。兩者具有很大的互補(bǔ)性，所以演繹數(shù)據(jù)庫和面向?qū)ο髷?shù)據(jù)庫的結(jié)合必然會(huì)成為數(shù)據(jù)庫領(lǐng)域的一個(gè)研究熱點(diǎn)。演繹對象數(shù)據(jù)庫不只是兩個(gè)相關(guān)方向研究成果的簡單合并，它還牽涉到面向?qū)ο髷?shù)據(jù)模型、面向?qū)ο髷?shù)據(jù)庫的理論基礎(chǔ)、基于邏輯的查詢語言、結(jié)構(gòu)化對象(或稱復(fù)雜對象)處理、數(shù)據(jù)庫系統(tǒng)體系結(jié)構(gòu)及

2、開發(fā)等問題。 本文是在本課題組已開發(fā)的演繹對象數(shù)據(jù)庫系統(tǒng)SD-DOOD之上進(jìn)行改進(jìn)和擴(kuò)充，在SD-DOOD的數(shù)據(jù)模型的基礎(chǔ)上增加了復(fù)雜數(shù)據(jù)類型——集合；在查詢表達(dá)式中支持主動(dòng)表達(dá)式和集合表達(dá)式；進(jìn)一步探尋演繹數(shù)據(jù)庫和面向?qū)ο髷?shù)據(jù)庫的結(jié)合途徑。本文的主要工作為： 1.介紹了包含集合和繼承的語法及語義，從語義的角度闡明了數(shù)據(jù)庫的約束條件。 2.給出了演繹對象數(shù)據(jù)庫SD-DOOD的系統(tǒng)結(jié)構(gòu)圖，然后對系統(tǒng)結(jié)構(gòu)圖中涉及到的

3、每一個(gè)模塊的功能進(jìn)行了詳細(xì)的解釋。 3.區(qū)分了完整集和部分集的概念，實(shí)現(xiàn)了集合這一數(shù)據(jù)類型。討論并實(shí)現(xiàn)了部分集在規(guī)則中的應(yīng)用：規(guī)則體中部分集用來列舉集合中的元素，而規(guī)則頭中部分集用來聚集屬于集合的所有元素。通過對方法表達(dá)式中的部分集和屬性表達(dá)式中的部分集的不同的轉(zhuǎn)換方法和存儲(chǔ)方法實(shí)現(xiàn)了含有部分集規(guī)則的推理。實(shí)現(xiàn)了完整集的并、交、差以及劃分操作。集合的實(shí)現(xiàn)減少了數(shù)據(jù)庫的存儲(chǔ)冗余，也方便了用戶描述復(fù)雜對象。 4.對查詢進(jìn)行了

4、詳細(xì)地分類。對模式定義和實(shí)例屬性的查詢采用匹配方式，對于方法的查詢的實(shí)現(xiàn)有自底向上和自頂向下兩種，重點(diǎn)介紹了如何將演繹對象數(shù)據(jù)庫語言(DOOL)轉(zhuǎn)換為演繹數(shù)據(jù)庫語言(DDL)然后用DDL中的最小不動(dòng)點(diǎn)算法求解的過程和算法。復(fù)雜查詢要?jiǎng)澐譃閹撞糠趾唵尾樵儊韺?shí)現(xiàn)。 SD-DOOD系統(tǒng)是在WindowsXP環(huán)境下，采用LEX&YACC對DOOL語言進(jìn)行分析，利用SQLServer2000作為外延數(shù)據(jù)庫，使用VC++6.0作為編程語言實(shí)