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

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

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

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

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