お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 2015-03-27 15:05
VDM++によるBASEトランザクションのデータ整合性評価
西田紗知新川芳行龍谷大SC2014-18
抄録 (和) クラウドコンピューティング環境,特にパブリッククラウドでのトランザクション処理におけるデータ整合性維持は,並行処理におけるクリティカルセクションの分離・直列化を原則とするACIDに代わり,完全な並行処理を行うBASEという原則に基づいている.これは,システムの可用性と拡張性とのトレードオフにより整合性の条件を緩和した結果と考えられる.このことにより,データベースアクセスの順序関係が従来に比べ複雑化し,トランザクションの振舞いの予測が困難となる.また,クラウドではデータベースの分散が隠蔽され,さらに非同期にレプリケーションされるため,一時点で同一データベースレコードに複数の観測値が存在し,上記の振舞いはさらに複雑なものとなる.このため,クラウド環境におけるトランザクション処理でのデータ整合性は,ACIDに比べはるかに煩雑な問題となる.本論文は形式仕様記述によりこの問題を厳密に記述・分析する手法を提案するものである. 
(英) In cloud computing environments, especially in public cloud environments, ``BASE" principle is used for data integrity, instead of traditional ``ACID" principle. While the former focuses on fully concurrent operations, the latter focuses on the separation and serialization of critical sections. It seems to be a result of trade-off between data integrity and availability/scalability. This full concurrency makes the database access sequence complicated, and the behavior of transactions becomes unpredictable. In addition, database replication is hidden and asynchronous, which makes an attribute multivalued. Consequently, the data integrity problem in the cloud is burdensome to deal with, in comparison with ACID. This paper proposes a formal approach to specifying and analyzing this kind of data integrity.
キーワード (和) トランザクション処理 / データ整合性 / クラウドコンピューティング / 形式仕様記述 / VDM++ / / /  
(英) Transaction Processing / Data Integrity / Cloud Computing / Formal Specification / VDM++ / / /  
文献情報 信学技報, vol. 114, no. 525, SC2014-18, pp. 25-30, 2015年3月.
資料番号 SC2014-18 
発行日 2015-03-20 (SC) 
ISSN Print edition: ISSN 0913-5685    Online edition: ISSN 2432-6380
著作権に
ついて
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
PDFダウンロード SC2014-18

研究会情報
研究会 SC  
開催期間 2015-03-27 - 2015-03-28 
開催地(和) 会津大学UBIC 
開催地(英) Aizu Univ. 
テーマ(和) サービス・クラウドのQoS・SLA・ポリシー及び一般 
テーマ(英) QoS, SLA, Policy of Service and Cloud and Other Issues 
講演論文情報の詳細
申込み研究会 SC 
会議コード 2015-03-SC 
本文の言語 日本語 
タイトル(和) VDM++によるBASEトランザクションのデータ整合性評価 
サブタイトル(和)  
タイトル(英) Evaluating Data Integrity of BASE Transactions Using VDM++ 
サブタイトル(英)  
キーワード(1)(和/英) トランザクション処理 / Transaction Processing  
キーワード(2)(和/英) データ整合性 / Data Integrity  
キーワード(3)(和/英) クラウドコンピューティング / Cloud Computing  
キーワード(4)(和/英) 形式仕様記述 / Formal Specification  
キーワード(5)(和/英) VDM++ / VDM++  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第1著者 氏名(和/英/ヨミ) 西田 紗知 / Sachi Nishida / ニシダ サチ
第1著者 所属(和/英) 龍谷大学 (略称: 龍谷大)
Ryukoku University (略称: Ryukoku Univ.)
第2著者 氏名(和/英/ヨミ) 新川 芳行 / Yoshiyuki Shinkawa / シンカワ ヨシユキ
第2著者 所属(和/英) 龍谷大学 (略称: 龍谷大)
Ryukoku University (略称: Ryukoku Univ.)
第3著者 氏名(和/英/ヨミ) / /
第3著者 所属(和/英) (略称: )
(略称: )
第4著者 氏名(和/英/ヨミ) / /
第4著者 所属(和/英) (略称: )
(略称: )
第5著者 氏名(和/英/ヨミ) / /
第5著者 所属(和/英) (略称: )
(略称: )
第6著者 氏名(和/英/ヨミ) / /
第6著者 所属(和/英) (略称: )
(略称: )
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者 第1著者 
発表日時 2015-03-27 15:05:00 
発表時間 25分 
申込先研究会 SC 
資料番号 SC2014-18 
巻番号(vol) vol.114 
号番号(no) no.525 
ページ範囲 pp.25-30 
ページ数
発行日 2015-03-20 (SC) 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会