一貫性と隔離性の細分による並行実行の正当性の検証
スポンサーリンク
概要
- 論文の詳細を見る
Web サービスの組み立てによって各種の情報システムが構成されるようになった.そこでは直列可能でない並行実行も正当な実行とされている.本論文では,Web サービスのような一貫性を満たす部分トランザクションから構成されるトランザクションが直列可能でなくても正当であることを理論的に検証する.具体的には,トランザクションの一貫性を検索に関する一貫性,更新に関する一貫性,データ関連に関する一貫性に細分し,それにともなって細分された隔離性は,トランザクションの意味論情報がない場合では隔離性と等価となるが,一貫性を満たす部分トランザクションが存在するならば直列可能でない並行実行も正当となることを示す.さらに,トランザクションの特徴を用いて細分された隔離性ごとに判定方法を検討することにより,直列可能でない並行実行が正当となる理由を明らかにする.
- 一般社団法人情報処理学会の論文
- 2009-03-31
著者
-
徐 海燕
福岡工業大学情報工学科
-
古川 哲也
九州大学大学院経済学研究院
-
古川 哲也
九州大学大型計算機センター
-
史 一華
西南学院大学商学部
-
徐 海燕
福岡工業大学
-
Xu H
Laboratory Of Drug Metabolism And Pharmacokinetics Shenyang Pharmaceutical University
-
史 一華
西南学院大学
関連論文
- Webサービスによるe-Learningシステム間のBBS連携(遠隔教育/一般)
- WEBサービスによる統合学習システムの拡張について(collaborationとagent技術/一般)
- WEB サービスによる統合学習システムの拡張について
- 多様な演習システムのサービス化と統合(ユビキタス・モバイル学習環境/一般)
- 論文審査の要旨(矢加部正幸氏学位授与報告)(平成14年度学位論文要旨・論文審査要旨)
- 論文審査の要旨(陳暁栄氏学位授与報告)(平成14年度学位論文要旨・論文審査要旨)
- 集合ラベルを持つデータの集約範囲の記述
- 論文審査の要旨(高木昇氏学位授与報告)(平成14年度学位論文要旨・論文審査要旨)
- 協調能動型データベースシステム技術の研究に向けて (メディア統合および環境統合のための高機能データベースシステム、および一般)
- 連合データベースシステムにおける導出データの一貫性管理法
- 連合型データベースシステムにおける具現化した導出データの管理法
- (137) WWWを利用したVirtual Lecture Roomの構築(第35セッション コンピュータ援用教育(4))
- 経済学部における全学教育と専攻教育の連節(授業・教育の連節)
- 一貫性と隔離性の細分に基づく並行実行の制御
- 1-E-8 黒字倒産を防ぐための経営計画の分析手法(スケジューリング)
- 一貫性と隔離性の細分による並行実行の正当性の検証
- 隔離性の分割による正当なスケジュールの検討
- 意味集合による複数の意味のデータの記述(データ応用,夏のデータベースワークショップDBWS 2006)
- 意味集合による複数の意味のデータの記述(データ応用)
- 意味集合による複数の意味のデータの記述
- 階層的分類における複数の意味を持つデータの利用(情報融合)
- 最小ブロック転送問題の近似可能性と近似不可能性
- 並行ワークフローにおけるデータの従属性(DE: データ工学理論, データ工学とメディア理解との融合)
- 並行ワークフローにおけるデータの従属性(DE: データ工学理論, データ工学とメディア理解との融合)
- 並行実行のためのワークフローの記述と制御
- Webサービスにおけるトランザクションの隔離性
- 並行実行を考慮したワークフローの記述法
- ワークフロートランザクションの隔離性(データベースと感性,デザイン,バイオインフォマティクス,音楽,環境,医学,建築分野との連携)
- 一貫性判定と処理単位の整構造による独立化可能スケジュール
- トランザクショナルワークフロの一貫性と隔離性
- トランザクショナルワークフロの一貫性と隔離性
- データベースを用いたデータ解析のための集合操作
- 集合の階層を保持するデータベース
- データベースを用いたデータ解析のための集合操作
- 統計解析パッケージとの連携利用を実現するためのデータベース構築法
- オブジェクト指向データベースの会話的設計支援方式
- 処理効率向上のためのネットワーク構造の変換(知識ベースとデータベースの統合化に関する研究)
- Simultaneous determination of flupirtine and its major active metabolite in human plasma by liquid chromatography-tandem mass spectrometry
- 論文審査の要旨(沙飛氏学位授与報告)(平成14年度学位論文要旨・論文審査要旨)
- 並行処理制御における独立化可能性の有効性検証と特徴分析
- 並行処理制御における独立化可能クラスの有効性検証 : 非施錠方式に対するシミュレーション
- 一貫性情報を利用した能動的な並行処理制御法
- 並行処理制御における独立化可能クラスの有効性検証 : 施錠方式に対するシミュレーション
- プログラミング教育のための可視化ツールの開発(情報教育/一般)
- eラーニングにおける学習評価ツールの試作(新しいインターネット技術の教育環境への利用/一般)
- 大学院教育における国際遠隔教育システムの構築及び実践
- K-021 Webサービスによるe-Learningシステム間の情報共有(K分野:ヒューマンコミュニケーション&インタラクション)
- WEBショップにおけるセマンティック検索法(インターネット環境でのデータ工学とディペンダビィリティ及び一般)
- WEBショップにおけるセマンティック検索法(インターネット環境でのデータ工学とディペンダビィリティ及び一般)
- WEB ショップにおけるセマンティック検索法
- 15 データベース講義のためのe-ラーニングシステムの試作(教育システムA(講義・演習)IV,第4セッション)
- ワークフロートランザクションに対する施錠制御方式
- 統合学習支援システムにおける個人情報ポータルの構築について
- XMLを活用した統合CAIシステムの構築
- マルチバージョンデータベースにおけるワークフローに基づく並行処理制御
- 一貫性情報を用いたマルチバージョン並行処理制御
- ワークフローに基づく協同作業支援環境の構築
- WEB型統合学習管理システムの構築
- ワークフローに基づく協同作業環境
- 操作の整合性を保証する処理単位モデル
- (139) WWWを利用した統合CAIシステムの試行(第35セッション コンピュータ援用教育(4))
- 一貫性判定と処理単位の構造による協調型データベースの並行処理制御
- CADシステムにおける並行処理制御機能の拡張
- A Cooperative Work Management Mechanism Based on Integrity Constraints
- Stability of glufosfamide in phosphate buffers and in biological samples
- リンク構造をもつデ-タベ-スからの非正規関係の効率的生成 (新しいデ-タベ-ス技術論文特集)
- リンク構造を用いた非正規関係の冗長性の削減
- 進化する多重階層索引の実現方式
- 従属性を用いた多次元データベースの設計
- 従属性を用いた多次元データベースの設計
- OLAPデータキューブにおける範囲合計配列の更新
- ネットワ-ク構造における効率の良い更新処理のための条件 (新しいデ-タベ-ス技術論文特集)
- 複合階層索引の質問記述能力
- 複合階層索引の質問記述能力
- 複合階層索引を用いたデータ索引システムの利用者インタフェース
- 並行処理制御におけるホーン節で表された一貫性情報の利用
- グラフ判定方式に基づく一貫性情報を用いた並行処理制御の実現法
- 一貫性情報に基づく処理単位の動的再構成
- 並行処理制御方式による独立化可能クラスと直列可能クラスの比較
- 操作間の関連を用いた並行実行の分析
- 一貫性情報を用いたデータベースの並行処理制御
- 状態制約に基づく並行処理の非直列可能制御方式
- データの多重分類階層の構成
- 協調作業用データベースの階層ビューインタフェース
- リンク構造データベースにおけるスキーマの独立性
- 設計データベースのための導出関連ビューの実現
- オブジェクト・マイグレーションを考慮したオブジェクト指向データベースの一貫性管理
- ネットワ-クデ-タベ-ス質問の非冗長な解 (新しいデ-タベ-ス技術論文特集)
- オブジェクト指向データベースにおける更新波及のための検索処理
- リンク構造における検索処理効率と更新処理効率の関係について(アルゴリズムと計算量の理論)
- オブジェクト指向データーベースにおける参照によるオブジェクトの関連(アルゴリズムと計算量の理論)
- 物理スキーマにリンク構造を用いたデータベースの設計
- オブジェクト指向データベースにおける参照と汎化について
- 関係データベースにおける複数結合のための結合索引の階層化
- ネットワーク構造におけるデータ更新の効率改善とその評価
- 複数の階層に基づくデータベースの設計(計算アルゴリズムと計算量の基礎理論)
- MySQLとjQueryを利用したWebモール実験システムの開発および実験結果に対する分析
- 継承を伴う階層の集合を表現するデータベースの構造
- 質問処理効率化のためのネットワ-クデ-タベ-スのスキ-マ変換
- 非正規関係の構造の集合を表現するネットワーク構造