That was quite a bit different from what you claim now. In that form transitive
closure follows from logic rules.
In the new form there is of course no transitive closure because the join
predicates are different.