プロセス代数によるアクティブデータベースの扱いについて

スポンサーリンク

概要

論文の詳細を見る
本稿では,アクティブデータベースの諸問題に対する,プロセス代数の有効性について議論する.アクティブデータベースでは,イベントや更新の波及など,システムの動的な挙動などの扱いが不可欠である.また,ルール/トランザクション処理の一貫性の検証や,システムによって異なる機能の比較などのできるモデル化の道具が必要である.プロセス代数は並行処理の扱いや様々なクラスの等価性判定が可能と言った性質があり,処理の記述の検証に有効と考えられる.また,これに基づいた記述はプログラミング言語として実行可能であるので,モデルの記述と実行のメカニズムを同じ記述言語を用いて扱うことができるといった特徴がある.
一般社団法人情報処理学会の論文
1993-05-27

著者

関連論文

もっと見る

スポンサーリンク