高度応用のための情報ベースモデルとその実現技術の研究

1997 年度 実績報告書

• 研究課題/領域番号: 08244105
• 研究機関: 九州大学
• 研究代表者: 牧之内 顕文 九州大学, システム情報科学研究科, 教授 (30221576)
• 研究分担者: 大堀 淳 京都大学, 数理解析研究所, 助教授 (60252532) ; 喜連川 優 東京大学, 生産技術研究所, 教授 (40161509) ; 岩間 一雄 京都大学, 工学研究科, 教授 (50131272) ; 茨木 俊秀 京都大学, 工学研究科, 教授 (50026192) ; 天野 浩文 九州大学, 大型計算機センター, 助教授 (80231992)
• キーワード: 情報ベース / データベース / 情報ベースモデル / データベースモデル / アルゴリズム / データ構造 / 並列処理 / データマイニング

研究概要

本研究では,次世代のデータベースシステムに要求されるさまざまな機能を満たし,その上で多様な処理を可能にするような新しい情報ベースモデルとその実現技術の構築を目指している.そこで,平成9年度は,高度応用のための情報ベースモデル,高機能処理アルゴリズムおよび高効率データ構造,高度情報ベース機能の高速処理方式の3つのテーマについて研究を行った.
まず,次世代の情報ベースモデルについては,位置や形状など空間的なデータと事物の発生消滅や存続期間など時間に関するデータを統合的に扱うことのできる時空間データモデルを構築した.また,一切の例外を認めない「固い」一貫性制約だけでなく,現実世界に存在する例外情報も許す「柔らかい」一貫性制約をオブジェクト指向データベース上で扱うための一貫性制約の検査機構についても検討を行った.さらに,分散協調設計環境においてバ-ジョン管理やメッセージ管理を行うためのバ-ジョンフローモデルの研究を行った.
高機能処理アルゴリズムおよびデータ構造に関しては,データベース上での組み合わせ最適化問題について検討を行い,命題論理式の充足可能性問題に帰着させることで高速に解を求める手法を得た.また,大量のデータ集合がいくつかの部分集合に分かれる場合に,個々のデータが帰属する部分集合を簡単に決定できるような論理関数を求める手法を得た.
高度情報ベース機能の高速処理方式については,分散メモリ型並列計算機上に配置されたオブジェクトを実行時に再配置することによって負荷分散を行う機構の検討を行った.また,ATMスイッチと多数のパーソナルコンピュータを用いた大規模PCクラスタにおいて,専用プロセッサを用いた超並列計算機を凌駕する性能を達成した.さらに,オブジェクト指向データベースにおける並列問い合わせ処理の研究も行った.

研究成果

