基于SQL Server的演绎规则处理器  

Deductive Rule Processor Based on SQL Server

作　　者：霍纬纲[1] 

机构地区：[1]中国民用航空学院计算机学院,天津300300

出　　处：《计算机工程》2005年第B07期101-103,共3页Computer Engineering

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

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

分 类 号：TP274[自动化与计算机技术—检测技术与自动化装置]