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

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

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

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