文献

J-GLOBAL ID：200902268030311536   整理番号：09A0792622

一貫性と隔離性の細分による並行実行の正当性の検証

Studying Concurrency Correctness Criteria by Dividing Consistency and Isolation Properties

著者 (3件)： XU Haiyan (福岡工大 情報工) ,  古川哲也 (九大 大学院経済学研究院) ,  SHI Yihua (西南学院大 商)
資料名： 情報処理学会論文誌トランザクション(CD-ROM)  (情報処理学会論文誌 Computer Vision and Applications(CD-ROM))
巻： 2008  号： 2  ページ： VOL.2NO.1,22-32  発行年： 2009年04月15日 
JST資料番号： L7379A  ISSN： 1882-7772  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： Webサービスの組み立てによって各種の情報システムが構成されるようになった。そこでは直列可能でない並行実行も正当な実行とされている。本論文では,Webサービスのような一貫性を満たす部分トランザクションから構成されるトランザクションが直列可能でなくても正当であることを理論的に検証する。具体的には,トランザクションの一貫性を検索に関する一貫性,更新に関する一貫性,データ関連に関する一貫性に細分し,それにともなって細分された隔離性は,トランザクションの意味論情報がない場合では隔離性と等価となるが,一貫性を満たす部分トランザクションが存在するならば直列可能でない並行実行も正当となることを示す。さらに,トランザクションの特徴を用いて細分された隔離性ごとに判定方法を検討することにより,直列可能でない並行実行が正当となる理由を明らかにする。(著者抄録)

シソーラス用語： *トランザクション処理 ,  一貫性 ,  *情報検索 ,  検証 ,  意味論 ,  性質 ,  *並行処理
準シソーラス用語： 隔離性 ,  直列可能性 ,  正当性【計算機科学】

分類 (3件)： データベースシステム  (JD03030U) ,  検索技術  (AC06020S) ,  ディジタル計算機方式一般  (JC02010O)

引用文献 (15件)：

• Agrawal, D., Abbadi, A. E. and Singh, A. K.: Consistency and Orderability: Semantics-Based Correctness Criteria for Databases, ACM Trans. Database Syst., Vol.18, No.3, pp. 460-486(1993).
• Bernstein, P. A., Hadzilacos, V. and Goodman, N.: Concurrency Control and Recovery in Database Systems, Addison-Wesley (1987).
• Business Transaction Protocol (BTP)(2002). http://www.oasis-open.org/committees/tc home. php? wg abbrev= business-transaction
• Elmagarmid, A. K.(Ed.): Database Transaction Models for Advanced Applications, Morgan Kaufmann (1992).
• Haustein, M. P. and Harder, T.: Optimizing Lock Protocols for Native XML Processing, Data & Knowledge Eng., Vol.65, pp. 147-173(2008).

タイトルに関連する用語 (4件)： 隔離 ,  並行 ,  正当性 ,  検証