摘要： 设计并实现了一种基于SQLServer的演绎规则处理器,其主要功能是把演绎规则转换为含有SQL语句的过程代码,利用该处理器用户可用一阶逻辑谓词定义和查询IDB关系。

关键词: 演绎数据库, 规则处理器, 系统结构, IDB谓词

Abstract: The paper designs and implements a deductive rule processor based on SQL Server. The main function of the processor is to translate the first order logic rule into embedded-SQL programs. The user can use the first order logic predication to define and query IDB relation by it.

中图分类号: 

• TP311.13