• [文献書誌] 牧之内顕文: "マルチメディアデータベース最前線" Computer Today. No.79. 46-50 (1997)
• [文献書誌] 大月美佳,瀬川淳一,吉田紀彦,牧之内顕文: "SGMLによるデザインパターンの構造化文書化" オブジェクト指向最前線(情報処理学会オブジェクト指向シンポジウムOO'97論文集). 31-38 (1997)
• [文献書誌] M.Otsuki,J.Segawa,N.Yoshida,Akifumi Makinouchi: "Structured Document Ftamework for Design Patterns Based on SGML" Proc.2lst IEEE COMPSAC. 320-323 (1997)
• [文献書誌] Kaneko,K.,Makinouchi,A.: "Data Storage and Query Processing for Structured Document Databases" Proc.8th International Workshop on Database and Expert Systems Applications. 92-97 (1997)
• [文献書誌] Wang,B.,Makinouchi,A.,Kaneko,K.: "Extending Database Space of Inada/ODMG for Very Large Database on 64 Bit Work stations" Proc.8th International Workshop on Database and Expert Systems Applications. 112-117 (1997)
• [文献書誌] Andres,F.,Kaneko,K.,Folliot,B.,Ono,K.,Makinouchi,A.,ens,P.,Cadinot,P.: "The TOSDHIM System Management of Distributed Heterogeneous Multimedia Infarmation" Proc.8th International Workshop on Database and Expert Systems Applications. 126-129 (1997)
• [文献書誌] Andres,F.,Kaneko,K.,Makinouchi, A.,Ono,K.: "High Performance Multimedia Database System Support for Image Processing" Proc.8th International Workshop on Database and Expert Systems Applications. 761-766 (1997)
• [文献書誌] Kuroki,S.,Ishizuka,K.,Makinouchi,A.: "Towards a Spatio-Temporal OQL for the Four Dimensional Spatial Database System Hawks" Proc.8th International Workshop on Database and Expert Systems Applications. 142-147 (1997)
• [文献書誌] Wang,G.,Kaneko,K.,Maki-nouchi,A.: "Parallel Algorithms for Path Expressions in Object-Oriented Database Systems" Proc.IPSJ Symposium on Information Systems and Technologies for Network Society. 344-351 (1997)
• [文献書誌] Horinokuchi,H.,Kuroki,S.,Makinouchi,A.: "Design and Implementation of R^*-tree for Spatiotemporal Index" Proc.IPSJ Symposium on Information Systems and Technologies for Network Society. 199-202 (1997)
• [文献書誌] 大月美佳,吉田紀彦,牧之内顕文: "オブジェクト指向ソフトウエア部品の分散管理システム" 九州大学大学院システム情報科学研究科報告. Vol.2. 259-264 (1997)
• [文献書誌] Aghbari,Z.,Kaneko,K.,Makinouchi,A.: "New Indexing Method for Content-Based Video Retrieval and Clustering for MPEG Video Database" Proc.International Symposium on Digital Media Information Base. 140-149 (1997)
• [文献書誌] Otsuki,M.,Segawa,J.,Yoshida,N.,Makinouchi,A.: "Visual Aids for Cataloging and Code Generation for SGML-based Documents of Design Patterns" 3rd World Conf.on Integrated Design and Process Technology. (掲載予定). (1998)
• [文献書誌] Imasaki,K.,Ono,T.,Horibuchi,T.,Makinouchi,A.,Amano,H.: "Design and Evaluation of the Mechanism for Object References in a Parallel Object-Oriented Database System" Proceedings of the International Database Engineering and Appli-cations Symposium(IDEAS'97). 337-346 (1997)
• [文献書誌] Ono,T.,Amano,H.,Horibuchi,T.,Makinouchi,A.: "Performance Evaluation of Object Relocation Mechanisms for Dynamic Load Balancing in Parallel Object-Oriented Databases" Proceedings of the International Symposium on Information Systems and Technologies for Network Society. 352-355 (1997)
• [文献書誌] K.Makino,K.Yano and T.Ibaraki: "Positive and Horn decomposability of partially defined Boolean functious" Discrete Applied Mathematics. Vol.74. 251-274 (1997)
• [文献書誌] E.Boros,P.Hammer,T.Ibaraki and A.Kogan: "Logical analysis of numerical data" Mathematical Programming. Vol.79. 163-190 (1997)
• [文献書誌] E.Boros,T.Ibaraki and K.Makino: "Monotone extensions of Boolean data sets" Algorithmic Learning Theory-ALT'97(Springer Lecture Notes in Artificial Intelligence). Vol.1316). 440-451 (1997)
• [文献書誌] T.Eiter,T.Ibaraki and K.Makino: "Two-face Horn extensions" Algorithms and Computation(ISAAC'97)(Springer Lecture Notes in Computer Science). Vol.1350. 102-111 (1997)
• [文献書誌] T.Eiter,T.Ibaraki and K.Makino: "On disguised double Horn functions and extensions" 15th Symposium on Theoretical Aspects of Computer Science(STACS'98). (1998)
• [文献書誌] E.Boros,T.Ibaraki and K.Makino: "Error-free and best-fit extensions of partially defined Boolean functions" Information and Computation. (to appear). (1998)
• [文献書誌] J.C.Bioch,T.Ibaraki and K.Makino: "Minimum self-dual decompositions of positive dual-minor Boolean fucntions" Discrete Applied Mathematics. (to appear). (1998)
• [文献書誌] K.Makino and Toshihide Ibaraki: "A fast and simple algorithm for identifying 2-monotonic positive Boolean functions" Journal of Algorithms. (to appear). (1998)
• [文献書誌] Cha,B.,Iwama,K.,Kambayashi.Y.and Miyazaki,S.: "Local search algorithms for partial MAXSAT" Proc.AAAI'97. 263-268 (1997)
• [文献書誌] lwama,K.and Miyano,E.: "Three-dimensional mashes are less powerful than two-dimesional ones in oblivious routing" Proc.Fifth Europian Symposium on Algorithms(ESA'97),LNCS1284. 284-295 (1997)
• [文献書誌] Iwama,K.: "Complexity of Finding Short Resolution Proofs" Proc.22nd Symposium on Mathematical Foundation of Computer Sceince(MFCS'97). 309-318 (1997)
• [文献書誌] Iwama,K.,and Iwamoto,C.: "A canonical form of vector machines" Information and Computation. (掲載予定). (1998)
• [文献書誌] Iwama,K.,and Miyano,E.: "Better approximations of non-Hamiltonian graphs" Discrete Applied Mathematics. (掲載予定). (1998)
• [文献書誌] T.Tamura,M.Kitsuregawa,M.Takagi: "Implementation and evaluation of the bucket flattening Omega network of the parallel relational database server SDC-II" Proceedings of the fifth International Conference on Database Systems for Advanced Applications. 471-480 (1997)
• [文献書誌] M.Kitsuregawa,T.Tamura,M.Oguchi: "Parallel Database Processing/Data Mining on Large Scale ATM Connected PC Cluster" Proceedings of Parallel and Distributed Systems Euro-PDS'97. 313-320 (1997)
• [文献書誌] M.Oguchi,T.Shintani,T.Tamura,M.Kitsuregawa: "Parallel Data Mining on a Commodity PC Cluster Connected with an ATM Switch" Proceedings of IPSJ International Symposium on Information Systems and Technologies for Network Society. 332-339 (1997)
• [文献書誌] T.Tamaura,M.Oguchi,M.Kitsuregawa: "Parallel Database Processing on a 100 Node PC Cluster: Cases for Decision Support Query Processing and Data Mining" Proceedings of Super Computing'97. (1997)
• [文献書誌] S.Muto,T.Tamaura,M.Nakano,M.Kitsuregawa: "Implementation and Evaluation of Parallel Relational Query Processing Using Transposed Files on Shared Memory Multiprocessors" Proceedings of luternational Symposium on Digital Media Informaation Base. 192-198 (1997)
• [文献書誌] Ohori,A.and Takamizawa,T.: "An Unboxed Operational Semantics for ML Polymorphism" Journal of Lisp and Symbolic Computation. vol.10. 61-91 (1997)
• [文献書誌] Ohori,A.: "Type System for Specializing Polymorphism" Proceedings of Theoretical Aspects of Computer Software,Springer LNCS. 1281. 107-137 (1997)
• [文献書誌] Tetsuro KAKESHITA: "The view table approach to manage soft constraint on complex object" Proc.International Symposium on Digital Media Information Base(DMIB'97). 49-58 (1997)
• [文献書誌] 山崎直子,松原義継,掛下哲郎: "認知心理学的アプローチに基づくソフトウエアの理解度計量法に対する実験的評価" 日本ソフトウエア科学会 ソフトウエア工学の基礎IV(FOSE'97). 59-66 (1997)
• [文献書誌] M.Iwaihara,S.Inoue,and H.Matsuo: "On Unifying Message and Transaction Management for Collaborative Design Work" Proc.Int.Symp.Digital Media Information Base(DMIB'97). 300-304 (1997)
• [文献書誌] Jiang,Y.,Makinouchi,A.: "A Parallel Hash-Based Join Algorithm for a Networked Cluster of Multiprocessor Nodes" Proceedings of the IEEE Conf.on The Twenty-first Annual International Computer Software and Applications Conference. 678-683 (1997)
• [文献書誌] Jiang,Y.,Wang,G.,Makinouchi,A.: "A Dynamic Parallel Query Scheduling for Distributed Shared Persistent Object Stores" Proceedings of the International Symposium on Digital Media Information Base. 199-203 (1997)