Detecting Termination of Active Database Rules Using Symbolic Model Checking.

Indrakshi Ray, Indrajit Ray

Browse the full ADBIS paper archive.