文献

J-GLOBAL ID：201502251356525304   整理番号：15A0303510

正当な非直列可能スケジュールの3相ロック方式による分析

著者 (3件)： XU Haiyan (福岡工大 情報工) ,  古川哲也 (九大 大学院経済学研究院) ,  SHI Yihua (西南学院大 商)
資料名： 電子情報通信学会論文誌 D(Web)
巻： J97-D  号： 11  ページ： 1669-1673 (WEB ONLY)  発行年： 2014年11月01日 
JST資料番号： U0473A  ISSN： 1881-0225  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本論文では,操作間の関係と一貫した中間状態という意味論情報が得られるトランザクションモデルにおいて,先行研究によって提案されているDB一貫性,検索一貫性,内部一貫性という三つの一貫性で表される正当性基準に基づく3相ロック方式を導入し,正当なスケジュールの性質の解明を目指す。(著者抄録)

シソーラス用語： *操作 ,  中間状態 ,  *意味論 ,  *データベース ,  *一貫性 ,  *データ検索 ,  *並行処理 ,  *同時実行制御 ,  *トランザクション処理 ,  計算機科学 ,  情報システム
準シソーラス用語： DB一貫性 ,  検索一貫性 ,  内部一貫性 ,  隔離性 ,  正当性【計算機科学】 ,  データベースシステム

分類 (1件)： データベースシステム  (JD03030U)

引用文献 (4件)：

• P.A. Bernstein, V. Hadzilacos, and N. Goodman, Concurrency Control and Recovery in Database Systems, Addison-Wesley, 1987.
• M. Little,“Transactions and Web services,”Commun. ACM, vol.46, no.10, pp.49-54, 2003.
• W. Vogels,“Eventually consistent,”Commun. ACM, vol.52, no.1, pp.40-44, 2009.
• 徐 海燕, 古川哲也, 史 一華,“一貫性と隔離性の細分による並行実行の正当性の検証,”情処学論 : データベース, vol.2, no.1, pp.22-32, 2009.

タイトルに関連する用語 (5件)： 直列 ,  スケジュール ,  3相 ,  ロック ,  分析