演绎数据库

演绎数据库是指具有演绎推理能力的数据库。一般地，它用一个数据库管理系统和一个规则管理系统来实现。将推理用的事实数据存放在数据库中，称为外延数据库；用逻辑规则定义要导出的事实，称为内涵数据库。主要研究内容为，如何有效地计算逻辑规则推理。具体为：递归查询的优化、规则的一致性维护等。演绎的含义是根据已知的事实和规则进行推理，回答用户提出的各种问题。演绎数据库也称为逻辑数据库、演绎关系数据库或虚关系数据库。换言之，它们有很强的的推理能力，这种推理能力起源于人工智能的研究。