2000 Fiscal Year Annual Research Report

異種木構造データべースに対する制約問合せ処理の研究

Research Project

Project/Area Number	12680394
Research Institution	Hiroshima City University
Principal Investigator	北上始広島市立大学, 情報科学部, 教授 (50234240)
Co-Investigator(Kenkyū-buntansha)	黒木進広島市立大学, 情報科学部, 助教授 (20225288) 任福継広島市立大学, 情報科学部, 助教授 (20264947)
Keywords	制約データベース / 順序木 / 調停作業 / 異種データベース / ビジュアルデータベース / 系統樹
Research Abstract	本年度は,(1)制約データベースのパラダイムに多大な影響を及ぼした制約論理プログラミングの最新の研究動向調査,(2)制約データベースと空間データベースとの関わりについての検討,(3)制約問合せ言語と演繹オブジェクト指向言語との関係についての検討,(4)制約データベースのグラフィカルインタフェースの検討,(5)制約問合せ処理の最適化および高速化に関する基本検討を行った. (1)については,制約論理プログラミングで利用されている制約式の中で,どのような種類の制約式が制約データベースに採用されているかについて調査検討を行った. (2)については,空間データベースには,代数式やグラフ表現が多く導入されているが,グラフ表現に順序の概念が導入されていないことがわかった. (3)については,演繹データベースの部分に着目し,制約問合せを非再帰ルールで表現する方法を検討した.この,制約問合せは,調停に必要な2種類の部分木の選択,および部分木間の最小交差指示から構成される. (4)については,制約データベースの遠隔地からの利用も考慮し,制約問合せの際に有用な入力インタフェースおよび制約問合せ処理の結果を効果的に表示するために有用な出力インタフェースなどについて,Java等を用いて実現する方法の検討を行った.これは,ビジュアルデータベースの考え方とも一致するものと思われる. (5)については,計算時間のかかる部分木間の最小交差問題に着目し,確率的方法の導入について検討を進めている.例えば,遺伝的アルゴリズムにより,解く方法の検討を行っている.また,今後,並列処理の方法についてもさらに検討していく予定である.

Research Products

(6 results)

All Other

All Publications (6 results)

[Publications] Hajime Kitakami,and Mitsuko Nishimoto,CSREA Press: "A Constraint Solver for Reconciling Heterogeneous Trees"Proceedings of The Internatioanl Conference on Artificial Intelligence (IC-AI'2000). Vol.III. 1419-1425 (2000)
[Publications] Hajime Kitakami,and Mitsuko Nishimoto: "Constraint Satisfaction for Reconciling Heterogeneous Tree Databases"Lecture Notes in Computer Science, Proceedings of 11^<th> International Conference (DEXA2000), Springer-Verlag. Vol.1873. 624-633 (2000)
[Publications] Fuji Ren,and Yoichi Takehara: "Tool MKSFF for Acquiring Super-Function in JAVA"2000 IEEE Internatioanl Conference on System, Man, and Cybernetics, IEEE Computer Society . 2473-2480 (2000)
[Publications] Akira Sato,Jun Ogawa,and Hajime Kitakami: "An Impression-based Retrieval System of Music Collection"4^<th> Internatioanl Conference on Knowledge-Based Intelligent Engineering Systems & Allied Technologies, IEEE Computer Society. 856-859 (2000)
[Publications] Hajime Kitakami,Sueda Takashi,Yasuma Mori,and Susumu Kuroki: "Development of a Web System to Support Computer Exercises and its Operation"Proceedings of the 8^<th> Internatioanl Conference on Computers in Education/ICCAI 2000. Vol.1. 509-513 (2000)
[Publications] 笠英昭,北上始,森康真,黒木進: "トライ構造による相関ルール計算法を授業アンケートデータへ適用した結果"第2回データマイニングワークショップ,日本ソフトウェア科学会. (発表予定(3月27日)). (2001)

2000 Fiscal Year Annual Research Report

異種木構造データべースに対する制約問合せ処理の研究

Principal Investigator

北上 始 広島市立大学, 情報科学部, 教授 (50234240)

Research Products

[Publications] Hajime Kitakami,and Mitsuko Nishimoto,CSREA Press: "A Constraint Solver for Reconciling Heterogeneous Trees"Proceedings of The Internatioanl Conference on Artificial Intelligence (IC-AI'2000). Vol.III. 1419-1425 (2000)

[Publications] Hajime Kitakami,and Mitsuko Nishimoto: "Constraint Satisfaction for Reconciling Heterogeneous Tree Databases"Lecture Notes in Computer Science, Proceedings of 11^<th> International Conference (DEXA2000), Springer-Verlag. Vol.1873. 624-633 (2000)

[Publications] Fuji Ren,and Yoichi Takehara: "Tool MKSFF for Acquiring Super-Function in JAVA"2000 IEEE Internatioanl Conference on System, Man, and Cybernetics, IEEE Computer Society . 2473-2480 (2000)

[Publications] Akira Sato,Jun Ogawa,and Hajime Kitakami: "An Impression-based Retrieval System of Music Collection"4^<th> Internatioanl Conference on Knowledge-Based Intelligent Engineering Systems & Allied Technologies, IEEE Computer Society. 856-859 (2000)

[Publications] Hajime Kitakami,Sueda Takashi,Yasuma Mori,and Susumu Kuroki: "Development of a Web System to Support Computer Exercises and its Operation"Proceedings of the 8^<th> Internatioanl Conference on Computers in Education/ICCAI 2000. Vol.1. 509-513 (2000)

[Publications] 笠英昭,北上始,森康真,黒木進: "トライ構造による相関ルール計算法を授業アンケートデータへ適用した結果"第2回データマイニングワークショップ,日本ソフトウェア科学会. (発表予定(3月27日)). (2001)

北上始広島市立大学, 情報科学部, 教授 (50234240)