• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Research on a Large Scale Knowledge Information Processing System

Research Project

Project/Area Number 62065002
Research Category

Grant-in-Aid for Specially Promoted Research

Allocation TypeSingle-year Grants
Research InstitutionThe University of Tokyo

Principal Investigator

TANAKA Hidehiko  The Univ. of Tokyo, Fac. of Engineering, Professor, 工学部, 教授 (60011102)

Co-Investigator(Kenkyū-buntansha) KITSUREGAWA Masaru  Univ. of Tokyo, Inst. of Indust. Science, Assistant Professor, 生産技術研究所, 助教授 (40161509)
相田 仁  東京大学, 工学部, 講師 (00175712)
Project Period (FY) 1987 – 1990
Project Status Completed (Fiscal Year 1990)
Budget Amount *help
¥205,000,000 (Direct Cost: ¥205,000,000)
Fiscal Year 1990: ¥25,000,000 (Direct Cost: ¥25,000,000)
Fiscal Year 1989: ¥42,000,000 (Direct Cost: ¥42,000,000)
Fiscal Year 1988: ¥78,000,000 (Direct Cost: ¥78,000,000)
Fiscal Year 1987: ¥60,000,000 (Direct Cost: ¥60,000,000)
KeywordsKnowledge Information Processing / Parallel Processing / Symbolic Computing / Inference Machine / Logic Programming / Knowledge Base / Database Machine / Relational Database / 相互結合網 / 多次元クラスタリング / 同時実行制御 / 論理型プログラミング / 並列デバッガ / 並列ガーベジコレクション / 同時実行制御アルゴリズム / 関係データベース処理 / 関係データベース / データべースマシン / 知識ベース / 理論型プロケラミング / データベースマシン / 知識ベースマシン
Research Abstract

Large scale knowledge information processing system prototype was developed and studied. The system consists of parallel inference subsystem, which executes knowledge information processing programs in high speed by parallel processing, and knowledge base management Subsystem, which manages large ammount of knowledge information efficiently.
As for the research on parallel inference subsystem, Parallel Inference Engine PIE64 was studied and developed. PIE64 consists of 64 processing elements called Inference Unit (IU) and two high performance interconnection network systems which support automatic load balancing. Although some part of LSI design remains, the development, functional test, and evaluation of IU boards and interconnection network were successfully completed. We could show their realizability and effectiveness from these results. "Load Partitioning Method based on Profiling" and "Generation Scavenging GC on Distributed-Memory Parallel Computers" were proposed as new manageme … More nt methods of parallel symbolic processing on PIE64.
As for the research on parallel logic programming language, a new parallel logic programming language : FLENG was designed. A prototype FLENG processing system was developed and used extensively as a basic research tool. Highly functional debugger for parallel programs was developed on the system. Knowledge information processing application programs was developed and its characteristics were examined and analyzed.
As for the research on knowledgeーbase subsystem, we evaluated the performance of Functional Disk System in detail, which we have so far investigated to clarify secondary storage system. Based on the experimental results, we built the knowledge base managements subsystem prototype which consists of four clusters, each of which adopts tightly coupled shared memory multiprocessor architecture. We examined it could attain high performance. We also proposed novel multiーdimensionally clustered joint processing algorithm. We implemented and evaluated its effectiveness. In order to support multiーuser access, we proposed new concurrency control protocol for shared nothing machine. Extensive simulation study was performed. We could obtain optimal algorithm. Less

Report

(5 results)
  • 1990 Annual Research Report   Final Research Report Summary
  • 1989 Annual Research Report
  • 1988 Annual Research Report
  • 1987 Annual Research Report
  • Research Products

    (40 results)

All Other

