講演抄録/キーワード |
講演名 |
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 |
ページ数 |
6 |
発行日 |
2015-03-20 (SC) |