1987 Volume 2 Issue 2 Pages 182-191
This paper presents the design and implementation of deductive database systems for conventional network database systems. Although almost all of the researchers have been trying to combine the relational model and the logic programming, we try to augment the conventional network database system with inference facilities of resolutions. In this paper, we define a formal system based on the first-order theory for the conventional network model. Then, we show an improvement of the SLD resolution by taking advantage of the network model. In our refutation procedure, meaningless backtracking for finding a refutation and redundant refutations for finding all answer substitutions are prevented. Also, in our procedure, for a given goals, procedures which can obtain a set of answer substitutions are generated by accessing the conventional network database. The procedures are written in an object-oriented manner.