演繹資料庫

演繹資料庫為計算機用語,是指具有演繹推理能力的資料庫。

是指具有演繹推理能力資料庫。一般地,它用一個資料庫管理系統和一個規則管理系統來實現。將推理用的事實數據存放在資料庫中,稱為外延資料庫;用邏輯規則定義要導出的事實,稱為內涵資料庫。主要研究內容為,如何有效地計算邏輯規則推理。具體為:遞歸查詢的最佳化、規則的一致性維護等。
演繹資料庫由三部分組成:
(1)傳統資料庫管理 由於演繹資料庫建立在傳統資料庫之上,因此傳統資料庫是演繹資料庫的基礎。
(2)具有對一階謂詞邏輯進行推理的演繹結構 這是演繹資料庫全部功能特色所在,推理功能由此結構完成。
(3)資料庫與推理機構的接口 由於演繹結構是邏輯的,而資料庫是非邏輯的,因此必須有一個接口實現物理上的連線。

相關詞條

相關搜尋

熱門詞條

聯絡我們