Login / Signup
Putting into Practice a Formal Method to Verify Properties of Active Rules Based on Rewriting Logic.
Yahia Rabih
Elias Tahhan-Bittar
Michel Schneider
Published in:
DEXA Workshop (1997)
Keyphrases
</>
active rules
data model
database applications
database technology
active databases