2002 Fiscal Year Annual Research Report

動的制約代数に基づく高機能電子商取引データベース

Research Project

Project/Area Number	13780246
Research Institution	Kyoto University
Principal Investigator	岩井原瑞穂京都大学, 情報学研究科, 助教授 (40253538)
Keywords	電子商取引 / データベース / 質問言語 / 問い合わせ処理 / アルゴリズム / 商交渉 / 制約問題 / 電子契約
Research Abstract	これから急速かつ広範囲にわたって実用化が進むと予想されている企業間電子商取引は,売り手および買い手が複雑な条件を提示しながら進める交渉過程が重要な位置を占めると考えられる.売り手および買い手のそれぞれの条件を制約として形式的に記述し,それをデータベースに蓄積し検索することが考えられる.これにより,売り手および買い手が,条件が整合する可能性のある相手を探したり,相手の条件の充足を確認することが可能になり,高度な電子商取引サイトの構築が行なえる.本研究では,研究代表者が提案している動的制約代数というデータベース質問言語を基礎として,多様な交渉が可能な電子商取引データベースを開発することを目的とする. 本年度は,以下の研究を行った.本研究の目的は以下からなる. 動的制約代数の処理系を実装し,実験を行なった.これにより,売り手あるいは買い手側から相手の条件を検索したり,双方の条件の照合を行なう. 1.動的制約データベース入出力ツール:昨年度開発した動的制約記述言語を改良し,簡略な制約記述が可能な言語を新たに設計し,その構文解析プログラムを実装した. 2.動的制約代数質問インタフェース:動的質問代数の対話型およびバッチ型質問インタフェースであり,質問の構文解析を行ない,質問処理エンジンに渡す. 3.動的制約代数質問処理エンジン:与えられた質問の局所的な最適化を行ない,それから動的制約データベースに対し質問評価を行なう.昨年度開発したエンジンに対し,改良したアルゴリズムに基づくあらたな処理系を行なった. 本年度実装した動的制約代数質問処理エンジンにより,実行速度の大幅な向上を行なうことができた.今後さらに評価実験を進める予定である.

Research Products
(5 results)

All Other

All Publications (5 results)

[Publications] M.Iwaihara, M.Kozawa, J.Narazaki, Y.Kambayashi: "A System for Querying and Viewing Business Constraints"Proc. Int. Workshop on Rule Markup Languages for Business Rules on the Semantic Web, CEUR-WS Publication http://CEUR-WS.org/Vol-60/. (2002)
[Publications] Ito C., M.Iwaihara, Y.Kambayashi: "Fair Exchange Under Limited Trust"Proc. 3rd VLDB Workshop on Technologies for E-Services (TES'02), LNCS 2444. 161-169 (2002)
[Publications] M.Kozawa, M.Iwaihara, Y.Kambayashi: "Constraint Search for Comparing Multiple-Incentive Merchandises"Proc. 3rd International Conference on Electronic Commerce and Web Technologies (EC-Web), LNCS2455. 152-161 (2002)
[Publications] S.Chatvichienchai, M.Iwaihara, Y.Kambayashi: "Translating Access Authorizations for Transformed XML Documents"Proc. 13th International Conference on Database and Expert Systems Applications -DEXA 2002, LNCS 2453. 290-299 (2002)
[Publications] S.Chatvichienchai, M.Iwaihara, Y.Kambayashi: "Towards Translating Authorizations for Transformed XML Documents"Proc. 3rd Int. Conf. Web Information Systems Engineering(WISE2002), IEEE CS Press. 291-300 (2002)

2002 Fiscal Year Annual Research Report

動的制約代数に基づく高機能電子商取引データベース

Principal Investigator

岩井原 瑞穂 京都大学, 情報学研究科, 助教授 (40253538)

Research Products

[Publications] M.Iwaihara, M.Kozawa, J.Narazaki, Y.Kambayashi: "A System for Querying and Viewing Business Constraints"Proc. Int. Workshop on Rule Markup Languages for Business Rules on the Semantic Web, CEUR-WS Publication http://CEUR-WS.org/Vol-60/. (2002)

[Publications] Ito C., M.Iwaihara, Y.Kambayashi: "Fair Exchange Under Limited Trust"Proc. 3rd VLDB Workshop on Technologies for E-Services (TES'02), LNCS 2444. 161-169 (2002)

[Publications] M.Kozawa, M.Iwaihara, Y.Kambayashi: "Constraint Search for Comparing Multiple-Incentive Merchandises"Proc. 3rd International Conference on Electronic Commerce and Web Technologies (EC-Web), LNCS2455. 152-161 (2002)

[Publications] S.Chatvichienchai, M.Iwaihara, Y.Kambayashi: "Translating Access Authorizations for Transformed XML Documents"Proc. 13th International Conference on Database and Expert Systems Applications -DEXA 2002, LNCS 2453. 290-299 (2002)

[Publications] S.Chatvichienchai, M.Iwaihara, Y.Kambayashi: "Towards Translating Authorizations for Transformed XML Documents"Proc. 3rd Int. Conf. Web Information Systems Engineering(WISE2002), IEEE CS Press. 291-300 (2002)

岩井原瑞穂京都大学, 情報学研究科, 助教授 (40253538)