プロセス代数に基いたアクティブデータベースの振舞いの解析

スポンサーリンク

概要

論文の詳細を見る
アクティブデータベースは, ECAアーキテクチャに基づく規則処理による, 表現力の高いデータベース処理を提供する。他にも, 結合モードによる柔軟なトランザクション処理などの特徴を持ち, 既に多くの実験システムが提案されている。一方で, データベース操作に伴う複雑なイベント表現やその処理, 複数の規則の同時実行制御など, 従来のシステムであまり扱われていなかった, データベースの振舞いについての問題が生じている。例えば, 規則集合の停止性や正しい規則の設計問題, 実行前検査などの問題などである。振舞いのモデリングの問題を含め, これらの振舞いの解析と検証は重要な課題である。著者らは, プロセス代数をモデリングの基礎とするアクティブデータベース, を研究開発中であり, 本稿では, 上のような問題に対して, 使用しているプロセス代数を使った振舞いの解析について述べる。
一般社団法人情報処理学会の論文
1997-09-24

著者

関連論文

もっと見る

スポンサーリンク