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

• 徐, 海燕

• 古川, 哲也

• 史, 一華

書誌事項

タイトル別名

• イッカンセイ ト カクリセイ ノ サイブン ニ ヨル ヘイコウ ジッコウ ノ セイトウセイ ノ ケンショウ
• Studying Concurrency Correctness Criteria by Dividing Consistency and Isolation Properties

抄録

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

It has become possible to build various systems using Web services as their components. This paper discusses the properties to execute such transactions correctly that consist of Web services as their subtransactions. By dividing consistency and isolation properties into the ones related to read, write and relationship, we proof the following results: If there is no subtransaction satisfies consistency property, a schedule is correct if and only if it is serializable. Otherwise the class of the schedules which satisfy the divided isolations each other, is larger than the serializable class. By applying the characters of Web service transactions to the divided isolations, we explain the properties of nonserializable but correct schedules.

収録刊行物

• 情報処理学会論文誌データベース（TOD）

  情報処理学会論文誌データベース（TOD） 2 (1), 22-32, 2009-03-31

  東京 : 情報処理学会

キーワード

• 研究論文

詳細情報

• CRID: 1050001337894438272
• NII論文ID: 110007990026
• NII書誌ID: AA11464847
• ISSN: 18827799
• ISSN: 18827772
• ISSN: 03875806
• NDL書誌ID: 024336092
• Web Site: http://id.nii.ac.jp/1001/00060716/
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I024336092
• 本文言語コード: ja
• 資料種別: article
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles
  • KAKEN