1997 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number	08244105
Research Institution	Kyushu University
Principal Investigator	牧之内顕文九州大学, システム情報科学研究科, 教授 (30221576)
Co-Investigator(Kenkyū-buntansha)	大堀淳京都大学, 数理解析研究所, 助教授 (60252532) 喜連川優東京大学, 生産技術研究所, 教授 (40161509) 岩間一雄京都大学, 工学研究科, 教授 (50131272) 茨木俊秀京都大学, 工学研究科, 教授 (50026192) 天野浩文九州大学, 大型計算機センター, 助教授 (80231992)
Keywords	情報ベース / データベース / 情報ベースモデル / データベースモデル / アルゴリズム / データ構造 / 並列処理 / データマイニング
Research Abstract	本研究では,次世代のデータベースシステムに要求されるさまざまな機能を満たし,その上で多様な処理を可能にするような新しい情報ベースモデルとその実現技術の構築を目指している.そこで,平成9年度は,高度応用のための情報ベースモデル,高機能処理アルゴリズムおよび高効率データ構造,高度情報ベース機能の高速処理方式の3つのテーマについて研究を行った. まず,次世代の情報ベースモデルについては,位置や形状など空間的なデータと事物の発生消滅や存続期間など時間に関するデータを統合的に扱うことのできる時空間データモデルを構築した.また,一切の例外を認めない「固い」一貫性制約だけでなく,現実世界に存在する例外情報も許す「柔らかい」一貫性制約をオブジェクト指向データベース上で扱うための一貫性制約の検査機構についても検討を行った.さらに,分散協調設計環境においてバ-ジョン管理やメッセージ管理を行うためのバ-ジョンフローモデルの研究を行った. 高機能処理アルゴリズムおよびデータ構造に関しては,データベース上での組み合わせ最適化問題について検討を行い,命題論理式の充足可能性問題に帰着させることで高速に解を求める手法を得た.また,大量のデータ集合がいくつかの部分集合に分かれる場合に,個々のデータが帰属する部分集合を簡単に決定できるような論理関数を求める手法を得た. 高度情報ベース機能の高速処理方式については,分散メモリ型並列計算機上に配置されたオブジェクトを実行時に再配置することによって負荷分散を行う機構の検討を行った.また,ATMスイッチと多数のパーソナルコンピュータを用いた大規模PCクラスタにおいて,専用プロセッサを用いた超並列計算機を凌駕する性能を達成した.さらに,オブジェクト指向データベースにおける並列問い合わせ処理の研究も行った.

Research Products
(40 results)

All Other

All Publications (40 results)

[Publications] 牧之内顕文: "マルチメディアデータベース最前線" Computer Today. No.79. 46-50 (1997)
[Publications] 大月美佳,瀬川淳一,吉田紀彦,牧之内顕文: "SGMLによるデザインパターンの構造化文書化" オブジェクト指向最前線(情報処理学会オブジェクト指向シンポジウムOO'97論文集). 31-38 (1997)
[Publications] M.Otsuki,J.Segawa,N.Yoshida,Akifumi Makinouchi: "Structured Document Ftamework for Design Patterns Based on SGML" Proc.2lst IEEE COMPSAC. 320-323 (1997)
[Publications] 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)
[Publications] 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)
[Publications] 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)
[Publications] 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)
[Publications] 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)
[Publications] 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)
[Publications] 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)
[Publications] 大月美佳,吉田紀彦,牧之内顕文: "オブジェクト指向ソフトウエア部品の分散管理システム" 九州大学大学院システム情報科学研究科報告. Vol.2. 259-264 (1997)
[Publications] 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)
[Publications] 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)
[Publications] 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)
[Publications] 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)
[Publications] K.Makino,K.Yano and T.Ibaraki: "Positive and Horn decomposability of partially defined Boolean functious" Discrete Applied Mathematics. Vol.74. 251-274 (1997)
[Publications] E.Boros,P.Hammer,T.Ibaraki and A.Kogan: "Logical analysis of numerical data" Mathematical Programming. Vol.79. 163-190 (1997)
[Publications] 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)
[Publications] 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)
[Publications] 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)
[Publications] E.Boros,T.Ibaraki and K.Makino: "Error-free and best-fit extensions of partially defined Boolean functions" Information and Computation. (to appear). (1998)
[Publications] J.C.Bioch,T.Ibaraki and K.Makino: "Minimum self-dual decompositions of positive dual-minor Boolean fucntions" Discrete Applied Mathematics. (to appear). (1998)
[Publications] K.Makino and Toshihide Ibaraki: "A fast and simple algorithm for identifying 2-monotonic positive Boolean functions" Journal of Algorithms. (to appear). (1998)
[Publications] Cha,B.,Iwama,K.,Kambayashi.Y.and Miyazaki,S.: "Local search algorithms for partial MAXSAT" Proc.AAAI'97. 263-268 (1997)
[Publications] 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)
[Publications] Iwama,K.: "Complexity of Finding Short Resolution Proofs" Proc.22nd Symposium on Mathematical Foundation of Computer Sceince(MFCS'97). 309-318 (1997)
[Publications] Iwama,K.,and Iwamoto,C.: "A canonical form of vector machines" Information and Computation. (掲載予定). (1998)
[Publications] Iwama,K.,and Miyano,E.: "Better approximations of non-Hamiltonian graphs" Discrete Applied Mathematics. (掲載予定). (1998)
[Publications] 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)
[Publications] 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)
[Publications] 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)
[Publications] 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)
[Publications] 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)
[Publications] Ohori,A.and Takamizawa,T.: "An Unboxed Operational Semantics for ML Polymorphism" Journal of Lisp and Symbolic Computation. vol.10. 61-91 (1997)
[Publications] Ohori,A.: "Type System for Specializing Polymorphism" Proceedings of Theoretical Aspects of Computer Software,Springer LNCS. 1281. 107-137 (1997)
[Publications] 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)
[Publications] 山崎直子,松原義継,掛下哲郎: "認知心理学的アプローチに基づくソフトウエアの理解度計量法に対する実験的評価" 日本ソフトウエア科学会ソフトウエア工学の基礎IV(FOSE'97). 59-66 (1997)
[Publications] 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)
[Publications] 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)
[Publications] 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)

