I was reading https://www2.cs.duke.edu/courses/spring02/cps296.1/lectures/08-view.pdf
Or in the paper "Incremental Maintenance of Views with Duplicates," by Griffin and Libkin, SIGMOD, 1995. figure 2.
I don't understand why we need to min(R,ΔR) before -. Is there any counterexample?