Analysis of Database Production Rules by Process Algebra

スポンサーリンク

概要

• 論文の詳細を見る

• The purpose of this research is to analyze production rules with coupling modes in active databases and to exploit an assistant system for rule programming. Each production rule is a specification including an event, a condition, and an action. The action is automatically executed whenever the event occurs and the condition is satisfied. Coupling modes are useful to control execution order of transactions. For example, a transaction for consistency check should be executed after transactions for update. An active database, which is a database with production rules, can spontaneously update database states and check their consistency. Production rules provide a powerful mechanism for knowledge-bases. However it is very difficult in general to predict how a set of production rules will behave because of cascading rule triggers, concurrency, and so on. We are attempting to adopt a process algebra as a basic tool to analyze production rules. In order to describe and analyze concurrent and communicating systems, process algebras such as CCS, CSP, ACP, andπ-calculus, are well known. However there are some difficulties to apply existing process algebras to analysis of production rules in growing process trees by process creation. In this paper we propose a process algebra named CCSPR (a Calculus of Communicating Systems with Production Rules), which is an extension of CCS. An advantage of CCSPR is to syntactically describe growing process trees. Therefore, production rules can be appropriately analyzed in CCSPR. After giving definitions and properties of CCSPR, we show an example of analysis of production rules in CCSPR.

• 社団法人電子情報通信学会の論文
• 1995-08-25

著者

• Kojima I

  National Metrology Institute Of Japan National Institute Of Advanced Industrial Science And Technolo

• Ohmaki K

  Computer Science Division Electrotechnical Laboratory

• Ohmaki Kazuhito

  Computer Science Division Electrotechnical Laboratory

• Isobe Yoshinao

  Computer Science Division Electrotechnical Laboratory

• Kojima Isao

  Computer Science Division, Electrotechnical Laboratory

関連論文

• Sub-Nanometer Scale Measurements of Silicon Oxide Thickness by Spectroscopic Ellipsometry
• S(KLL) Anger Resonancelike Phenomena for Solid Samples
• Reliability of parameters of associated base straight line in step height samples : Uncertainty evaluation in step height measurements using nanometrological AFM
• Analysis of Database Production Rules by Process Algebra
• Ultra Thin Film Growth of Pd by Radical Enhanced Vapor Deposition
• Least Fixpoint and Greatest Fixpoint in a Process Algebra with Conjunction and Disjunction (Special Section of Selected Papers from the 12th Workshop on Circuit and Systems in Karuizawa)

スポンサーリンク