1997 Fiscal Year Annual Research Report

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

Principal Investigator

牧之内 顕文 九州大学, システム情報科学研究科, 教授 (30221576)

Research Products

[Publications] 牧之内顕文: "マルチメディアデータベース最前線" Computer Today. No.79. 46-50 (1997)

[Publications] 大月美佳,瀬川淳一,吉田紀彦,牧之内顕文: "SGMLによるデザインパターンの構造化文書化" オブジェクト指向最前線(情報処理学会オブジェクト指向シンポジウムOO'97論文集). 31-38 (1997)

[Publications] M.Otsuki,J.Segawa,N.Yoshida,Akifumi Makinouchi: "Structured Document Ftamework for Design Patterns Based on SGML" Proc.2lst IEEE COMPSAC. 320-323 (1997)

[Publications] 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)

[Publications] 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)

[Publications] 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)

[Publications] 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)

[Publications] 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)

[Publications] 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)

[Publications] 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)

[Publications] 大月美佳,吉田紀彦,牧之内顕文: "オブジェクト指向ソフトウエア部品の分散管理システム" 九州大学大学院システム情報科学研究科報告. Vol.2. 259-264 (1997)

[Publications] 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)

[Publications] 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)

[Publications] 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)

[Publications] 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)

[Publications] K.Makino,K.Yano and T.Ibaraki: "Positive and Horn decomposability of partially defined Boolean functious" Discrete Applied Mathematics. Vol.74. 251-274 (1997)

[Publications] E.Boros,P.Hammer,T.Ibaraki and A.Kogan: "Logical analysis of numerical data" Mathematical Programming. Vol.79. 163-190 (1997)

[Publications] 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)

[Publications] 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)

[Publications] 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)

[Publications] E.Boros,T.Ibaraki and K.Makino: "Error-free and best-fit extensions of partially defined Boolean functions" Information and Computation. (to appear). (1998)

[Publications] J.C.Bioch,T.Ibaraki and K.Makino: "Minimum self-dual decompositions of positive dual-minor Boolean fucntions" Discrete Applied Mathematics. (to appear). (1998)

[Publications] K.Makino and Toshihide Ibaraki: "A fast and simple algorithm for identifying 2-monotonic positive Boolean functions" Journal of Algorithms. (to appear). (1998)

[Publications] Cha,B.,Iwama,K.,Kambayashi.Y.and Miyazaki,S.: "Local search algorithms for partial MAXSAT" Proc.AAAI'97. 263-268 (1997)

[Publications] 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)

[Publications] Iwama,K.: "Complexity of Finding Short Resolution Proofs" Proc.22nd Symposium on Mathematical Foundation of Computer Sceince(MFCS'97). 309-318 (1997)

[Publications] Iwama,K.,and Iwamoto,C.: "A canonical form of vector machines" Information and Computation. (掲載予定). (1998)

[Publications] Iwama,K.,and Miyano,E.: "Better approximations of non-Hamiltonian graphs" Discrete Applied Mathematics. (掲載予定). (1998)

[Publications] 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)

[Publications] 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)

[Publications] 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)

[Publications] 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)

[Publications] 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)

[Publications] Ohori,A.and Takamizawa,T.: "An Unboxed Operational Semantics for ML Polymorphism" Journal of Lisp and Symbolic Computation. vol.10. 61-91 (1997)

[Publications] Ohori,A.: "Type System for Specializing Polymorphism" Proceedings of Theoretical Aspects of Computer Software,Springer LNCS. 1281. 107-137 (1997)

[Publications] 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)

[Publications] 山崎直子,松原義継,掛下哲郎: "認知心理学的アプローチに基づくソフトウエアの理解度計量法に対する実験的評価" 日本ソフトウエア科学会 ソフトウエア工学の基礎IV(FOSE'97). 59-66 (1997)

[Publications] 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)

[Publications] 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)

[Publications] 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)

牧之内顕文九州大学, システム情報科学研究科, 教授 (30221576)

[Publications] 山崎直子,松原義継,掛下哲郎: "認知心理学的アプローチに基づくソフトウエアの理解度計量法に対する実験的評価" 日本ソフトウエア科学会ソフトウエア工学の基礎IV(FOSE'97). 59-66 (1997)