Efficient computation of Region Algebra Operators
Example: s1 included s2
s1 = {(x1,x1'), (x2,x2'), …}
s2 = {(y1,y1'), (y2,y2'), …}
(i.e. assume each consists of disjoint regions)
Algorithm:
if  xi  < yj then i := i + 1
if  xi' > yj' then j := j + 1
otherwise: print (xi,xi'), do i := i + 1
Can do in sub-linear time when one region is very
small