Refined rules termination analysis through transactions.

Danilo Montesi Elisa Bertino Maria Bagnato

Published in: Inf. Syst. (2003)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
database
integrity constraints
object oriented databases
transaction processing
deductive databases
association rules
data management
distributed databases
composite events