アクティブデータベースの動作解析のためのプロセス代数の開発

概要

論文の詳細を見る
本研究の目的は,アクティブデータベースのプロダクションルールを解析し,ルールの設計支援システムを開発することにある.各プロダクションルールは,イベント,コンディション,アクションを含む仕様であり,これらは,イベントが起こり,コンディションが満たされたときに実行されるアクションを意味している.アクティブデータベースはプロダクションルールをもつデータベースであり,状況に応じて自動的にデータベースの状態を更新したり,状態の無矛盾検査などをすることができる.また,プロダクションルールは知識ベースのための有効な道具ともなりうる.しかし,プロダクションルールは並行性や協調性により,その動作を予測することは一般に困難である.並行システムを記述し解析するために,CCSやπ計算のようなプロセス代数が知られている.我々はプロダクションルールを解析する道具としてプロセス代数を採用している.しかしながら,従来のプロセス代数をプロダクションルールの解析に適用したところ,いくつかの問題点を指摘できる.我々は,CCSを拡張したCCSPR(a Calculus of Communicating Systems with Production Rules)を提案する.CCSPRは動的に変化するプロセス木を容易に記述することができるため,プロダクションルールの解析に適している.本稿では,先ずCCSをもとにプロセス代数によるプロダクションルールの解析方法を説明し,その問題点を指摘する.その後CCSPRの特長について述べ,その有効性を示す.
一般社団法人情報処理学会の論文
1994-07-20

アクティブデータベースの動作解析のためのプロセス代数の開発

スポンサーリンク

概要

著者

関連論文

スポンサーリンク