一個演繹對象數(shù)據(jù)庫語言的設(shè)計與實現(xiàn).pdf

1、該文的主要工作是通過探尋面向?qū)ο髷?shù)據(jù)庫與知識庫技術(shù)相結(jié)合的途徑,研究演繹對象數(shù)據(jù)庫系統(tǒng)實現(xiàn)的關(guān)鍵技術(shù).從如下幾方面進行了研究:1、提出在邏輯環(huán)境下對象的數(shù)據(jù)模型應(yīng)涉及到的概念,其基本概念是對象和聯(lián)系.2、在數(shù)據(jù)模型的理論指引下,設(shè)計了一種新的演繹對象語言DOOL,它基本覆蓋了數(shù)據(jù)模型中提出的應(yīng)涉及的概念,支持復(fù)雜對象的演繹,繼承,方法,集合等,在對象標(biāo)識表示方面有所擴充.3、設(shè)計實現(xiàn)了一個演繹對象數(shù)據(jù)庫系統(tǒng)原型SD-DOOD,它是以演繹

2、對象庫語言DOOL為核心的.系統(tǒng)支持類、類層次、對象、屬性、方法、繼承和封裝等面向?qū)ο髷?shù)據(jù)庫系統(tǒng)的核心概念;支持演繹對象等演繹數(shù)據(jù)庫的概念;提供了圖形用戶接口(GUI),便于用戶進行創(chuàng)建、查詢等操作.4、系統(tǒng)的查詢操作全部都是由SD-DDBS最終得出結(jié)果的,而演繹數(shù)據(jù)庫語言是基于Datalog的,所以應(yīng)用了一些轉(zhuǎn)換規(guī)則來將DOOL程序轉(zhuǎn)換為Datalog,通過規(guī)則轉(zhuǎn)換,能得出DOOL程序的最小不動點(即程序值),從而得到查詢結(jié)果.文中詳