To obtain the first estimate, we use the fact that for any tuple s in S, we would expect
on average SCA(R) tuples with a given value for attribute A, and this number to appear in
the join. Multiplying this by the number of tuples in S, we get the first estimate above.
Similarly, for the second estimate