A Dynamic Approach to Termination Analysis for Active Database Rules.

James Bailey Alexandra Poulovassilis Peter Newson

Published in: Computational Logic (2000)

Keyphrases

termination analysis
active rules
active databases
database
abstract interpretation
database systems
data analysis
logic programming