1996 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number	08244105
Research Category	Grant-in-Aid for Scientific Research on Priority Areas
Research Institution	Kyushu University
Principal Investigator	牧之内顕文九州大学, 大学院・システム情報科学研究科, 教授 (30221576)
Co-Investigator(Kenkyū-buntansha)	掛下哲郎佐賀大学, 理工学部, 助教授 (10214272) 大堀淳京都大学, 数理解析研究所, 助教授 (60252532) 喜連川優東京大学, 生産技術研究所, 助教授 (40161509) 岩間一雄大学院, システム情報科学研究科, 教授 (50131272) 茨木俊秀京都大学, 大学院・工学研究科, 教授 (50026192)
Keywords	データベース / 情報ベース / データベースモデル / 情報ベースモデル / アルゴリズム / データ構造 / 並列処理 / トランザクション処理
Research Abstract	本研究では,次世代のデータベースシステムに要求されるさまざまな機能を満たし,その上で多様な処理を可能にするようなような新しい情報ベースモデルとその実現技術の構築を目視している.そこで,平成8年度は,高度応用のための情報ベースモデル,高機能処理アルゴリズムおよび高効率データ構造,高度情報ベース機能の高速処理方式の3つのテーマについて,従来のデータベースモデル・実装技術が抱える問題点の分析と,それらに対する可能な解決策の候補の列挙を行った. まず,次世代の情報ベースモデルについては,オブジェクト指向パラダイムの利点を損なうことなく,関係データベースの持つさまざまな機能を取り入れるための理論的基礎を得ることができた.今後は,問い合わせ最適化の基礎となる代数系の理論の構築や時間空間構造を柔軟に表現できるデータモデル,ワークフロー管理とバ-ジョン管理を統合するモデルなどの研究を行いたい. また,高機能処理アルゴリズムおよびデータ構造に関しては,大量のデータの中に隠れた論理的性質を抽出して知識を獲得したり,大量のデータの間の最適な組合せなどを求める処理について理論的な検討を行った.このような処理には,莫大な計算量が必要となるが,平成8年度にはこれを効率的に解くためのアルゴリズムがいくつか得られた.今後は,これらを改良して実用的規模の問題に適用することを目指す. さらに,分散メモリ型並列計算機上に配置されたオブジェクト間の相互参照を高速に処理する機構や,この種の計算機上で大規模なデータマイニングを行うアルゴリズムが得られた.今後は,それらの改良や高度な負荷制御機構の研究を行うとともに,分散メモリ型並列計算機による並列問い合わせ処理の研究を行う.

Research Products

(44 results)

All Other

All Publications (44 results)

[Publications] 金子邦彦,黒木進,牧之内顕文: "アニメーションデータベースシステムMOVEにおける動きの格納と検索法" 電子情報通信学会論文誌D-1. J79・10. 834-842 (1996)
[Publications] Kaneko,K.,Makinouchi,A.,Aritsugi,M.: "Multimedia Application using a Database Programming Language-INADA" Proc.1996 IEEE International Conference on Multimedia Computing and Systems. 458-461 (1996)
[Publications] 金子邦彦,牧之内顕文,有次正義: "分散データベースサーバ・イナダの並列処理アーキテクチャ" 1996年並列処理シンポジウムJSPP'96. 105-112 (1996)
[Publications] Ohtsuki. M., Yoshida, N.,Makinouchi.A.: "A Distributed Repository for Object-Oriented Software Components" Proceedings of the 1996 Asia-Pacific Software Engineering Conference(APSEC'96). Vol.2. 47-54 (1996)
[Publications] Ono. T. Horibuchi. T.,Imasaki.K.,Amano,H.et al.: "Desigin of Dynamic Load Balancing Mechanisms for Massively Parallel Object-Oriented Databases" Proceedings of the International Symposium on Cooperative Database Systems for Advanced Applications. Vol.1. 23-26 (1996)
[Publications] K.Makino,T.Ibaraki: "Interior and exterior functions of Boolean functions" Discrete Applied Mathematics. 69. 209-231 (1996)
[Publications] E. Boros, T. Ibaraki, K.Makino: "Boolean analysis of imcomplete examples" Springer Lecture Notes in Computer Science. 1097. 440-451 (1996)
[Publications] E.Boros,P.L.Hammer,T.Ibaraki and K.Kawakami: "Polynomial time recognition of 2-monotonic positive Boolean functions given by anoracle" SIAM J.on Computing. (未定). (1997)
[Publications] K.Makino,T.Ibaraki: "The maximum latency and identification of positive Boolean functions" SIAM J.on Computing. (未定). (1997)
[Publications] Y.Crama,T.Ibaraki: "Hitting or avoiding balls in Euclidian space" Annals of Operations Research. (未定). (1997)
[Publications] K.Makino,T.Ibaraki: "Inner-core and outer-core functions of partially defined Boolean functions" Discrete Applied Mathematics. (未定). (1997)
[Publications] J.C.Bioch,T.Ibaraki,K.Makino: "Minimum self-dual decompositions of positive dual-minor Boolean functions" Discrete Applied Mathematics. (未定). (1997)
[Publications] Iwama,K.,Iwamoto,C.and M Morshed.: "Time lower bounds do not exist for CRCW PRAMs" Theoretical Computer Science. 155. 411-424 (1996)
[Publications] Iwama,K.,Miyano,E.,Kambayashi,Y.,: "Routing problems on the mesh of buses" J.Algorithms. 20・3. 613-631 (1996)
[Publications] Iwama,K.and Iwamoto,C.: "α-Connectivity: A gradually non-parallel graph problem" J.Algorithms. 20・3. 526-544 (1996)
[Publications] Iwama,K.and Iwamoto,C.: "Parallel complexity hierarchies based on PRAMs and DLOGTIME-uniform circuits" Proc. 11th IEEE Conference on Computational Complexity(Complexity'96). 24-32 (1996)
[Publications] Cha,B.,Iwama,K.: "Adding new clauses for faster local search," Proc.13th National Conference on Artificial Intelligence(AAAI'96). 332-337 (1996)
[Publications] Asahiro, Y., Iwama, K.Tamaki,H.and Tokuyama,T.: "Greedily finding a dense subgraph," Proc.Fifth Scandinavian Workshop on Algorithm Theory(SWAT96). 136-14 (1996)
[Publications] Asahiro, Y., Iwama, K.Tamaki,H.and Tokuyama,T.: "Greedily finding a dense subgraph," Proc.Fifth Scandinavian Workshop on Algorithm Theory(SWAT96). 136-148 (1996)
[Publications] Asahiro, Y., Iwama, K.,Miyano,E.: "Random Generation of Test Instances with Controlled Attributes," DIMACS Series in Discrete Mathematics and Theoretical Computer Science,American Mathematical Society. 26. 377-393 (1996)
[Publications] Iwama,K.,and Takaki,K.: "Satisfiability of 3CNF Formulas with Small Clause/Variable-Ratio," DIMACS Series in Discrete Mathematics and Theoretical Computer Science,American Mathematical Society. (未定). (1997)
[Publications] Miyazaki、S.,Iwama、K.and Kambayashi,Y.: "Database queries as combinatorial optimization problems," Proc.International Symposium on Cooperative Database Systems for Advanced Applications(CODAS'96). 448-454 (1996)
[Publications] Iwama, K., Hino, K.,Kurokawa,H.,Sawada,S.: "Random benchmark circuits with controlled attributes," Proc. European Design ε Test Conference and Exhibition(EDεTC'97). (未定). (1997)
[Publications] Iwama,K.and Miyano,E.: "Oblivious Routing Algorithms on the Mesh of Buses" Proc.International Parallel Processing Symposium(IPPS'97). (未定). (1997)
[Publications] Iwama,K.,Iwamoto,C.,and Ohsawa,T.: "A faster parallel algorithm for k-connectivity" Inform.Process.Lett.(未定). (1997)
[Publications] 岩本宙造、岩間一雄: "並列計算用に拡張したTMの時間計算量の階層" 電子情報通信学会論文誌. (未定). (1997)
[Publications] M.Kitsuregawa: "Introduction to the Super Database Computer,SDC-II" Advances in Computing Techniques. 101-113 (1996)
[Publications] K.Mogi,M.Kitsuregawa: "Hot Mirroring:A method of hiding parity update penalty and degradation during rebuilds for RAIDS 5" Proc.on SIGMOD'96. 183-194 (1996)
[Publications] T.Tamura, M.Nakamura,M.Kitsuregawa,Y.Ogawa: "Implementation and Performance Evaluation of the Parallel Relational Database Sever SDC-II" Proc.on ICPP'96. 212-221 (1996)
[Publications] K.Mogi,M.Kitsuregawa: "Virtual Striping: A Storage Management Scheme with Dynamic Striping" IEICE Transaction on Information and Systems. E79-D・8. 1086-1092 (1996)
[Publications] T.Nemoto、 M.Kitsuregawa,and M.Takagi: "Design and implementation of scalable tape archiver" Proc. the Fifth NASA GSFC Conference on Mass Storage Systems and Technologies. 229-237 (1996)
[Publications] M.Nakano,M.Kitsuregawa: "Examination of Criteria for Choosing a Run Time Method in GN Hash Join Algorithm" IEICE Transactions on Information and Systems. E79D・11. 1561-1569 (1996)
[Publications] M.Oguchi,T.Shintani,T.Tamuram,M.Kitsuregawa: "Preliminary Experimental Results of a Parallel Association Rule Mining on ATM connected PC Clusters" International Symposium on Cooperative Database Systems for Advanced Applications. 278-281 (1996)
[Publications] Takahiko Shintani and Masaru Kitsuregawa: "Hash Based Parallel Algorithms for Mining Association Rules" Fourth International Conference on Parallel and Distributed Information Systems. 19-30 (1996)
[Publications] Susumu Nishimura, Atsushi Ohori,and Keishi Tajima: "An Equational Object-Oriented Data Model and its Data-Parallel Query Language" Proceedings of ACM OOPSLA Conference. 1-14 (1996)
[Publications] Atsushi Ohori and Tomonobu Takamizawa: "An Unboxed Operational Semantics for ML Polymorphism" Journal of Lisp and Symbolic Computation. (未定). (1997)
[Publications] Y.Watanabe,K.Yoshino,T.Kakeshita: "Solving combinatorial optimization problems using the oscillatory neural network" 電子情報通信学会論文誌. (未定). (1997)
[Publications] 掛下哲郎、村田美友紀: "複合オブジェクトを宣言的に操作するためのビュー機能" 電子情報通信学会論文誌 D-I. J79D・10. 811-819 (1996)
[Publications] T.Kakeshita,S.Kubo: "A transaction processing architecture for effective load balancing utilizing high speed bus" Proc.International Symposium on Cooperative Database Systems for Advanced Applications. Vol.1. 27-30 (1996)
[Publications] 掛下哲郎,松原義継,山崎直子: "認知心理学的アプローチに基づいたオブジェクト指向設計の複雑さ計量法" 日本ソフトウエア科学会ソフトウエア工学の基礎III(FOSE'96). 138-141 (1996)
[Publications] M.Iwaihara and M.Hirofuji: "Implicit Representations of Graphs by OBDDs and Patricia BDDs" IEICE Trans.Fundamentals. E79A・7. 1068-1078 (1996)
[Publications] M.Nomura,S.Ichinose,M.Iwaihara and H.Yasuura: "Slicing VHDL Descriptions for Design Modification Support" Proc.the 6th Workshop on Synthesis And System Integration of MIxed Technologies(SASIMI'96). 162-169 (1996)
[Publications] Jiang,Y.,Aritsugi,M.,Makinouchi,A.: "Integrating Parallel Functions into the Manipulation for Distributed Persistent Objects" Proceedings of the IEEE Conf. on The Twentieth Annual International Computer Software and Applications Conference. Vol.1. 76-82 (1996)
[Publications] 大堀淳: "プログラミング言語の基礎理論(情報数学講座9)" 共立出版株式会社(未定), (1997)

1996 Fiscal Year Annual Research Report

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

Principal Investigator

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

Research Products

[Publications] 金子邦彦,黒木進,牧之内顕文: "アニメーションデータベースシステムMOVEにおける動きの格納と検索法" 電子情報通信学会論文誌D-1. J79・10. 834-842 (1996)

[Publications] Kaneko,K.,Makinouchi,A.,Aritsugi,M.: "Multimedia Application using a Database Programming Language-INADA" Proc.1996 IEEE International Conference on Multimedia Computing and Systems. 458-461 (1996)

[Publications] 金子邦彦,牧之内顕文,有次正義: "分散データベースサーバ・イナダの並列処理アーキテクチャ" 1996年並列処理シンポジウムJSPP'96. 105-112 (1996)

[Publications] Ohtsuki. M., Yoshida, N.,Makinouchi.A.: "A Distributed Repository for Object-Oriented Software Components" Proceedings of the 1996 Asia-Pacific Software Engineering Conference(APSEC'96). Vol.2. 47-54 (1996)

[Publications] Ono. T. Horibuchi. T.,Imasaki.K.,Amano,H.et al.: "Desigin of Dynamic Load Balancing Mechanisms for Massively Parallel Object-Oriented Databases" Proceedings of the International Symposium on Cooperative Database Systems for Advanced Applications. Vol.1. 23-26 (1996)

[Publications] K.Makino,T.Ibaraki: "Interior and exterior functions of Boolean functions" Discrete Applied Mathematics. 69. 209-231 (1996)

[Publications] E. Boros, T. Ibaraki, K.Makino: "Boolean analysis of imcomplete examples" Springer Lecture Notes in Computer Science. 1097. 440-451 (1996)

[Publications] E.Boros,P.L.Hammer,T.Ibaraki and K.Kawakami: "Polynomial time recognition of 2-monotonic positive Boolean functions given by anoracle" SIAM J.on Computing. (未定). (1997)

[Publications] K.Makino,T.Ibaraki: "The maximum latency and identification of positive Boolean functions" SIAM J.on Computing. (未定). (1997)

[Publications] Y.Crama,T.Ibaraki: "Hitting or avoiding balls in Euclidian space" Annals of Operations Research. (未定). (1997)

[Publications] K.Makino,T.Ibaraki: "Inner-core and outer-core functions of partially defined Boolean functions" Discrete Applied Mathematics. (未定). (1997)

[Publications] J.C.Bioch,T.Ibaraki,K.Makino: "Minimum self-dual decompositions of positive dual-minor Boolean functions" Discrete Applied Mathematics. (未定). (1997)

[Publications] Iwama,K.,Iwamoto,C.and M Morshed.: "Time lower bounds do not exist for CRCW PRAMs" Theoretical Computer Science. 155. 411-424 (1996)

[Publications] Iwama,K.,Miyano,E.,Kambayashi,Y.,: "Routing problems on the mesh of buses" J.Algorithms. 20・3. 613-631 (1996)

[Publications] Iwama,K.and Iwamoto,C.: "α-Connectivity: A gradually non-parallel graph problem" J.Algorithms. 20・3. 526-544 (1996)

[Publications] Iwama,K.and Iwamoto,C.: "Parallel complexity hierarchies based on PRAMs and DLOGTIME-uniform circuits" Proc. 11th IEEE Conference on Computational Complexity(Complexity'96). 24-32 (1996)

[Publications] Cha,B.,Iwama,K.: "Adding new clauses for faster local search," Proc.13th National Conference on Artificial Intelligence(AAAI'96). 332-337 (1996)

[Publications] Asahiro, Y., Iwama, K.Tamaki,H.and Tokuyama,T.: "Greedily finding a dense subgraph," Proc.Fifth Scandinavian Workshop on Algorithm Theory(SWAT96). 136-14 (1996)

[Publications] Asahiro, Y., Iwama, K.Tamaki,H.and Tokuyama,T.: "Greedily finding a dense subgraph," Proc.Fifth Scandinavian Workshop on Algorithm Theory(SWAT96). 136-148 (1996)

[Publications] Asahiro, Y., Iwama, K.,Miyano,E.: "Random Generation of Test Instances with Controlled Attributes," DIMACS Series in Discrete Mathematics and Theoretical Computer Science,American Mathematical Society. 26. 377-393 (1996)

[Publications] Iwama,K.,and Takaki,K.: "Satisfiability of 3CNF Formulas with Small Clause/Variable-Ratio," DIMACS Series in Discrete Mathematics and Theoretical Computer Science,American Mathematical Society. (未定). (1997)

[Publications] Miyazaki、S.,Iwama、K.and Kambayashi,Y.: "Database queries as combinatorial optimization problems," Proc.International Symposium on Cooperative Database Systems for Advanced Applications(CODAS'96). 448-454 (1996)

[Publications] Iwama, K., Hino, K.,Kurokawa,H.,Sawada,S.: "Random benchmark circuits with controlled attributes," Proc. European Design ε Test Conference and Exhibition(EDεTC'97). (未定). (1997)

[Publications] Iwama,K.and Miyano,E.: "Oblivious Routing Algorithms on the Mesh of Buses" Proc.International Parallel Processing Symposium(IPPS'97). (未定). (1997)

[Publications] Iwama,K.,Iwamoto,C.,and Ohsawa,T.: "A faster parallel algorithm for k-connectivity" Inform.Process.Lett.(未定). (1997)

[Publications] 岩本宙造、岩間一雄: "並列計算用に拡張したTMの時間計算量の階層" 電子情報通信学会論文誌. (未定). (1997)

[Publications] M.Kitsuregawa: "Introduction to the Super Database Computer,SDC-II" Advances in Computing Techniques. 101-113 (1996)

[Publications] K.Mogi,M.Kitsuregawa: "Hot Mirroring:A method of hiding parity update penalty and degradation during rebuilds for RAIDS 5" Proc.on SIGMOD'96. 183-194 (1996)

[Publications] T.Tamura, M.Nakamura,M.Kitsuregawa,Y.Ogawa: "Implementation and Performance Evaluation of the Parallel Relational Database Sever SDC-II" Proc.on ICPP'96. 212-221 (1996)

[Publications] K.Mogi,M.Kitsuregawa: "Virtual Striping: A Storage Management Scheme with Dynamic Striping" IEICE Transaction on Information and Systems. E79-D・8. 1086-1092 (1996)

[Publications] T.Nemoto、 M.Kitsuregawa,and M.Takagi: "Design and implementation of scalable tape archiver" Proc. the Fifth NASA GSFC Conference on Mass Storage Systems and Technologies. 229-237 (1996)

[Publications] M.Nakano,M.Kitsuregawa: "Examination of Criteria for Choosing a Run Time Method in GN Hash Join Algorithm" IEICE Transactions on Information and Systems. E79D・11. 1561-1569 (1996)

[Publications] M.Oguchi,T.Shintani,T.Tamuram,M.Kitsuregawa: "Preliminary Experimental Results of a Parallel Association Rule Mining on ATM connected PC Clusters" International Symposium on Cooperative Database Systems for Advanced Applications. 278-281 (1996)

[Publications] Takahiko Shintani and Masaru Kitsuregawa: "Hash Based Parallel Algorithms for Mining Association Rules" Fourth International Conference on Parallel and Distributed Information Systems. 19-30 (1996)

[Publications] Susumu Nishimura, Atsushi Ohori,and Keishi Tajima: "An Equational Object-Oriented Data Model and its Data-Parallel Query Language" Proceedings of ACM OOPSLA Conference. 1-14 (1996)

[Publications] Atsushi Ohori and Tomonobu Takamizawa: "An Unboxed Operational Semantics for ML Polymorphism" Journal of Lisp and Symbolic Computation. (未定). (1997)

[Publications] Y.Watanabe,K.Yoshino,T.Kakeshita: "Solving combinatorial optimization problems using the oscillatory neural network" 電子情報通信学会論文誌. (未定). (1997)

[Publications] 掛下 哲郎、村田 美友紀: "複合オブジェクトを宣言的に操作するためのビュー機能" 電子情報通信学会論文誌 D-I. J79D・10. 811-819 (1996)

[Publications] T.Kakeshita,S.Kubo: "A transaction processing architecture for effective load balancing utilizing high speed bus" Proc.International Symposium on Cooperative Database Systems for Advanced Applications. Vol.1. 27-30 (1996)

[Publications] 掛下 哲郎,松原 義継,山崎 直子: "認知心理学的アプローチに基づいたオブジェクト指向設計の複雑さ計量法" 日本ソフトウエア科学会 ソフトウエア工学の基礎III(FOSE'96). 138-141 (1996)

[Publications] M.Iwaihara and M.Hirofuji: "Implicit Representations of Graphs by OBDDs and Patricia BDDs" IEICE Trans.Fundamentals. E79A・7. 1068-1078 (1996)

[Publications] M.Nomura,S.Ichinose,M.Iwaihara and H.Yasuura: "Slicing VHDL Descriptions for Design Modification Support" Proc.the 6th Workshop on Synthesis And System Integration of MIxed Technologies(SASIMI'96). 162-169 (1996)

[Publications] Jiang,Y.,Aritsugi,M.,Makinouchi,A.: "Integrating Parallel Functions into the Manipulation for Distributed Persistent Objects" Proceedings of the IEEE Conf. on The Twentieth Annual International Computer Software and Applications Conference. Vol.1. 76-82 (1996)

[Publications] 大堀 淳: "プログラミング言語の基礎理論(情報数学講座9)" 共立出版株式会社(未定), (1997)

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

[Publications] 掛下哲郎、村田美友紀: "複合オブジェクトを宣言的に操作するためのビュー機能" 電子情報通信学会論文誌 D-I. J79D・10. 811-819 (1996)

[Publications] 掛下哲郎,松原義継,山崎直子: "認知心理学的アプローチに基づいたオブジェクト指向設計の複雑さ計量法" 日本ソフトウエア科学会ソフトウエア工学の基礎III(FOSE'96). 138-141 (1996)

[Publications] 大堀淳: "プログラミング言語の基礎理論(情報数学講座9)" 共立出版株式会社(未定), (1997)