Slide 11 of 41
Notes:
Here I have the same OQL query and its translation to the monoid comprehension calculus. I will present the calculus in detail shortly. The union symbol indicates that the result will be a set.
