演绎数据库及演绎推理机  

Deductive Database and Deductive Inference Machine

作　　者：唐正中[1] 刘宏[1] 刘泽强[1] 梁大周 

机构地区：[1]湖南师范大学,长沙410081 [2]华北计算技术研究所,北京100083

出　　处：《计算机研究与发展》1991年第10期16-19,共4页Journal of Computer Research and Development

摘　　要：本文叙述了“天马”通用型集成式专家系统开发环境中的演绎数据库系统CE-DDE 及其演绎推理机的结构、功能和对关系数据库的数据的演绎及其实现方法。This paper presents the deductive database system CEDDB of the general-purpose, integrated expert system development environment “Heaven Steed” and the structure and functions of its deductive inference machine.Also the data deduction of relational databases and its implementation are discussed.

关 键 词：数据库 推理机 演绎 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]