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

1998 Fiscal Year Final Research Report Summary

Models and Technologies for Advanced Information Bases

Research Project

Project/Area Number 08244105
Research Category

Grant-in-Aid for Scientific Research on Priority Areas

Allocation TypeSingle-year Grants
Research InstitutionKyushu University

Principal Investigator

MAKINOUCHI Akifumi  Graduate School of ISEE, Kyushu Univ. Professor, システム情報科学研究科, 教授 (30221576)

Co-Investigator(Kenkyū-buntansha) IWAMA Kazuo  Graduate School of Informatics, Kyoto Univ. Professor, 情報学研究科, 教授 (50131272)
KAKESHITA Tetsuro  Science and Engineering Faculty, Saga Univ. Associate Prof., 理工学部, 助教授 (10214272)
IBARAKI Toshihide  Graduate School of Informatics, Kyoto Univ. Professor, 情報学研究科, 教授 (50026192)
OHORI Atsushi  Kyoto Univ. Associate Professor, 数理解析研究所, 助教授 (60252532)
KITSUREGAWA Masaru  Univ. of Tokyo Professor, 生産技術研究所, 教授 (40161509)
Project Period (FY) 1996 – 1998
KeywordsSpatial Database / Logical Data Analysis / Parallel Data Mining / Object Databases / Database Consistency / Data Programming Language / Combinatrial Optimization / Cell Complex
Research Abstract

The project aims at the research on basic technologies for developing future information bases. As the result our research covers various aspects of databases from spatial database model to applications of theoritical computer science to data engineering. The followings are some examples.
(a) A spatial data modeling method based on 'cell complex' which comes from the topology theory was proposed. This allows retrieval of spatial data using topological operations as well as analitical geometry ones.
(b) A method to assure the correctness of the parts of an object database management system such as views, programs, and so on was intriduced. This is based on the set-theoritical specification of these parts.
(c) The combinatorial theory was applied to database qury evaluation. Opimization based on the theory was successfully performed when it is applied to relatively-small databases.
(d) Theory of Boolean algebra was used tu analyse data in databases. It allows to mine useful facts hidden in the databases.
(e) A data programming language was proposed and designed for database applications. The languge unifies database and programming languge.
(f) A new method for parallel data mining was presented. It shows a good performance for association rule mining.

  • Research Products

    (12 results)

All Other

All Publications (12 results)

  • [Publications] 牧ノ内顕文: "位相空間データモデルUniverseでの空間,時間,時空間データ表現"情報処理学会論文誌:データベース. 40. 2404-2416 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] M.Kitsuregawa: "Parallel Data Mining on a Commodity PC Cluster Connected with an ATM Switch"Proc. IPSJ International Symposium on Information Systems and Technologies for Network Society. 332-339 (1997)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] K.Iwama: "Undecidebility on Quntum Finite Automata"Proc. STOC99. 368-375 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Kakeshita: "The view table approach to manage soft constraint on complex object"Proc. Int. Symp.on Digital Media Information Base(DMIB'97). 49-58 (1997)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] A.Ohori: "A Curry-Howard Isomorphism for Compilation and Program Execution"Proc. of Typed Lambda Calculi and applications, Springer. LNCS1581. 107-137 (1997)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] H.Ibaraki: "Data analysis by Pocision Trees"IEICE Transactions on Information and Systems. E82-D. 76-88 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] A. Makinouchi: "Space, Time, and Spatio-Temporal Representation in a Topological Space Data Model UNIVERSE"IPSJ TODS. 40. 2404-2416 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] M. Kitsuregawa: "Parallel Data Mining on a Commodity PC Cluster Connected with an ATM Switch"Proc. IPSJ international Symposium on Information Systems and Technologies for Network Society. 358-375 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] K. Iwama: "Undecidability on Quntum Finite Automata"Proc. STOC99. 368-375 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T. Kakeshita: "The view table approach to manage soft constraint on complex object"Proc. Int. Symnp. on Digital Media Information Base (DMIB'97). 49-58 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] A. Ohori: "A Curry-Howard Isomorphism for Compilation and Program Execution"Proc. of Typed Lambda Calculi andapplications Springer. LNCS 1581. 107-137 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] H. Ibaraki: "Data analysis by Positive Decision Trees"IEICE Transactions on Information and Systems. E82-D. 76-88 (1999)

    • Description
      「研究成果報告書概要(欧文)」より

URL: 

Published: 2001-10-23  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi