摘要
设计并实现了一种基于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.
出处
《计算机工程》
CAS
CSCD
北大核心
2005年第B07期101-103,共3页
Computer Engineering
