Conditional Term Rewriting as a Formal Basis for Active Database Rules.

Anton P. Karadimce Susan Darling Urban

Published in: RIDE-ADS (1994)

Keyphrases

term rewriting
operational semantics
theorem proving
theorem prover
rewrite systems
knuth bendix
formal model
inference rules
mathematical theory
database
dynamic environments
random variables