抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
ポピュラーな隔離レベルマルチバージョン読取(RC)は,トランザクションスループットの増加のための連続可能性の強い保証のいくつかを取引する。時々,RCのより低いコストで連続可能性を得るRCの下で,取引作業負荷を安全に実行することができた。このような作業負荷はRCに対してロバストであると言われている。以前の研究は,トランザクションテンプレートとしてモデル化したトランザクションプログラムによって生成された作業負荷に対するRCに対するロバスト性を決定するための扱いやすい手順をもたらした。その仕事の重要な洞察は,より正確に取引プログラムをモデリングすることにより,ロバスト性としてより大きな作業負荷集合を認識できることである。本研究では,外部鍵のようなデータ依存性を捉えるために有用な機能的制約でそれらを拡張することにより,トランザクションテンプレートのモデリング電力を増加させる。機能的制約の組み込みは,さもなければ,ロバストとしてより多くの作業負荷を同定できることを示した。ロバスト性問題は,その最も一般的な形式で不可能になるが,機能的制約に対する様々な制約が,現実的なシナリオに対するRCに対するロバスト性をモデリングし,試験するために使用できる,決定可能かつ扱いやすいフラグメントをもたらすことを示す。【JST・京大機械翻訳】