Login / Signup

Improving the Refined Triggering Graph Method for Active Rules Termination Analysis.

Alain Couchot
Published in: BNCOD (2002)
Keyphrases
  • active rules
  • termination analysis
  • active databases
  • integrity constraints
  • abstract interpretation
  • logic programming
  • tree structure
  • object oriented databases