Processing R ⋈ S using a non-clustering index