A group of
s that can be combined into a single
relation without changing the semantics of
Relations can be combined if they access the same database and
they contain exactly the same joins. If they both contain no joins,
they must contain only columns from the same table.
Relations that just differ in their
can still be combined, but require that the new relation has the disjunction
) of all conditions as a
the individual conditions must be added to the
s) so that bindings are generated only
if that clause is
TODO: Should check if the BindingMaker already has a condition?