部分トランザクションの独立性を考慮した入れ子トランザクションモデル
スポンサーリンク
概要
- 論文の詳細を見る
オブジェクト指向データベースでは, 処理時間が長いトランザクションが存在し, その障害時の再実行のオーパーヘッドが大きいという問題がある. この問題を解決するためのモデルとして, 入れ子トランザクションモデルが提案されている. しかし従来の入れ子トランザクションモデルにおいて, スケジューリングは入れ子トランザクション全体を一つの単位として行なわなければならなかった. これに対し本研究では, スケジューリングにおいて各部分トランザクションを独立したトランザクションとして扱うような入れ子トランザクションモデルを提案した. さらに, 提案モデルの下での逐次化グラフを用いたスケジューリングアルゴリズムを提案した.
- 一般社団法人情報処理学会の論文
- 1997-06-06
著者
関連論文
- 通信プロトコルのフェーズ連結法とそれに基づく検証法
- 有界到達可能性解析を用いた非有界通信プロトコルの解析法
- 拡張有限状態機械でモデル化したOSIセションプロトコルの検証
- 優先サービスを含む通信プロトコルの安全性の検証
- Ambient計算に基づく動的な海上物流の監視システム
- 階層的キーワードベースの名前管理におけるキーワード管理手法
- 非階層型名前空間のファイルシステムへの適用に関する実験的評価
- EFSM適合性試験系列自動生成における系列長短縮化について
- 通信プロトコル適合性試験におけるレジスタ操作に対する試験系列の生成手法(新世代データベース技術 : インターネット・マルチメディア・モーバイルを中心として)
- EFSM に対する適合性試験系列生成手法のミューテーションシステムを用いた実験評価
- EFSM に対する適合性試験系列生成手法のミューテーションシステムを用いた実験評価
- ECFSMモデル通信プロトコル検証のための不変式の半自動生成
- EFSMモデル通信プロトコルの時制に関する性質の一検証法
- 通信プロトコルにおけるレジスタ操作の適合性試験系列生成手法の実験評価
- ECFSMモデルの通信プロトコルに故障耐性機能を付加する一手法
- ECFSMモデルの通信プロトコルの検証のための不変式の自動生成システムの開発
- ECFSMモデルの通信プロトコルへの故障耐性機能の半自動生成
- ECFSMモデル通信プロトコルの検証システムにおける不変式の自動生成
- あるクラスの拡張有限状態機械におけるレジスタ操作の試験系列の生成手法
- 拡張有限状態機械の適合性試験の一手法 : レジスタ代入の正しさの試験
- 拡張有限状態機械でモデル化された通信プロトコルの生存性の検証法
- 拡張有限状態機械モデルの通信プロトコルのlivenessの検証法
- 拡張有限状態機械でモデル化された通信プロトコルのlivenessの検証法
- 分散環境でのデータ管理におけるソフトステートのロバスト性の評価(インターネットの測定・性能評価技術及び一般)
- 分散計算における制御フローに基づいたイベントアブストラクション手法(マルチメディアネットワークシステム)
- 階層的キーワードに基づく名前管理手法とそれに基づくファイル共有手法
- 階層的キーワードに基づく名前管理手法とそれに基づくファイル共有手法
- 分散環境における透過的なプログラム記述法とD'Agentを用いた実行環境
- 分散環境における透過的なプログラム記述法とD'Agentを用いた実行環境
- 分散データベースにおける通信量を考慮した動的データ配置法
- 逐次化グラフを用いた複合トランザクションの並行制御
- 待ち時間を考慮したΔ因果順序配送アルゴリズムの提案
- 待ち時間を考慮したΔ因果順序配送アルゴリズムの提案
- 配送時間を考慮した因果関係を保存するメッセージ配送
- 部分トランザクションの独立性を考慮した入れ子トランザクションモデル
- 多重化データベースにおけるsite equorumを用いたデータの一貫性制御
- 多重化データベースにおけるsite quorumを用いたデータの一貫性制御
- 多重化データベースにおける仮想分割と再生成を用いた一貫性制御
- 書き込み保留を用いた逐次化グラフスケジューリング
- 分散システムにおける因果関係を保存するメッセージ 配送プロトコル
- 分散型データベースにおける逐次化グラフ検査を用いたスケジューラの実現と評価
- 分散型データベースにおける逐次化グラフを用いたスケジューリングアルゴリズム
- 物流システムに対するAmbient Logicモデル検査システム
- 物流システムに対する Ambient Logic モデル検査システム
- 物流システムに対するAmbient Logicモデル検査システム
- タイマを用いる有限状態機械でモデル化されたシステムの検証手続き
- 観測不可能な非決定動作を含む並行DFSM群としてモデル化される通信プロトコルの適合性試験法(マルチメディアコミュニケーションシステム)
- タイマシステムコールを用いるDFSMプロトコルに対する試験系列生成手法(マルチメディアコミュニケーションシステム)
- タイマを用いる有限状態機械でモデル化されたシステムの検証手続き
- 複合トランザクションモデル : 入れ子モデルとのシミュレーション比較
- EFSM適合性試験系列生成手法の誤実装検出能力の実験的評価
- タイマシステムコールを用いるFSMプロトコルの適合性試験について
- タイマシステムコールを用いるFSMプロトコルの適合性試験について
- 拡張有限状態機械モデルで書かれた通信プロトコルの適合性試験系列の自動生成の一手法
- 拡張有限状態機械モデルにおける通信プロトコルのテスト系列の自動生成の一手法
- データグリッドにおけるファイル複製の動的配置を考慮した並列転送手法(インターネットの新しいサービスとその基盤技術及び一般)
- データグリッドにおけるデータ転送を考慮したローカルスケジューリング手法
- データグリッドにおける複数サイトからの動的並列ファイル転送手法
- データグリッドにおけるデータ転送を考慮したローカルスケジューリング手法
- データグリッドにおける複数サイトからの動的並列ファイル転送手法
- データグリッドにおける複数サイトからの並列ファイル転送のための静的ファイル分割手法(アクセスネットワーク,ホームネットワーク及び一般)
- 時間付きAmbient Calculus