Logic interface system on navigational database systems

  • Makoto Takizawa
  • Hideaki Itoh
  • Kunihiko Moriya
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 264)


This paper presents the design and implementation of logic language interface on conventional network database systems which provide network data structure and navigational data manipulation language. This interface provides users with unified view of various data structures in logics and inference facilities of theorem proving. Although most researchers try to combine logic systems like Prolog and relational database systems, we try to augment the conventional network database system with logic interface, since the network ones have been already mainly used in database applications. This also can be used as a common interface on heterogeneous database systems in distributed database systems. We show a refutation procedure which can reduce the search space by avoiding meaningless backtracking and redundant refutations.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [APT]
    Apt, R. and van Emden, M.H., ”Contributions to the Theory of Logic Programming,” JACM, Vol.29, No.3, 1982, pp.841–862.Google Scholar
  2. [CAMP]
    Campbell,J.A., ”Implementations of Prolog,” Ellis Horowood Limited, 1984, pp.175–278.Google Scholar
  3. [CHAN]
    Chang,C.L., ”On Evaluation of Queries Containing Derived Relations in a Relational Data Base,” Logic&Database, Plenum Press, 1981.Google Scholar
  4. [CODA73]
    CODASYL DDL Committee, ”CODASYL Data Description Language,” Journal of Development, 1973.Google Scholar
  5. [CODA78]
    CODASYL DDL Committee, ”CODASYL Data Description Language,” Journal of Development, 1978.Google Scholar
  6. [CODD]
    Codd, E.F., ”A Relational Model of Data for Large Shared Data Bank,” CACM, Vol.13, No.6, 1970, pp.337–387.Google Scholar
  7. [DATE]
    Date,C.J., ”An Introduction to Database Systems,” Addison-Wesley, 1981.Google Scholar
  8. [DAYA]
    Dayal,U. et al., ”Query Optimization for CODASYL Database Systems,” Proc. of the ACM SIGMOD, 1982, pp.138–150.Google Scholar
  9. [ENDE]
    Enderton,H., ”Mathematical Introduction to Logic,” Academic Press, 1972.Google Scholar
  10. [GALL]
    Gallaire,H. et al., ”Logic and Databases: A Deductive Approach,” ACM Computing Survey, Vol.16, No.2, 1984.Google Scholar
  11. [HENS]
    Henschen, L.J. and Naqvi, S.A., ”On Compiling Queries in Recursive First-Order Databases,” JACM, Vol.31, 1984, pp.47–85.Google Scholar
  12. [HEVN]
    Hevner,A., et al., ”Query Processing on a Distributed Databases,” Proc. of the 3rd Berkely Workshop, 1978, pp.98–107.Google Scholar
  13. [JACC]
    Jaccob, B.E., ”On Database Logic,” JACM, Vol.29, No.2, 1982, pp.310–332.Google Scholar
  14. [KOBA]
    Kobayashi,I., ”Classification and Transformations of Binary Relationship Schemata,” Suuno Institute of Business Administration, 1985.Google Scholar
  15. [KOWA]
    Kowalski,R., ”Logic for Problem Solving,” North-Holland, 1979.Google Scholar
  16. [LI]
    Li,D., ”A Prolog Database,” Research Student Press, 1984.Google Scholar
  17. [LLOY]
    Lloyd,D., ”Foundation of Logic Programming,” Springer-Verlag, 1985.Google Scholar
  18. [OHSU]
    Ohsuga,S., ”Developing a Deductive Relational Database for Uniform Handling of Complex Queries,” JIP(of IPSJ), 1983, pp.123–137.Google Scholar
  19. [OLLE]
    Olle,T., ”The CODASYL Approach to Data Base Management,” John Wiley and Sons, 1978.Google Scholar
  20. [TAKI80]
    Takizawa,M., et al., ”Query Translation in Distributed Databases,” Proc. of the IFIP' 80, 1980.Google Scholar
  21. [TAKI83]
    Takizawa,M., ”Distributed Database System — JDDBS,” JARECT, Vol. 7 (Computer Science and Technologies, Kitagawa,T. ed.), Ohmsha and North-Holland, 1983, pp.264–283.Google Scholar
  22. [ULLM]
    Ullman, J.D., ”Implementation of Logical Query Language for Databases,” ACM TODS, Vol.10, No.3, 1985, pp.289–321.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Makoto Takizawa
    • 1
  • Hideaki Itoh
    • 1
    • 2
  • Kunihiko Moriya
    • 1
    • 3
  1. 1.Department of Systems and Management EngineeringTokyo Denki UniversityJapan
  2. 2.Japan Information Processing Development CenterJapan
  3. 3.Hitachi Software EngineeringJapan

Personalised recommendations