All Publications (40 results)

  • [Publications] Nilsson,M. and Tanaka,H.: "Massively Parallel Implementation of Flat GHC on the Connection Machine" Proc,of the Int.Conf.on Fifth Generation Compater Systems 1988. (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Xu l.,Koike,H. and Tanaka,H.: "Distributed Garbage Collection of the Parallel Inference Machine PIE64" Proc.of the 11th Computer Congress IFIP. (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Takahashi,E.,Koike,E. and Tanaka,H.: "A Study of a High Bandwiath and Low Latency Interconnection Network in PIE64" IEEE Pacific Rim Conference on Communications,Computers and Signal Processing(to be presented). (1991)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Nakayama,M.,Kitsuregawa,M.etal.: "HashーPartitioned Join Method Using Dynamic Destaging Strategy" Proc.of the 14th Incernational Conference on Very Large Data Bases. 468-478 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Kitsuregawa,M.etal.: "Query Execution for Large Relations on Functional Disk System" IEEE the 5th International Conference on Data Engineering. (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Ohmori,T.,Kitsuregawa,M.and Tanaka,H.: "Concurremcy Control of Balk Access Tramsactisns on Shared Nothing Parallel Database Machines" Proc.of IEEE 6th Int.Cont.Engineering. (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 田中 英彦: "非ノイマン型コンピュ-タ" 電子情報通信学会, 204 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 喜連川・田中編: "Database Machines and Knowledge Base Machines" Kluwer Academic Publisheas, 687 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Nilsson, M. and Tanaka, H.: "Massively Parallel Implementation of Flat GHC on the Connection Machine" Proc. of the Int. Conf. on Fifth Generation Computer Systems 1988. (1988)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Xu, L., Koike, H. and Tanaka, H.: "Distributed Garbage Collection of the Parallel Inference Machine PIE64" Proc. of the 11th IFIP Computer Congress. (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Takahashi, E., Koike, H. and Tanaka, H.: "A Study of a High Bandwidth and Low Latency Interconnection Network in PIE64" Proc. of IEEE Pacific Rim Conference on Communications, Computers and Signal Processing. (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Nakayama, M., Kitsuregawa, M. et al.: "Hash-Partitioned Joint Method Using Dynamic Destaging Strategy" Proc. of The 14th International Conference on Very Large Data Bases. 468-478 (1988)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Kitsuregawa, M. et al.: "Query Execution for Large Relations on Functional Disk System" IEEE The 5th International Conference on Data Engineering. (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] Ohmori, T., Kitsuregawa, M. and Tanaka, H.: "Concurrency Control of Bulk Access Transactions on Shared Nothing Parallel Database Machines" Proc. of IEEE 6th Int. Conf. Engineering. (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1990 Final Research Report Summary
  • [Publications] 高橋、小池、田中: "並列推論マシンPIE64の相互結合網の作成および評価" 情報処理学会論文誌.

    • Related Report
      1990 Annual Research Report
  • [Publications] Koike,H.and Tanaka,H.: "Generation Scavenging GC on Distributed Memory Parallel Computers" Proc.of High Performance and Parallel Lisp Workshop. (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 日高、小池、舘村、田中: "実行プロファイルに基づくPIE64の負荷分散方式" 並列処理シンポジウムJSPP90の予稿集. 41-48 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] Kitsuregawa,M.,et al: "Performance Evaluation of Functional Disk System with Nonuniform Data Distribution" Proc.of the 2nd Interhational Symposium on Databases in Parallel and Distributed Systems. (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] Harada,L.;Nakano,M.;Kitsuregawa,M.;et al.: "Query Processing Method for MultiーAttribute Clustered Relations" 16th International Conference on Very Large Data Bases. (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] Harada,L.;Kituregawa,M.;et al.: "Design and Implementation of Join Algorithms for KDーTree Indexed Relations" Into Japan '90 International Computer Conference. (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] Martin Nilsson,Hidehiko Tanaka: "On MIMD Execution by SIMD Computers" Journal of Information Processing. 13. (1990)

    • Related Report
      1989 Annual Research Report
  • [Publications] Lu Xu,Hanpei Koike and Hidehiko Tanaka: "Distributed Garbage Collection for the Parallel Inference Machine PIE64" Proc.of IFIP World Computer Congress. 1161-1166 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] 館村純一,田中英彦: "並列論理型言語FLENGのデバッガ" Proc.of The Logic Programming Conference '89. 133-142 (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] Masaru KITSUREGAWA: "Functional Disk System as a High Performance Relational Database Storage" International Symposium on Database Systems for Advanced Applications. (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] Masaru Kitsuregawa,Masaya Nakayama,Mikio Takagi: "The Effect of Bucket Size Tuning in Dynamic Hybrid GRACE Hash Join Method" 15th International Conference on Very Large Data Bases. (1989)

    • Related Report
      1989 Annual Research Report
  • [Publications] Tadashi Ohmori,Masaur Kitsuregawa,Mikio Takagi: "Concurrency Control of Bulk Access Transactions on Shared Nothing Parallel Database Machines" 6th International Conference of Database Engineering. (1990)

    • Related Report
      1989 Annual Research Report
  • [Publications] 中山、喜連川、高木: Proc.of the 14th International Conf.on Verylarge Data Bases. 468-478 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] 喜連川、中野、高木: IEEE The 15th International Conf.on Data Engineering. (1989)

    • Related Report
      1988 Annual Research Report
  • [Publications] 喜連川、原田、高木: IEEE The 15th International Conf.on Data Engineering. (1989)

    • Related Report
      1988 Annual Research Report
  • [Publications] 清水、小池、島田、田中: 並列処理シンポジウムJSPP '89. 99-106 (1989)

    • Related Report
      1988 Annual Research Report
  • [Publications] 小池、田中: Proc.of the International Conf.on Fifth Generation Computer Systems. 3. 970-977 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] Nilsson,田中: Proc.of the International Conf.on Fifth Generation Computer Systems. 3. 1031-1040 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] 喜連川、田中編: "Database Machines and Knowledge Base Machines" Kluwer Academic Publishers, 687 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] M.Nilsson,H.Tanaka: Proc. of The LogicProgramming Conference′87. 1. 155-163 (1987)

    • Related Report
      1987 Annual Research Report
  • [Publications] 垂井俊明,丸山勉,田中英彦: Proc. of The Logic Programming Conference ′87. 1. 203-211 (1987)

    • Related Report
      1987 Annual Research Report
  • [Publications] 丸山勉,田中英彦: 電子情報通信学会論文誌. J70-D. 1199-1209 (1987)

    • Related Report
      1987 Annual Research Report
  • [Publications] 喜連川 優: コンピュータシステムシンポジウム論文集. 1. 93-100 (1987)

    • Related Report
      1987 Annual Research Report
  • [Publications] M.Kitsuregawa,W.Yang,T.Suzuki,M.Takagi: Proc. of 5th International Workshop on Data base Machines. 1. 144-157 (1987)

    • Related Report
      1987 Annual Research Report
  • [Publications] T.Ohmori,H.Tunaka: Proc. of 5th International Workshop on Database Machines. 1. 291-304 (1987)

    • Related Report
      1987 Annual Research Report
  • [Publications] M.Kitsureguwa,H.Tanaka: "Database Machines and Knowledge Base Machines" KLUWER ACADEMIC PUBLISHERS, (1988)

    • Related Report
      1987 Annual Research Report

URL: 

Published: 1987-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi