| 研究課題/領域番号 |
08244105
|
|---|
| 研究種目 |
重点領域研究
|
| 配分区分 | 補助金 |
|---|
| 研究機関 | 九州大学 |
|---|
研究代表者 |
牧ノ内 顕文 (牧之内 顕文 / 牧之内 顕史) 九州大学, システム情報科学研究科, 教授 (30221576)
|
|---|
| 研究分担者 |
岩間 一雄 京都大学, 情報学研究科, 教授 (50131272)
掛下 哲郎 佐賀大学, 理工学部, 助教授 (10214272)
茨木 俊秀 京都大学, 情報学研究科, 教授 (50026192)
大堀 淳 京都大学, 数理解析研究所, 助教授 (60252532)
喜連川 優 東京大学, 生産技術研究所, 教授 (40161509)
天野 浩文 九州大学, 大型計算機センター, 助教授 (80231992)
|
|---|
| 研究期間 (年度) |
1996 – 1998
|
| 研究課題ステータス |
完了 (1998年度)
|
| 配分額 *注記 |
190,400千円 (直接経費: 190,400千円)
1998年度: 62,700千円 (直接経費: 62,700千円)
1997年度: 62,400千円 (直接経費: 62,400千円)
1996年度: 65,300千円 (直接経費: 65,300千円)
|
|---|
| キーワード | 空間データベース / データの理論解析 / 並列データマイニング / オブジェクトデータベース / 一貫性制約 / データプログラミング言語 / 組み合わせ論的最適化 / 凸胞複体 / 情報ベース / データベース / 情報ベースモデル / データベースモデル / アルゴリズム / データ構造 / 並列処理 / データマイニング / トランザクション処理 |
|---|
| 研究概要 |
本研究では、情報ベースシステム構築やその応用システムで利用可能な情報ベースに係わる基本技術を研究開発してきた.その研究は理論からモデル論、さらにプロトタイプ構築まで範囲が広いといった特徴がある.以下、主な成果をあげる.
・任意次元空間データ記述モデル:凸胞複体位相空間を基礎とした空間データベースのための空間記述モデルを提唱し、そのための演算子とその利用法を提案した.また、その実装技術も明らかにした.
.オブジェクトデータベースの一貫性制約検査機構:データベースを構成する要素は問い合わせ、ビュー、プログラム、一貫性制約など多様であり、これらの正しさを保証しなければならない.集合に基づく仕様記述法を提案し、それにより上記要素の正しさを検証する技術を開発した.
・データベース上での最適化問題に対する組み合わせ論的解決法:比較的小規模なデータベースに対する複雑な問い合わせ処理を組み合わせ最適化問題に還元して解く手法を提案した.特に、MAXSATを利用した高速な処理を提案・実現した.
・データの論理的解析に関する研究:データベースに蓄えられたデータの性質を論理的に抽出するための手法としてデータを部分的に定義された論理関数として捉え、背後にある論理関数を推定していく方法を提案して、そのアルゴリズムを明らかにした.
・分類階層を伴う相関ルール並列抽出法:分類階層をもつデータアイテムから構成される大規模データベースから相関ルールを高速抽出する並列手法を提案・実装してその効果を確かめた.
・データ指向多相型言語:データベースの応用を記述するための高度なプログラミング言語が必要とされている.本研究では、データベースとプログラミング言語とを統合した新しい言語を提案した.
|
