基于演繹面向?qū)ο髷?shù)據(jù)庫(kù)的查詢語言.pdf

1、演繹數(shù)據(jù)庫(kù)(DDB)和面向?qū)ο髷?shù)據(jù)庫(kù)(OODB)自80年代以來，它們分別沿著不同的道路獨(dú)立地發(fā)展，在各自領(lǐng)域的理論、技術(shù)及系統(tǒng)等方面都取得了許多成果；DDB的研究是典型理論驅(qū)動(dòng)的，而OODB的研究是典型應(yīng)用驅(qū)動(dòng)的，這兩方面的研究具有很大的互補(bǔ)性。OODB的主要問題是缺乏一個(gè)語義形式，而DDB使用的是關(guān)系模式，不支持對(duì)象標(biāo)識(shí)和數(shù)據(jù)抽象概念，因此將兩方面研究結(jié)合起來，以復(fù)雜對(duì)象建模和數(shù)據(jù)抽象能力為核心，以基于規(guī)則的OODB查詢語言作為接口語

2、言是新一代數(shù)據(jù)庫(kù)的基本特征。 演繹數(shù)據(jù)庫(kù)和面向?qū)ο髷?shù)據(jù)庫(kù)是傳統(tǒng)數(shù)據(jù)庫(kù)技術(shù)兩個(gè)重要的擴(kuò)展，通過用固定邏輯基礎(chǔ)的遞歸和聲明查詢，演繹數(shù)據(jù)庫(kù)擴(kuò)展了傳統(tǒng)數(shù)據(jù)庫(kù)的表達(dá)能力，這樣的語言例子有Datalog，LDL和Coral。通過對(duì)象標(biāo)識(shí)、復(fù)雜對(duì)象、類、類繼承，面向?qū)ο髷?shù)據(jù)庫(kù)擴(kuò)展了傳統(tǒng)數(shù)據(jù)庫(kù)的建模能力。這樣的語言例子有Iris，Exodus，Orion，Jasmine，然而兩類擴(kuò)展都有短處，演繹數(shù)據(jù)庫(kù)缺乏強(qiáng)大的數(shù)據(jù)建模能力，而面向?qū)ο髷?shù)據(jù)庫(kù)

3、缺乏邏輯語義和聲明查詢語言。在過去的幾年，為了整合兩種數(shù)據(jù)庫(kù)的優(yōu)點(diǎn)，許多努力被做。許多演繹的面向?qū)ο髷?shù)據(jù)庫(kù)被提出，例如O-logic，C-logic，IQL，IQL2，F(xiàn)-logic，LOGRES，LLO，LOL，DLT，Gulog，Coral++，Rock&Roll。 作者認(rèn)為在下一代信息系統(tǒng)中組合面向數(shù)據(jù)(結(jié)構(gòu)化)、行為和演繹方面是必要的。這意味著演繹面向?qū)ο髽邮綄?duì)下一代信息系統(tǒng)的實(shí)現(xiàn)提供了一個(gè)非常有前景的起始點(diǎn)。然而，已存

4、在DOOD查詢語言提議要求用戶有編程技巧(經(jīng)常是邏輯編程和面向?qū)ο缶幊碳记?。從表達(dá)信息的角度的來說，用戶查詢語言應(yīng)該含有高級(jí)面向?qū)ο蠛脱堇[原語的集合。 從用戶的觀點(diǎn)來說，特定的查詢公式含有這些原語和指定他們上的條件。在下一代信息系統(tǒng)中，作者提出通過把他們嵌入到這些原語中來對(duì)用戶隱藏大的和復(fù)雜的演繹細(xì)節(jié)。用戶可以把這些原語解釋為具體的應(yīng)用概念和結(jié)構(gòu)。在面向?qū)ο蟛樵冋Z言中，因?yàn)橛脩艨梢允褂梅椒?，這種方法已經(jīng)被應(yīng)用了。文中，展示了演