TANG Zhengzhong, LIU Hong, LIU Zeqiang, LIANG Dazhou. Deductive Database and Deductive Inference MachineJ. Journal of Computer Research and Development, 1991, 28(10): 16-19.
Citation:
TANG Zhengzhong, LIU Hong, LIU Zeqiang, LIANG Dazhou. Deductive Database and Deductive Inference MachineJ. Journal of Computer Research and Development, 1991, 28(10): 16-19.
TANG Zhengzhong, LIU Hong, LIU Zeqiang, LIANG Dazhou. Deductive Database and Deductive Inference MachineJ. Journal of Computer Research and Development, 1991, 28(10): 16-19.
Citation:
TANG Zhengzhong, LIU Hong, LIU Zeqiang, LIANG Dazhou. Deductive Database and Deductive Inference MachineJ. Journal of Computer Research and Development, 1991, 28(10): 16-19.
Deductive Database and Deductive Inference Machine
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.
DownLoad: