• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Models and Technologies for Advanced Information Bases

Research Project

Project/Area Number 08244105
Research Category

Grant-in-Aid for Scientific Research on Priority Areas

Allocation TypeSingle-year Grants
Research InstitutionKyushu University

Principal Investigator

MAKINOUCHI Akifumi  Graduate School of ISEE, Kyushu Univ. Professor, システム情報科学研究科, 教授 (30221576)

Co-Investigator(Kenkyū-buntansha) IWAMA Kazuo  Graduate School of Informatics, Kyoto Univ. Professor, 情報学研究科, 教授 (50131272)
KAKESHITA Tetsuro  Science and Engineering Faculty, Saga Univ. Associate Prof., 理工学部, 助教授 (10214272)
IBARAKI Toshihide  Graduate School of Informatics, Kyoto Univ. Professor, 情報学研究科, 教授 (50026192)
OHORI Atsushi  Kyoto Univ. Associate Professor, 数理解析研究所, 助教授 (60252532)
KITSUREGAWA Masaru  Univ. of Tokyo Professor, 生産技術研究所, 教授 (40161509)
天野 浩文  九州大学, 大型計算機センター, 助教授 (80231992)
Project Period (FY) 1996 – 1998
Project Status Completed (Fiscal Year 1998)
Budget Amount *help
¥190,400,000 (Direct Cost: ¥190,400,000)
Fiscal Year 1998: ¥62,700,000 (Direct Cost: ¥62,700,000)
Fiscal Year 1997: ¥62,400,000 (Direct Cost: ¥62,400,000)
Fiscal Year 1996: ¥65,300,000 (Direct Cost: ¥65,300,000)
KeywordsSpatial Database / Logical Data Analysis / Parallel Data Mining / Object Databases / Database Consistency / Data Programming Language / Combinatrial Optimization / Cell Complex / 情報ベース / データベース / 情報ベースモデル / データベースモデル / アルゴリズム / データ構造 / 並列処理 / データマイニング / トランザクション処理
Research Abstract

The project aims at the research on basic technologies for developing future information bases. As the result our research covers various aspects of databases from spatial database model to applications of theoritical computer science to data engineering. The followings are some examples.
(a) A spatial data modeling method based on 'cell complex' which comes from the topology theory was proposed. This allows retrieval of spatial data using topological operations as well as analitical geometry ones.
(b) A method to assure the correctness of the parts of an object database management system such as views, programs, and so on was intriduced. This is based on the set-theoritical specification of these parts.
(c) The combinatorial theory was applied to database qury evaluation. Opimization based on the theory was successfully performed when it is applied to relatively-small databases.
(d) Theory of Boolean algebra was used tu analyse data in databases. It allows to mine useful facts hidden in the databases.
(e) A data programming language was proposed and designed for database applications. The languge unifies database and programming languge.
(f) A new method for parallel data mining was presented. It shows a good performance for association rule mining.

Report

(4 results)
  • 1998 Annual Research Report   Final Research Report Summary
  • 1997 Annual Research Report
  • 1996 Annual Research Report
  • Research Products

    (160 results)

All Other

All Publications (160 results)

  • [Publications] 牧ノ内顕文: "位相空間データモデルUniverseでの空間,時間,時空間データ表現"情報処理学会論文誌:データベース. 40. 2404-2416 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] M.Kitsuregawa: "Parallel Data Mining on a Commodity PC Cluster Connected with an ATM Switch"Proc. IPSJ International Symposium on Information Systems and Technologies for Network Society. 332-339 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] K.Iwama: "Undecidebility on Quntum Finite Automata"Proc. STOC99. 368-375 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] T.Kakeshita: "The view table approach to manage soft constraint on complex object"Proc. Int. Symp.on Digital Media Information Base(DMIB'97). 49-58 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] A.Ohori: "A Curry-Howard Isomorphism for Compilation and Program Execution"Proc. of Typed Lambda Calculi and applications, Springer. LNCS1581. 107-137 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] H.Ibaraki: "Data analysis by Pocision Trees"IEICE Transactions on Information and Systems. E82-D. 76-88 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] A. Makinouchi: "Space, Time, and Spatio-Temporal Representation in a Topological Space Data Model UNIVERSE"IPSJ TODS. 40. 2404-2416 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] M. Kitsuregawa: "Parallel Data Mining on a Commodity PC Cluster Connected with an ATM Switch"Proc. IPSJ international Symposium on Information Systems and Technologies for Network Society. 358-375 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] K. Iwama: "Undecidability on Quntum Finite Automata"Proc. STOC99. 368-375 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] T. Kakeshita: "The view table approach to manage soft constraint on complex object"Proc. Int. Symnp. on Digital Media Information Base (DMIB'97). 49-58 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] A. Ohori: "A Curry-Howard Isomorphism for Compilation and Program Execution"Proc. of Typed Lambda Calculi andapplications Springer. LNCS 1581. 107-137 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] H. Ibaraki: "Data analysis by Positive Decision Trees"IEICE Transactions on Information and Systems. E82-D. 76-88 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Otsuki,M.,Segawa,J.,Yoshida,N.,Makinouchi,A.: "Visual Aids for Cataloging and Code Generation for SGML-based Documents of Design Patterns" Srd World Conf.on Integrated Design and Process Technology. 305-312 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Z.Aghbari,K.Kaneko,A.Makinouchi: "A Motion-Location Based Indexing Method for Retrieving MPEG Videos" Ninth International Workshop on Database and Expert Systems AP-plications. 102-107 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] G.Wang,G.Yu,K.Kaneko,A.Makinouchi: "Design and Performance Evaluation of a DSVM Based Parallel Hash Join Algorithm for Object Databases in NOW Environments" Proceedings of the ISCA 11TH International Conference on Parallel and Distributed Computing Systems(PDCS-98). 177-182 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] B.Wang,H.Horinouchi,K.Kaneko,A.Makinouchi: "Implementing Sequoia 2000 Benchmark on Shusse-Uo and Its Performance" The International Workshop on New Database Technologies for Collaborative Work Support and Spatio-Temporal Data Management(NewDB'98). 501-512 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] H.Horinouchi,B.Wang,S.Kuroki,A.Makinouchi: "A Spatiotemporal Query Processor Based on Simplicial Representation" The International Workshop on New Database Technologies for Collaborative Work Support and Spatio-Temporal Data Management(NewDB'98). 521-532 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] X.Du,K.Kaneko,and A.Makinouchi: "Two Fast Algorithms for Repeated Mining of Association Rules Based on Resource Reuse" Proc.of the 1999 International Conference on Enterprose Informa-tion Systems. 掲載決定. (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] B.Wang,H.Horinouchi,K.Kaneko,A.Makinouchi: "Parallel R-tree Search Algorithm on DSm" Proc.Int,Symp.on Database Systems for Advanced Applications. 掲載決定. (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] Makinouchi,A.,Kakeshita,T.,Amano,H.: "Research on High Performnce Databases" IEICE Tran.on Inf.&Syst.E82-D,1. 13-21 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] 木村健一郎,堀渕高照,天野浩文,牧之内顕文: "並列オブジェクト指向データベースのための動的負荷分散機構の改良" 九州大学大型計算機センター計算機科学研究報告. 第16号(掲載予定). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] T.Eiter,T.Ibaraki and K.Makino: "Double Horn functions" Information and Computation. Vol.144. 155-190 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] T.Eiter,T.Ibaraki and K.Makino: "Computing intersections of Horn theories for reasoning with models" Proc.AAAI'98. 292-297 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] E.Boros,T.Ibaraki and K.Makino: "Logical analysis of data with missing bits" Artificial Intelligence. (to appear). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] T.Ibaraki,A.Kogan and K.Makino: "Functional Dependencies in Horn Theories" Artificial Intelligence. (to appear). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] T.Eiter,T.Ibaraki and K.Makino: "Disjunctions of Horn Theories and their Cores" Algorithms and Computation-ISAAC'98(Lecture Notes in Artifi-cial Intelligence). Vol.1533. 49-58 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] T.Eiter,T.Ibaraki and K.Makino: "On the difference of Horn theories" Theoretical Aspects of Computer Science-STACS'99(Lecture Notes in Artificial Intelligence). (to appear). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] T.Eiter,T.Ibaraki and K.Makino: "Bidual Horn Functions and Extensions" Discrete Applied Mathematics. (to appear). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] K.Makino,T.Suda,H.Ono, and T.Ibaraki: "Data Analysis by Positive Decision Trees" IEICE Transcations on Information and Systems. Vol.E82-D. 76-88 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] K.Makino,K.Hatanaka and T.Ibaraki: "Horn extensions of a partially defined Boolean function" SIAM J.on Computing. (to appear). (1999)

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

    • Related Report
      1998 Annual Research Report
  • [Publications] K.Makino and T.Ibaraki: "Inner-core and outer-core functially defined Boolean functions" DIscrete Applied Mathematics. (to appear). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] 宮崎修一,岩間一雄: "NP完全集合によるcoNP集合の近似とその応用について" 電子情報通信学会論文誌. J81-D-I,6. 677-684 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Iwama,K.,Kambayashi,Y.and Miyano,E.: "New Bounds Oblivious Mesh Routing" Proc.ESA'98(LNCS1461). 295-306 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Iwama,K.,Nozoe,M.and Yajima,S.: "Optimizing OBDDs Is Still Intractable for Monotone Functions" Proc.MFCS'98(LNCS1450). 625-635 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Iwama,K.and Iwamoto,C.: "Improved Time and Space Hierarchies of One-Tape Off-Line TMs" Proc.MFCS'98(LNCS1450). 580-588 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Iwama,K.,Miyano,E.,Tajima,S.and Tamaki,H.: "Efficient Randomized Routing Algorithms on the Two-Dimensional Mesh of Buses" Proc.COCOON'98(LNCS1449). 229-240 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Iwama,K.and Miyano,E.: "An O(√<N>)Oblivious Routing Algorithms for 2-D Meshes of Constant Queue-Size" Proc.SODA‘99. (発表予定). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] Amano,M.and Iwama,K.: "Undecidability on Quantum Finite Automata" Proc.STOC‘99. (発表予定). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] Takahiko Shintani,Masaru Kitsuregawa: "Mining Algorithms for Sequential Patterns in Parallel:Hash Based Approach" Proc.ofPAKDD‘98. 231-238 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Masaru Kitsuregawa,Masato Oguchi: "Parallel Database Processing/Data Mining on Large-Scale ATM Connected PC Cluster:Preliminary Performance Evaluation" International Journal Parallel and Distributed Systems and Net-works. Vol.1,No.2. 108-114 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Yakahiko Shintani,Masaru Kitsuregawa: "Parallel Mining Algorithms for Generalized Association Rules with Classification Hier-archy" Proc.of SIGMOD‘98. 25-36 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] S.Muto,T.Tamura,M.Nakano,M.Kitsuregawa: "Implementation and Evaulation of Parallel Relational Query Processing Using Yranse-posed Files on Shared Memory Multiprocessors" Advanced Database Reserch and Development Series. Vol.8. 192-198 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Masato Oguchi,Takahiko Shintani,Takayuki Tamura,Masaru KIturegawa: "Optimizing Protocol Parameters to Large Scale Scale PC Cluster and Evaluation of its Effec-tiveness with Parallel Data Mining" Proc.of HPDC-7. 34-41 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 小口正人,田村孝之,新谷隆彦,喜連川優: "ATM結合PCクラスタにおける並列データマイニングの実装とTCP再送機構の性能解析" 電子情報通信学会論文誌. J81-B-I,8. 461-472 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 喜連川優: "データベースとデータマイニングにおける並列処理" 情報処理. Vo.39,No.11. 1089-1094 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 中野美由紀,今井洋臣,喜連川優: " 分散共有メモリ計算における並列ハッシュ結合演算処理の性能解析" 電子情報通信学会論文誌D-I. Vol.83,No.1(掲載予定). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] T.Tamura,M.Oguchi,and M.Kitsuregawa: "High Performance Parallel Query Processing on a 100Node ATM Connected PC Cluster" IEICE Transactions on Information and Systems. E82-D,1(掲載予定). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] S.Nishimura and A.Ohori: "Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recur-sion" Journal of Functional Programming. (to appear). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] A.Ohori: "Type-Directed Specialization of Polymorphism" Journal of Information and Computation. (to appear). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] A.Ohori: "A Curry-Howard Isomorphism for Compilation and Program Execution" Proceedings of International Conference on Typed Lambda Calculi and Applications(Lecture Notes in Computer Science). (to appear). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] 大堀淳,橋本政朋: "動的永続性へのアプローチ" 電気通信情報学会論文誌D-I. (to appear). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] 村田美友紀,掛下哲郎: "集合間の相違を明確にする要素辞典" 情報処理学会論文誌:データベース. Vol.1,No.1(to appear). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] S.Inoue and M.Iwaihara: "Strctured Message Management for Group Interaction" Proc.Int.Workshop. New Database Technologies for CSCW and Spatio-Temporal Data Management(NewDB‘98). 391-402 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] S.Ichinose,M.Iwaihara and H.Yasuura: "Program Slicing on VHDL Descriptions and Its Evaluation" IEICE Trans Fundamentals. Vo.E81-A,No.12. 146-155 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 宮崎純,横田治夫: "システムパラメタの変化に対する分散メモリ型並列プロダクションシステムCPPSの性能評価" 電子情報通信学会論文誌(D-I). J81-J-I,11. 1171-1180 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 杉野栄二,横田治夫: "耐故障並列ソフトウェアの性能と信頼性に関する解析" 電子情報通信学会論文誌(D-I). J81-D-I,11. 1219-1227 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 宮崎純,横田治夫: "並列アクティブデータベースにおける弁別ネットワークの楽観的な動的最適化方式" 電子情報通信学会論文誌(D-I). J82-D-I,1(掲載予定). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] Haruo Yokota,Yasuhiko Kanemasa,Jun Miyazaki: "Fat-Btree:An Update-Conscious Parallel Directory Structure" IEEE Int.Conf.on Data Engineering‘99. (to appear). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] Hoshin,T.,Harada,M.,Nakata,M.,Tsuji,T.: "Virtual Multimedia Objecys As the Platform of Customizing Multimedia Data" Proceedings of the International Workshop on Multimedia Software. 20-27 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Hochin,T.,Nakata,M.,Tsuji,T.: "A Flexible Kernel Data Model for Bottom-Up Databases and Management of Relation-ships" Proceedings of the 1998 International Database Engineerings & Ap-plications Symposium. 170-177 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 樋口健,小倉一泰,都司達夫,宝珍輝尚: "複合オブジェクトに対する索引の分割を決定する確率アルゴリズムの実験的評価" 電子情報通信学会論文誌. J82-D-I,1(掲載予定). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] 都司達夫,樋口健,小倉一泰,宝珍輝尚: "複合オブジェクト索引の並列検索終了判定法" 電子情報通信学会論文誌. J82-D-I,2(掲載予定). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] Vreto,A.,Tsuji,T.,Hochin,T.: "A Distributed Indexing Scheme for Inberited Nested Objects" International Journal of Computers and Their Applications. 6,1(to appear). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] 三浦孝夫、塩谷勇: " スキーマ発見のための型近似" 情報処理学会論文誌. 39-4. 834-845 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 三浦孝夫、塩谷勇: "Learning Concepts From Databases" Database Experts ans Systems Application(DEXA)Conference,Wien,Austria. 826-840 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 三浦孝夫、塩谷勇: "Concept Formation From Databases" IDEAL Conference,HongKong. 411-418 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 塩谷勇,三浦孝夫: "Coodination Languages for Flexible Databases" IEEE Knowledge and Data Enginnering Exchange(KDEX). 95-102 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 塩谷勇,三浦孝夫: "Object Clustering for Scheme Learning" IEEE Tools With Artificial Intelligence(TAI). 2-9 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 三浦孝夫、塩谷勇: "A Design Methodology for Data Warehouse Based on Machine Learning" IASTED Applied Informatics(AI). (to appear). (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Ishizaka,H.,Arimura,H.,Shi-nohara,T.: "Finding tree patterns consistent with positive and negative examples using queries" Annals of Mathematics and Aetificial Intelligence. 23. 101-115 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Arimura,H.,Shimozono,S.: "Maximizing agreement with a classification by bounded or unbounded number of associated words" Proc.ISAAC‘98(Lecture Notes in Computer Science). 1533. 39-48 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Arimura,H.,Kasai,T.,Wataki,A.,Fujino,R.,Shimozono,S.,Arikawa,S.: "An efficient tool for discovering simple combinatorial patterns from large text databases" Proc.the first International Conference on Discovery Science(DS‘98)(Lecture Notes in Computer Science). 1532. 393-394 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Arimura,H.,Wataki,A.,Fujino,R.,Arikawa,S.: "A Fast Algorithm for Discovering Optimal String Patterns Large Text Databases" Proc.the 8th International Workshop on Algorithmic Learning The-ory(ALT‘98)(Lecture Notes in Artificail Intelligence). 247-261 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 茨木俊秀(共著)、編者 藤重悟: "近代科学社" 離散構造とアルゴリズムV(第4章), 254 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] J.Hsiang and A.Ohori(eds.): "Springer,Lecture Notes in Computer Science vol.1538" Advances in Computer Science-Asian98, 305 (1998)

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

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

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

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

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

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

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

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

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

    • Related Report
      1997 Annual Research Report
  • [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)

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

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

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

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

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

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

    • Related Report
      1997 Annual Research Report
  • [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)

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

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [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)

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

    • Related Report
      1996 Annual Research Report
  • [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)

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

    • Related Report
      1996 Annual Research Report
  • [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)

    • Related Report
      1996 Annual Research Report
  • [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)

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

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

    • Related Report
      1996 Annual Research Report
  • [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)

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

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

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

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

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

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

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

    • Related Report
      1996 Annual Research Report
  • [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)

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

    • Related Report
      1996 Annual Research Report
  • [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)

    • Related Report
      1996 Annual Research Report
  • [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)

    • Related Report
      1996 Annual Research Report
  • [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)

    • Related Report
      1996 Annual Research Report
  • [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)

    • Related Report
      1996 Annual Research Report
  • [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)

    • Related Report
      1996 Annual Research Report
  • [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)

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

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

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

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

    • Related Report
      1996 Annual Research Report
  • [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)

    • Related Report
      1996 Annual Research Report
  • [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)

    • Related Report
      1996 Annual Research Report
  • [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)

    • Related Report
      1996 Annual Research Report
  • [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)

    • Related Report
      1996 Annual Research Report
  • [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)

    • Related Report
      1996 Annual Research Report
  • [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)

    • Related Report
      1996 Annual Research Report
  • [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)

    • Related Report
      1996 Annual Research Report
  • [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)

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

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

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

    • Related Report
      1996 Annual Research Report
  • [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)

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

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

    • Related Report
      1996 Annual Research Report
  • [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)

    • Related Report
      1996 Annual Research Report
  • [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)

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

    • Related Report
      1996 Annual Research Report

URL: 

Published: 1996-04-01   Modified: 2019-02-18  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi