Analysis of Database Production Rules by Process Algebra.

Yoshinao Isobe Isao Kojima Kazuhito Ohmaki

Published in: IEICE Trans. Inf. Syst. (1995)

Keyphrases

production rules
database
data mining
databases
decision making
knowledge base
decision trees
database systems
relational databases
knowledge based systems
business process
model checking
formal specification