Implementation of Inferential Relational Database System
Tsuno has been developed to retrieve the relational database created by Adbis which was developed for supporting the construction of scientific database systems at the Computer Center, Kyushu University. Tsuno is an interactive retrieval system having the inference facilities based on Horn set refutation procedures and is now used as the query system for two databases. This paper describes the implementation of Tsuno.
KeywordsPredicate Symbol Horn Clause Compound Name Empty Clause Clausal Form
Unable to display preview. Download preview PDF.
- 1.F. Matsuo, S. Futamura, and T. Takagi, Adbis -An Inferential Relational Database Management System, Trans. Inform. Process. Soc. of Japan, 24, 2, 249–255 (1983)(in Japanese).Google Scholar
- 5.R. Kowalski, Predicate Logic as Programming Language, Information Processing 74, North-Holland, Amsterdam, 569–574 (1974).Google Scholar
- 9.F. H. Allen, S. Bellard, M. D. Brice, B. A. Cartwright,, A. Doubleday, H. Higgs, T. Hummelink, B. G. Hummelink-Peters, O. Kennard, W. S. Motherwell, J. R. Rodgers, and D. G. Watson, The Cambridge Crystallographic Data Center: Computer-Based Search, Retrieval, Analysis and Display of Information, Acta Cryst., B-35, 10, 2331–2339 (1979).Google Scholar
- 10.F. Matsuo, and T.Takagi, A Horn Set Refuter for Database Manipulation, Trans. Inform. Process. Soc. of Japan, 25, 3, 458–464 (1984) (in Japanese).Google Scholar
- 12.K. L. Clark, Negation as Failure, in “Logic and Data Bases,” H. Gallaire and J. Minker, ed., Plenum, New York (1978).Google Scholar