How to eliminate dangling tuples using semi-join:

Compute πY(S) and transfer the result to R's site: Compute R ⋉ πY(S) and transfer the result to S's site: Perform subset(R) ⋈ S at S's site: