ワークフロートランザクションの一貫性と隔離性に関する研究

2003 Fiscal Year Annual Research Report

• Project/Area Number: 15500079
• Research Institution: Fukuoka Institute of Technology
• Principal Investigator: 徐 海燕 福岡工業大学, 情報工学部, 教授 (80226373)
• Co-Investigator(Kenkyū-buntansha): 史 一華 西南学院大学, 商学部, 教授 (90249623)
• Keywords: データベース / ワークフロー / 並行実行 / トランザクション / 記述法 / 入出力条件 / 隔離性 / すくみ

Research Abstract

本年度では、次の二つのステップに分けて研究を行った。
1)ワークフロートランザクションの一貫性を保証するための隔離性について検討する。データベースの並行処理制御は、トランザクションの一貫性と隔離性によって実行結果のデータベースの一貫性を保証している。しかし、ワークフロートランザクションの一貫性は、入力データはタスク単位、出力データはトランザクション単位で満足される。タスクは入出力条件で表されるアプリケーションの一貫性情報も利用できる。したがって、隔離性の定義もそれに応じて再検討する必要がある。本研究では、入力データの隔離性と出力データの隔離性を導入し、それらによって並行実行における入出力データの一貫性を保証できることを示した。
2)同じまたは異なるワークフローに属する複数個のインスタンスが、並行に実行されるときに生じるワークフローの定義方法にかかわる問題について検討する。ワークフローの実行の各時点において、祖先タスクの出力データが満たす条件によって禁止される他のインスタンスの実行というインスタンス間の実行順序には閉路が生じうることを示す。その中には、直列実行しか許されない場合や並行に実行可能な場合が存在する。本研究では、ワークフローの定義による回避方法を与えた。

Research Products

• [Publications] 徐海燕, 古川哲也: "ワークフロートランザクションの隔離性"情報処理学会論文誌:データベース. Vol.44,No.SIG8(TOD18). 55-64 (2003)
• [Publications] 徐海燕, 古川哲也: "並行実行を考慮したワークフローの記述法"日本データベース学会誌. Vol.2,No.4. 22-25 (2004)
• [Publications] 徐海燕: "ワークフローに対する施錠制御方式"福岡工業大学情報科学研究所所報. Vol.14. 35-44 (2003)