Constraint-Based Termination Analysis for Cyclic Active Database Rules.

Saumya K. Debray Timothy J. Hickey

Published in: Computational Logic (2000)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
integrity constraints
information systems
relational databases