Decidability and Undecidability Results for the Termination Problem of Active Database Rules.

James Bailey, Guozhu Dong, Kotagiri Ramamohanarao

Browse the full PODS paper archive.