分散データベース－ 更新トランザクションの実行と制御に関する記号演算

• Item type: Journal(1)
• 公開日: 1982-01-15
• タイトル: 分散データベース－ 更新トランザクションの実行と制御に関する記号演算
• タイトル / 言語: en
• タイトル: Distributed Database - A Symbolic operation for Execution and Control of Update Transactions
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 沖電気工業（株）研究所複合システム研究部
• 著者所属(英): en
• 著者所属(英): Integrated Systems Division, Research Laboratory, OKI - electric Industry Co, Ltd
• 著者名: 山崎, 晴明
• 著者名(英): Haruaki, Yamazaki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 分散データベースシステムにおいて データの一貫性保存の問題は 最も重要な課題のひとつである.本稿では この一貫性を保つための方法として 従来提案されてきた方式とは 全く異なる観点から導かれたひとつの手法を提案する.それは 従来のものが リソースであるデータに対しロックをかける方式であったのに比し 本方式は トランザクションが他のトランザクションに対しロックをかける方式であるといえる.本稿では 入力される更新トランザクションの形態が あらかじめ定められているいわゆる定型業務処理を扱いの対象とし まず入力されるトランザクションの解析のための手法を論じ ついでトランザクションの集合が同時に実行される際のそれらの制御形式について述べる.このために まずトランザクション集合に対するひとつのシンボリックな記述が導入され トランザクションの実行および終了は その記述に対する演算として表現される.このようにして 分散データベースにおけるトランザクション群の実行は ある簡単な代数的構造を持つ演算の逐次実行という形で表現でき それに基づく制御が行われることになる.さらに 本方式では デッドロックは起り得ないことおよびデータ一貫性が常に保持されることの形式的証明が述べられる.なお本方式がどのように用いられるかを明確に示すため具体例による説明も含まれる.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 23, 号 1, p. 35-42, 発行日 1982-01-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764