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

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

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