データの状態に基づく並行処理制御の正当性

• Item type: SIG Technical Reports(1)
• 公開日: 1993-03-22
• タイトル: データの状態に基づく並行処理制御の正当性
• タイトル / 言語: en
• タイトル: Correctness of Concurrency Control Utilizing Data Status
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 福岡工業大学
• 著者所属: 九州大学
• 著者所属: 福岡工業短期大学
• 著者所属(英): en
• 著者所属(英): Fukuoka Institute of Technology
• 著者所属(英): en
• 著者所属(英): Kyushu University
• 著者所属(英): en
• 著者所属(英): Fukuoka Junior College of Technology
• 著者名: 徐海燕; 古川, 哲也; 史, 一華
• 著者名(英): Haiyan, Xu; Tetsuya, Furukawa; Yihua, Shi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 直列可能性に基づく従来の並行処理制御方式は，高水準データベース（）には適用できなくなっていることが広く認識されてきた．この問題に対処するため，本論文では並行処理制御の正当性基準という問題の根本から見直しを行う．従来のDBにおいて，各々直列に実行される処理単位がDBの一貫性を保持すると仮定する方法で一貫性制御を行ってきたため，直列可能である並行実行のみが正当となっていた．本論文では，設計DBにおいて，データの状態を利用することにより，統一的な判定基準でDBの一貫性制御を行えることを指摘する．さらに，設計DBにおける並行処理制御の正当性基準を定め，直列可能性を要求しなくてもよいことを示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: The concept of serializability is central to all the concurrency control mechanisms of conventional database systems. Since they are inadequate for advanced database systems, we reconsider the correctness of concurrency control essentially. By associating a status with each data, we show the consistency of design databases can be validated by the inategrity constraints. After handling the consistency problem by the new method, we establish the correctness of concurrency control for design database systems, which do permit nonserializable executions.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112482
• 書誌情報: 情報処理学会研究報告データベースシステム（DBS）; 巻 1993, 号 29(1992-DBS-092), p. 19-28, 発行日 1993-03-22
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会