Author Login Chief Editor Login Reviewer Login Editor Login Remote Office

›› 2005, Vol. 31 ›› Issue (S1): 109-111.

• Papers • Previous Articles     Next Articles

Deductive Rule Processor Based on SQL Server

HUO Weigang   

  1. (College of Computer Science & Technology,CAUC,Tianjin 300300)
  • Published:2005-12-29

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

霍纬纲   

  1. 中国民用航空学院计算机学院 天津 300300

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.

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

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

CLC Number: