Skip to main content
SpringerLink
Log in

Implementation of Inferential Relational Database System

  • Chapter
Foundations of Data Organization

  • 136 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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 

  2. J. Minker, Search Strategy and Selection Function for an Inferential Relational System, ACM Trans. Database Syst., 3, 1, 1–31 (1978).

    Article  Google Scholar 

  3. L. Henshen, and L. Wos, Unit Refutations and Horn Sets, J.ACM, 21, 4, 590–605 (1974).

    Article  Google Scholar 

  4. W. F. Clocksin, and C. S. Mellish, “Programming in Prolog,” Springer-Verlag, Berlin Heidelberg (1981).

    MATH  Google Scholar 

  5. R. Kowalski, Predicate Logic as Programming Language, Information Processing 74, North-Holland, Amsterdam, 569–574 (1974).

    Google Scholar 

  6. G. Gentzen, Untersuchungen über das Logische Schliessen, Math. Z., 39, 176–210, 405–431 (1935).

    Article  MathSciNet  Google Scholar 

  7. D. W. Loveland, “Automated Theorem Proving: A Logical Basis,” North-Holland, Amsterdam (1978).

    MATH  Google Scholar 

  8. G. Salton, and M.McGill, “Introduction to Modern Information Retrieval,” Mcgraw-Hill, New York (1983).

    MATH  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 

  11. F.Matsuo, Number Theoretic Functions Calculated by Deterministic Refutation of Horn Sets, ibid., 25, 3, 1984, 437–442 (in Japanese).

    MathSciNet  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 

  13. D. Comer, The Ubiquitous B-tree, Comput. Surv., 11,2, 121–137 (1979).

    Article  MATH  Google Scholar 

  14. S. Kuhara, F. Matsuo, S. Futamura, A. Fujita, T. Shinohara, T. Takagi, and Y. Sakaki, GENAS: a Database System for Nucleic Acid Sequence Analysis, Nucleic Acids Res., 12, 1, 88–89 (1984).

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Communication Engineering, Kyushu University, 36, Hakozaki, Fukuoka, 812, Japan

    Toshihisa Takagi & Kazuo Ushijima

  2. Computer Center, Kyushu University, 91, Hakozaki, Fukuoka, 812, Japan

    Fumihiro Matsuo & Shooichi Futamura

Authors
  1. Toshihisa Takagi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fumihiro Matsuo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Shooichi Futamura
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Kazuo Ushijima
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. IBM Almaden Research Center, San Jose, California, USA

    Sakti P. Ghosh

  2. Kyushu University, Fukuoka, Japan

    Yahiko Kambayashi

  3. Kobe University, Kobe, Japan

    Katsumi Tanaka

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Plenum Press, New York

About this chapter

Cite this chapter

Takagi, T., Matsuo, F., Futamura, S., Ushijima, K. (1987). Implementation of Inferential Relational Database System. In: Ghosh, S.P., Kambayashi, Y., Tanaka, K. (eds) Foundations of Data Organization. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-1881-1_45

Download citation

  • DOI: https://doi.org/10.1007/978-1-4613-1881-1_45

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4612-9048-3

  • Online ISBN: 978-1-4613-1881-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation