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

A study on the application of a deductive database to a CAD system

Research Project

Project/Area Number 03452291
Research Category

Grant-in-Aid for General Scientific Research (B)

Allocation TypeSingle-year Grants
Research Field Informatics
Research InstitutionKYUSHU UNIVERSITY

Principal Investigator

USHIJIMA Kazuo  Kyushu Univ., Dept. of Computer Science & Comm. Eng., Professor, 工学部, 教授 (40037750)

Co-Investigator(Kenkyū-buntansha) TAKAGI Toshihisa  The Univ. Tokyo, The Inst. for Medical Sciences, Assoc. Professor, 医科学研究所, 助教授 (30110836)
SAKAMOTO Norihiro  Kyushu Univ., Dept. of Computer Science & Comm. Eng., Research Assoc., 工学部, 助手 (00253485)
SATOU Kenji  Kyushu Univ., Dept. of Computer Science & Comm. Eng., Research Assoc., 工学部, 助手 (10215783)
程 京徳  九州大学, 工学部, 助教授 (30217228)
木實 新一  九州大学, 工学部, 助手 (70234804)
Project Period (FY) 1991 – 1993
Project Status Completed (Fiscal Year 1993)
Budget Amount *help
¥6,600,000 (Direct Cost: ¥6,600,000)
Fiscal Year 1993: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 1992: ¥4,000,000 (Direct Cost: ¥4,000,000)
Fiscal Year 1991: ¥1,700,000 (Direct Cost: ¥1,700,000)
KeywordsDeductive Database / CAD Database / Next Generation Database / Genome Database / Object-Oriented Database / Deductive Object-Oriented Database / 質問処理 / CADデータベース / ゲノム情報処理 / DNA2次構造 / 演繹デ-タベ-ス / CADデ-タベ-ス / 再帰質問処理 / マジックセット法 / ユ-ザ-インタ-フェ-ス / 間接的接続関係 / 線形再帰 / 非正規関係
Research Abstract

This study aims to improve the facilities of existing database namagement systems by using the technologies of deductive database. First we applied the technologies to a CAD system and had some success. Thecn we made use of them for genomic computation.Genome databases are required to store and manage much larger and more complex data than those that CAD databases deal with. Moreover, analyzes on genome information, such as sequence homology search, are complicated. A genome databese is a challenging application field of deductive database technologies.
Genome information consists of various kinds of data, such as results of biological experiments, knowledge on molecular biology, and references. Relationships between the data are also important genome information. Relational databases do not support to manage such complex data. Object-oriented databases are suitable for managing the complex data while deductive database technologies are essential to analyze them.
Hence, we developed a de … More ductive object-oriented database that deductive database technologies are integrated into object-oriented database technologies. Many studies have been reported on the theoretical aspect of deductive object-oriented database systems. However, the practical reports are few. Two new concepts, a class atom and a method term, were introduced into deductive database technologies. These concepts based on the object-oriented technology facilitates the integration of a deductive database and an object-oriented database.
We implemented a deductive object-oriented database and evaluated it from the view point of practical effectiveness. Based on the object-oriented technology, more than 80 classes were newly created for the genome information. Thehuman genome data (about 150 MB) derived from GenBank and GDB were stored into the deductive object-oriented database. Analyzes of the genome information by using the deductive object-oriented database revealed the descriptive power of a deductive object-oriented database concerning both data structures and database queries. This study shows the effectiveness of deductive database technologies applied to object-oriented database technologies. Less

Report

(4 results)
  • 1993 Annual Research Report   Final Research Report Summary
  • 1992 Annual Research Report
  • 1991 Annual Research Report
  • Research Products

    (32 results)

All Other

