© 1990 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||||
Integrated Deductive Database System Implementation: A Systematic Study
Department of Computing Science, University of Ulster at Jordanstown, Newtownabbey, BT37 0QB, UK
One approach to deductive database system implementation which has received much recent attention is the integration of a relational database management system and a logical inference unit. This makes the deductive manipulation of a large amount of data computationally possible. While several proposals for such systems have been made, differing terminologies and implementations make them difficult to compare. This paper presents a systematic study on the integrated approach to deductive database system implementation. In addition to serving as a foundation for the implementation of new systems, this study clarifies and emphasises the necessary features of integrated deductive database systems.
Received October 1987. revised September 1988.
* Department of Computing Science, University of Ulster at Jordanstown, Newtownabbey, BT37 0QB