演绎数据库

from http://baike.baidu.com/view/69955.htm

是指具有演绎推理能力的数据库。一般地，它用一个数据库管理系统和一个规则管理系统来实现。将推理用的事实数据存放在数据库中，称为外延数据库；用逻辑规则定义要导出的事实，称为内涵数据库。主要研究内容为，如何有效地计算逻辑规则推理。具体为：递归查询的优化、规则的一致性维护等。

演绎数据库由三部分组成：

（1）传统数据库管理 由于演绎数据库建立在传统数据库之上，因此传统数据库是演绎数据库的基础。

（2）具有对一阶谓词逻辑进行推理的演绎结构 这是演绎数据库全部功能特色所在，推理功能由此结构完成。

（3）数据库与推理机构的接口 由于演绎结构是逻辑的，而数据库是非逻辑的，因此必须有一个接口实现物理上的连接。