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

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

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