How to interrupt a refresh operation?

Use "select cancel_refresh()". The cancel_refresh() function was omitted from the 4.0 and 4.1 documentation and will be restored in the 5.0 documentation. Notes: Refresh tasks run in a background thread in an internal session, so you cannot use INTERRUPT_STATEMENT to cancel those statements. Instead, use CANCEL_REFRESH to cancel statements that are run by refresh-related internal sessions. Run CANCEL_REFRESH() on the same node on which START_REFRESH() was initiated. CANCEL_REFRESH() cancels the refresh operation running on a node, waits for the cancelation to complete, and returns SUCCESS. Only one set of refresh operations runs on a node at any time.