David Rowley <dgrowle...@gmail.com> writes: > I don't think it'd hurt to mention that we're just ignoring the > existence of ECs for this example.
Seems like a reasonable approach. > - (other possibilities will be excluded for lack of join clauses) > + (other possibilities will be excluded for lack of join clauses > + (technically, EquivalenceClasses do allow us to determine derived join > + clauses for this case, but we ignore that for the simplicity of this > + example)) Maybe better: Other possibilities will be excluded for lack of join clauses. (In reality, use of EquivalenceClasses would allow us to deduce additional join clauses that allow more join combinations, but here we ignore that to preserve the simplicity of this example.) regards, tom lane