演繹資料庫

是指具有演繹推理能力的資料庫。一般地，它用一個資料庫管理系統和一個規則管理系統來實現。將推理用的事實數據存放在資料庫中，稱為外延資料庫；用邏輯規則定義要導出的事實，稱為內涵資料庫。主要研究內容為，如何有效地計算邏輯規則推理。具體為：遞歸查詢的優化、規則的一致性維護等。

演繹資料庫由三部分組成：

（1）傳統資料庫管理 由於演繹資料庫建立在傳統資料庫之上，因此傳統資料庫是演繹資料庫的基礎。

（2）具有對一階謂詞邏輯進行推理的演繹結構 這是演繹資料庫全部功能特色所在，推理功能由此結構完成。

（3）資料庫與推理機構的介面 由於演繹結構是邏輯的，而資料庫是非邏輯的，因此必須有一個介面實現物理上的連接。