The non-solution set side is preserved in an outer-join fashion.
The solution set is carried forward into the next iteration, but it is not part of the "outer join" result.
The non-solution set side is preserved in an outer-join fashion.
The solution set is carried forward into the next iteration, but it is not part of the "outer join" result.