All Publications (32 results)

  • [Publications] Kazuo Ushijima,et al.: "A Deductive Language in Object-Oriented Database for Genome Analysis" Proceeding of the International Symposium on Next Generation Database Systems and Their Applications. 123-129 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Norihiro Sakamoto,et al.: "Development of Overlapping Oligonucleotide Database and Application to Signal Sequence Search of the Human Genome" Computer Applications in the Biosciences. 9. 427-434 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Kenji Satou,et al.: "A Deductive Database System PACADE for Analyzing 3-D and Secondary Structure of Protein" Computer Applications in the Biosciences. 9. 259-266 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Norihiro Sakamoto,et al.: "Object-Oriented Database with Rule-Based Query Interface for Genomic Computation" Proceedings of the 3rd International Symposium on Database Systems for Advanced Applications. 65-72 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Kenji Satou,et al.: "Similar Structure Search in a Deductive Database" Proceedings of the International Symposium on Next Generation Database Systems and Their Applications. 130-137 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Toshihisa Takagi,et al.: "Development of an Integrated Database for Genome Mapping and Nucleotide Sequences" Proceedings of the 27th Hawaiian International Conference on System Sciences. 5. 68-76 (1994)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Takahiko Suzuki, Toshihisa Takagi, and Kazuo Ushijima: "Efficient Computation of Negative Queries and Closed Queries by Using Vertically Indexed Magic Set Method on Stratified Databases (in Japanese)" Transactions of Information Processing Society Japan. Vol.32, No.2. (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Toshihisa Takagi, Takahiko Suzuki, Susumu Goto, and Kazuo Ushijima: "Applicability of a Deductive Database to CAD Systems" Proceedings of 7th International Conference on DATA ENGINEERING. 51-58 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Satoru Kuhara, Kenji Satou, Emiko Furuichi, Toshihisa Takagi, Hideki Takehara, and Yoshiyuki Sasaki: "A Deductive Database System PACADE for the Three Demensional Structure of Protein" Proceedings of the 24th Hawaiian International Conference on System Sciences. Vol.1. 653-659 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Norihiro Sakamoto, Toshihisa Takagi, and Yoshiyuki Sakaki: "Development of Overlapping Oligonucleotide Database and Application to Signal Sequence Search of the Human Genome" Computer Applications in the Biosciences. Vol.9. 427-434 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Susumu Goto, Norihiro Sakamoto, and Toshihisa Takagi: "Object-Oriented Database with Rule-Based Query Interface for Genomic Computation" Proceedings of the 3rd International Symposium on Database Systems for Advanced Applications. 65-72 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Kenji Satou, Emiko Furuichi, Toshihisa Takagi, Satoru Kuhara, and Kazuo Ushijima: "Similar Structure Search in a Deductive Database" Proceedings of the International Symposium on Next Generation Database Systems and Their Applications. 130-137 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Susumu Goto, Norihiro Sakamoto, Toshihisa Takagi, and Kazuo Ushijima: "A Deductive Language in Object-Oriented Database for Genome Analysis" Proceedings of the International Symposium on Next Generation Database Systems and Their Applications. 123-129 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Norihiro Sakamoto, Susumu Goto, and Toshihisa Takagi: "A Deductive Database System for Analyzing Human Nucleotide Sequence Data" The International Journal of Bio-Medical Computing. Vol.36, No.3. (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Kazuo Ushijima,et al.: "A Deductive Language in Object-Oriented Database for Genome Analysis" Proceeding of International Symposium on Next Generation Database Systems and Their Applications. 123-129 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] Norihiro Sakamoto,et al.: "Development of Overlapping Database and Application to Signal Sequence of the Human Genome" Computer Applicatons in the Biosciences. 9. 427-434 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] Kenji Saitou,et al.: "A Deductive Database System PACADE for Analyzing 3-D and Secondary Structure of Protein" Computer Applications in the Biosciences. 9. 259-266 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] Norihiro Sakamoto,et al.: "Object-Oriented Database with Rule-Based Query Interface for Genomic Computation" Proceeding of the 3rd International Symposium on Database Systems forAdvanced Applications. 65-72 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] Kenji Satou,et al.: "Similar Structure Search in a Deductive Database" Proceeding of the InternationalSymposium on Database Systems for Advanced Applications. 130-137 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] Toshihisa Takagi,et al.: "Development of an Integrated Database for Genome Mapping and Nucleotide Sequences" Proceedings of the 27th Hawaiian International Conference on System Sciences. 5. 68-76 (1994)

    • Related Report
      1993 Annual Research Report
  • [Publications] Toshihisa TAKAGI: "ODS:Overlapping Oligonucleotide Database with Deductive Engine for Signal Sequence Search" Proceedings of the Sencond International Conference on Bioinformatics,Supercomputing,and Complex Genome Analysis.

    • Related Report
      1992 Annual Research Report
  • [Publications] 高木 利久: "ゲノムデータベース" 情報処理. 33. 1126-1133 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] 五斗 進: "ゲノム情報解析のための演繹オブジェクト指向データベース" 情報学シンポジウム講演集. 29-38 (1993)

    • Related Report
      1992 Annual Research Report
  • [Publications] Susumu GOTO Novihiro SAKAMOTO Toshihisa TAKAGI: "ObjectーOriented Database with RuleーBased Query Interface for Genomic Compution" Proceedings of the Third International Symposium on Database Systems for Advanced Applications.

    • Related Report
      1992 Annual Research Report
  • [Publications] Kenji SATOU: "A Deductive Datadase System PACADE for Analyzing Three Dimensional and Secondary Structures of Protein" Computer Applications in the Bioscience.

    • Related Report
      1992 Annual Research Report
  • [Publications] Norihiro SAKAMOTO: "Development of Overlapping Oligonucleotide Database and Application to Signal Sequence Search of the Human Genome" Computer Applications in the Bioscience.

    • Related Report
      1992 Annual Research Report
  • [Publications] NengーFa ZHOU: "Bidirectional Inference of Mode Information for Logic Programs" Systems and Computers in Japan. 22. 1-9 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Toshihisa Takagi: "Applicability of a Deductive Database to CAD Systems" Proc.Supplement 7th IEEE International Conference on Data Engineering. 51-58 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] 高木 利久: "CADにおける接続関係検索問題を用いた演繹デ-タベ-スの質問処理法の評価" 電子情報通信学会論文誌. J74ーDー1. 485-495 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] 鈴木 孝彦: "ル-ル制約に基づく再帰質問の記述と分類" 日本ソフトウェア科学会第8回大会論文集. 341-344 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Takahiko SUZUKI: "Magic Set Computation with Differential Representation of Facts" 九州大学工学部紀要. 51. 299-312 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] 五斗進: "演繹デ-タベ-スにおける評価順序決定戦略" オブジェクトテクノロジ-の高度応用に関するObaseワ-クショップ. 61-68 (1992)

    • Related Report
      1991 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi