演绎数据库工具

演绎数据库是既能由事实显式地表示,又能用一般规则隐式地表示的数据库。我们倡导将带类型的一阶逻辑用作定义和操纵这种演绎数据库的语言,并举例说明。这样语言具有通俗易懂的理论,并为数据、查询、完整性约束、视图,以及程序提供统一的表示。我们为实现域、使用带命名属性的原子,处理查询,以及检查完整性约束提供算法。实现是先翻译成PROLOG,然后在标准PROLOG系统上完成。本文假定读者对关系数据库,逻辑、以及PROLOG有所了解。