Login / Signup

Putting into Practice a Formal Method to Verify Properties of Active Rules Based on Rewriting Logic.

Yahia RabihElias Tahhan-BittarMichel Schneider
Published in: DEXA Workshop (1997)
Keyphrases
  • active rules
  • data model
  • database applications
  • database technology
  • active databases