Rewrites every BGP of an operation into a join of its patterns unfolded against the mapping.
The transformation context
The mapping to unfold
The operation to rewrite
the rewritten operation
Rewrites every BGP of an operation into a join of its patterns unfolded against the mapping.