基于邏輯的內(nèi)嵌式數(shù)據(jù)庫(kù)EBASE在JAVA語(yǔ)言下的實(shí)現(xiàn).pdf

1、基于邏輯的數(shù)據(jù)庫(kù)是一個(gè)嶄新的研究領(lǐng)域，它把一階邏輯理論與數(shù)據(jù)庫(kù)理論有機(jī)地結(jié)合，有效地提高了計(jì)算機(jī)對(duì)智能信息的處理能力，也為知識(shí)庫(kù)和智能計(jì)算機(jī)的研究奠定基礎(chǔ)。以邏輯理論為形式化工具來(lái)研究數(shù)據(jù)庫(kù)，不僅能夠使傳統(tǒng)數(shù)據(jù)庫(kù)中的概念得到更為清晰的邏輯描述，而且它還豐富了數(shù)據(jù)庫(kù)的模型論觀點(diǎn)：把數(shù)據(jù)庫(kù)理解為一個(gè)完整的一階理論，從而大大擴(kuò)充了數(shù)據(jù)庫(kù)的功能，使之具有傳統(tǒng)數(shù)據(jù)庫(kù)所不具備的推理能力。 將邏輯程序設(shè)計(jì)語(yǔ)言(如PROLOG)的語(yǔ)義能力同數(shù)據(jù)

2、庫(kù)管理系統(tǒng)(DBMS)，高效的查詢和事務(wù)處理機(jī)制結(jié)合起來(lái)是邏輯數(shù)據(jù)庫(kù)研究的熱點(diǎn)之一。目前要將它們完全有機(jī)地結(jié)合起來(lái)還有不少困難，但基于邏輯的數(shù)據(jù)庫(kù)系統(tǒng)研究已經(jīng)向知識(shí)庫(kù)系統(tǒng)邁出了堅(jiān)實(shí)的一步，正是基于此目的才設(shè)計(jì)出EBASE系統(tǒng)。 本文先闡述了基于邏輯的數(shù)據(jù)庫(kù)EBASE系統(tǒng)產(chǎn)生的理論依據(jù)，并在此理論上詳細(xì)介紹了EBASE使用的邏輯查詢公式和對(duì)公式的求值算法；從用戶的角度，采用類(lèi)似：DATALOG的語(yǔ)法規(guī)則提出了EBASE的數(shù)據(jù)定義語(yǔ)