Knowledge Base System in a Logic Programming Paradigm.

Hidenori Itoh, Hidetoshi Monoi, Hirohisa Seki: Knowledge Base System in a Logic Programming Paradigm. DASFAA 1989: 109-116
  author    = {Hidenori Itoh and
               Hidetoshi Monoi and
               Hirohisa Seki},
  editor    = {Sukho Lee and
               Hideko S. Kunii and
               Won Kim and
               In Sup Paik and
               Yahiko Kambayashi},
  title     = {Knowledge Base System in a Logic Programming Paradigm},
  booktitle = {International Symposium on Database Systems for Advanced Applications,
               Seoul, Korea, April 10-12, 1989},
  publisher = {Dept. of Computer Science, KAIST, P.O. Box 150, ChongRyang, Seoul,
               131-650, Korea},
  year      = {1989},
  pages     = {109-116},
  ee        = {db/conf/dasfaa/ItohMS89.html},
  crossref  = {DBLP:conf/dasfaa/89},
  bibsource = {DBLP,}


This paper describes about the research and development status of the knowledge base system in logic programming and the parallel processing paradigms at the end of the intermediate stage. Our aim is to realize a prototype of the fifth generation computer system in the final stage. It will consist of a parallel inference subsystem and a knowledge base subsystem. In the final stage, these subsystems will be integrated into the Prototype of the FGCS by using the parallel logic programming kernel language, Guarded Horn Clauses, or GHC defined in ICOT in 1985.

Copyright © 1989 by The Organizing Commitee of the International Symposium on Database Systems for Advanced Applications. Permission to copy without all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the DASFAA copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of the Organizing Commitee of the International Symposium on Database Systems for Advanced Applications. To copy otherwise, or to republish, requires a fee and/or special permission from the Organizing Commitee.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX


Takashi Chikayama: Unique Features of ESP. FGCS 1984: 292-298 BibTeX
F. Itoh, K. Shimakawa, K. Togo, S. Matsuda, H. Itoh: Design, Implementation, and Evaluation of a Relational Database Engine for Variable Length Records. IWDM 1987: 269-282 BibTeX
Hidenori Itoh, Masaaki Abe, Chiaki Sakama, Yuji Mitomo: Parallel Control Techniques for Dedicated Relational Database Engines. ICDE 1987: 208-215 BibTeX
Hidenori Itoh, Toshiaki Takewaki, Haruo Yokota: Knowledge Base Machine Based on Parallel Kernel Language. IWDM 1987: 17-30 BibTeX
Takeo Kakuta, Nobuyoshi Miyazaki, Shigeki Shibayama, Haruo Yokota, Kunio Murakami: The Design and Implementation of Relational Database Machine Delta. IWDM 1985: 13-34 BibTeX
Takuo Koguchi, Hidefumi Kondo, Masahiro Oba, Hidenori Itoh: Knowledge Representation with Abstractive Layers for Information Retrieval. FGCS 1988: 1168-1175 BibTeX
Hidetoshi Monoi, Yukihiro Morita, Hidenori Itoh, Hiroshi Sakai, Shigeki Shibayama: Parallel Control Technique and Performance of an MPPM Knowledge-Base Machine. ICDE 1988: 210-217 BibTeX
Hidetoshi Monoi, Yukihiro Morita, Hidenori Itoh, Toshiaki Takewaki, Hiroshi Sakai, Shigeki Shibayama: Unification-Based Query Language for Relational Knowledge Bases and Its Parallel Execution. FGCS 1988: 896-903 BibTeX
Yukihiro Morita, Haruo Yokota, Kenji Nishida, Hidenori Itoh: Retrieval-By-Unification Operation on a Relational Knowledge Base. VLDB 1986: 52-59 BibTeX
Hiroshi Sakai, Shigeki Shibayama, Hidetoshi Monoi, Yukihiro Morita, Hidenori Itoh: A Simulation Study of a Knowledge Base Machine Architecture. IWDM 1987: 585-598 BibTeX
Chiaki Sakama, Hidenori Itoh: Partial Evaluation of Queries in Deductive Databases. New Generation Comput. 6(2&3): 249-258(1988) BibTeX
Hirohisa Seki, Hidenori Itoh: A Query Evaluation Method for Stratified Programs Under the Extended CWA. ICLP/SLP 1988: 195-211 BibTeX
Hisao Tamaki, Taisuke Sato: OLD Resolution with Tabulation. ICLP 1986: 84-98 BibTeX
Yuzuru Tanaka: MPDC: Massive Parallel Architecture for Very Large databases. FGCS 1984: 113-137 BibTeX
Yuzuru Tanaka: A Multiport Page-Memory Architecture and A Multiport Disk-Cache System. New Generation Comput. 2(3): 242-260(1984) BibTeX
Kazunori Ueda: Guarded Horn Clauses. LP 1985: 168-179 BibTeX
Haruo Yokota, Susumu Kunifuji, Takeo Kakuta, Nobuyoshi Miyazaki, Shigeki Shibayama, Kunio Murakami: An Enhanced Inference Mechanism for Generating Relational Algebra Queries. PODS 1984: 229-238 BibTeX
Haruo Yokota, Sko Sakai, Hidenori Itoh: Deductive Database System based on Unit Resolution. ICDE 1986: 228-235 BibTeX
Haruo Yokota, Hidenori Itoh: A Model and an Architecture for a Relational Knowledge Base. ISCA 1986: 2-9 BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:05:12 2009