Refined Triggering Graphs: A Logic-Based Approach to Termination Analysis in an Active Object-Oriented Database.

Anton P. Karadimce, Susan Darling Urban

Browse the full ICDE paper archive.