一貫性情報を用いたデータベースの並行処理制御
スポンサーリンク
概要
- 論文の詳細を見る
並行処理制御の研究は, 並行処理の正当性はスケジュールが直列可能であるということを前提にしてなされてきた. しかし, データベース(DB)の応用分野の拡大により, 協同作業を必要としたり長時間の処理を含む高水準DBでは, 直列可能性を満足しなければならないことによる問題点が広く認識されている. 本論文では, 論理式を用いて統一的な判定基準となる一貫性制約を表現することにより, DBが正しいと考えている正当なクラスを従来の直列可能なスケジュールから拡大できることを示す. 設計DBなどの高水準DBにおいて, データの状態を利用することにより, 作業手順はDBが一貫するための統一的な判定基準となることを示す. 次に一貫性制約で表され統一的な判定基準の下で, 独立化可能性という正当なクラスを導入し, それが直列可能性より大きいクラスであることを示す. 独立化可能性の判定問題も直列可能性の判定間題と同様にNP完全となるが, D-独立化可能という多項式時間で判定可能な部分クラスを導入し, それは高水準DBが必要とする非直列可能なスケジュールを含む実用的なクラスであることを示す.
- 一般社団法人情報処理学会の論文
- 1994-12-15
著者
関連論文
- Webサービスによるe-Learningシステム間のBBS連携(遠隔教育/一般)
- WEBサービスによる統合学習システムの拡張について(collaborationとagent技術/一般)
- WEB サービスによる統合学習システムの拡張について
- 多様な演習システムのサービス化と統合(ユビキタス・モバイル学習環境/一般)
- 論文審査の要旨(矢加部正幸氏学位授与報告)(平成14年度学位論文要旨・論文審査要旨)
- 論文審査の要旨(陳暁栄氏学位授与報告)(平成14年度学位論文要旨・論文審査要旨)
- 集合ラベルを持つデータの集約範囲の記述
- 論文審査の要旨(高木昇氏学位授与報告)(平成14年度学位論文要旨・論文審査要旨)
- 協調能動型データベースシステム技術の研究に向けて (メディア統合および環境統合のための高機能データベースシステム、および一般)
- 連合データベースシステムにおける導出データの一貫性管理法
- 連合型データベースシステムにおける具現化した導出データの管理法
- 経済学部における全学教育と専攻教育の連節(授業・教育の連節)
- 一貫性と隔離性の細分に基づく並行実行の制御
- 1-E-8 黒字倒産を防ぐための経営計画の分析手法(スケジューリング)
- 一貫性と隔離性の細分による並行実行の正当性の検証
- 隔離性の分割による正当なスケジュールの検討
- 意味集合による複数の意味のデータの記述(データ応用,夏のデータベースワークショップDBWS 2006)
- 意味集合による複数の意味のデータの記述(データ応用)
- 意味集合による複数の意味のデータの記述
- 階層的分類における複数の意味を持つデータの利用(情報融合)
- 最小ブロック転送問題の近似可能性と近似不可能性
- 並行ワークフローにおけるデータの従属性(DE: データ工学理論, データ工学とメディア理解との融合)
- 並行ワークフローにおけるデータの従属性(DE: データ工学理論, データ工学とメディア理解との融合)
- 並行実行のためのワークフローの記述と制御
- Webサービスにおけるトランザクションの隔離性
- 並行実行を考慮したワークフローの記述法
- ワークフロートランザクションの隔離性(データベースと感性,デザイン,バイオインフォマティクス,音楽,環境,医学,建築分野との連携)
- 一貫性判定と処理単位の整構造による独立化可能スケジュール
- トランザクショナルワークフロの一貫性と隔離性
- トランザクショナルワークフロの一貫性と隔離性
- データベースを用いたデータ解析のための集合操作
- 集合の階層を保持するデータベース
- データベースを用いたデータ解析のための集合操作
- 統計解析パッケージとの連携利用を実現するためのデータベース構築法
- オブジェクト指向データベースの会話的設計支援方式
- 処理効率向上のためのネットワーク構造の変換(知識ベースとデータベースの統合化に関する研究)
- 論文審査の要旨(沙飛氏学位授与報告)(平成14年度学位論文要旨・論文審査要旨)
- 並行処理制御における独立化可能性の有効性検証と特徴分析
- 並行処理制御における独立化可能クラスの有効性検証 : 非施錠方式に対するシミュレーション
- 一貫性情報を利用した能動的な並行処理制御法
- 並行処理制御における独立化可能クラスの有効性検証 : 施錠方式に対するシミュレーション
- プログラミング教育のための可視化ツールの開発(情報教育/一般)
- eラーニングにおける学習評価ツールの試作(新しいインターネット技術の教育環境への利用/一般)
- K-021 Webサービスによるe-Learningシステム間の情報共有(K分野:ヒューマンコミュニケーション&インタラクション)
- WEBショップにおけるセマンティック検索法(インターネット環境でのデータ工学とディペンダビィリティ及び一般)
- WEBショップにおけるセマンティック検索法(インターネット環境でのデータ工学とディペンダビィリティ及び一般)
- WEB ショップにおけるセマンティック検索法
- 15 データベース講義のためのe-ラーニングシステムの試作(教育システムA(講義・演習)IV,第4セッション)
- 統合学習支援システムにおける個人情報ポータルの構築について
- XMLを活用した統合CAIシステムの構築
- マルチバージョンデータベースにおけるワークフローに基づく並行処理制御
- 一貫性情報を用いたマルチバージョン並行処理制御
- ワークフローに基づく協同作業支援環境の構築
- WEB型統合学習管理システムの構築
- ワークフローに基づく協同作業環境
- 操作の整合性を保証する処理単位モデル
- (139) WWWを利用した統合CAIシステムの試行(第35セッション コンピュータ援用教育(4))
- 一貫性判定と処理単位の構造による協調型データベースの並行処理制御
- リンク構造をもつデ-タベ-スからの非正規関係の効率的生成 (新しいデ-タベ-ス技術論文特集)
- リンク構造を用いた非正規関係の冗長性の削減
- 進化する多重階層索引の実現方式
- 従属性を用いた多次元データベースの設計
- 従属性を用いた多次元データベースの設計
- OLAPデータキューブにおける範囲合計配列の更新
- ネットワ-ク構造における効率の良い更新処理のための条件 (新しいデ-タベ-ス技術論文特集)
- 複合階層索引の質問記述能力
- 複合階層索引の質問記述能力
- 複合階層索引を用いたデータ索引システムの利用者インタフェース
- 並行処理制御におけるホーン節で表された一貫性情報の利用
- グラフ判定方式に基づく一貫性情報を用いた並行処理制御の実現法
- 一貫性情報に基づく処理単位の動的再構成
- 並行処理制御方式による独立化可能クラスと直列可能クラスの比較
- 操作間の関連を用いた並行実行の分析
- 一貫性情報を用いたデータベースの並行処理制御
- 状態制約に基づく並行処理の非直列可能制御方式
- データの多重分類階層の構成
- 協調作業用データベースの階層ビューインタフェース
- リンク構造データベースにおけるスキーマの独立性
- 設計データベースのための導出関連ビューの実現
- オブジェクト・マイグレーションを考慮したオブジェクト指向データベースの一貫性管理
- ネットワ-クデ-タベ-ス質問の非冗長な解 (新しいデ-タベ-ス技術論文特集)
- オブジェクト指向データベースにおける更新波及のための検索処理
- リンク構造における検索処理効率と更新処理効率の関係について(アルゴリズムと計算量の理論)
- オブジェクト指向データーベースにおける参照によるオブジェクトの関連(アルゴリズムと計算量の理論)
- 物理スキーマにリンク構造を用いたデータベースの設計
- オブジェクト指向データベースにおける参照と汎化について
- 関係データベースにおける複数結合のための結合索引の階層化
- ネットワーク構造におけるデータ更新の効率改善とその評価
- 複数の階層に基づくデータベースの設計(計算アルゴリズムと計算量の基礎理論)
- 継承を伴う階層の集合を表現するデータベースの構造
- 質問処理効率化のためのネットワ-クデ-タベ-スのスキ-マ変換
- 非正規関係の構造の集合を表現するネットワーク構造
- ネットワ-クデ-タベ-スにおける巡航操作で解ける質問のクラス
- 非正規関係集合の構造に対応するネットワーク構造(計算アルゴリズムと計算量の基礎理論)
- 対象集合によるネットワークデータベースの設計(計算アルゴリズムの基礎理論)
- 従属性制約の保持と質問処理効率化によるネットワークデータベース設計法の比較
- ネットワークデータベースにおける巡航操作で解ける質問のクラス(アルゴリズムの数学的基礎理論とその応用)
- ネットワークデータベースにおける選択・射影・結合質問の処理(計算機科学の基礎理論とその応用)
- 従属性を考慮したネットワークデータベースの設計(情報の構造化と意味に関する研究)
- ネットワークモデルによる制約表現(モデル表現とその構築に関する理論と実際の研究)