On Jun 16, 2016, at 4:11 PM, Peter F. Patel-Schneider <pfpschnei...@gmail.com> wrote: > > >> The wording here is a bit awkward, but I believe the subquery evaluation >> is still occurring first *within the context of the evaluating the EXISTS >> pattern*. > > There is no such qualifier in the wording.
Agreed. >> I think calling out the bottom-up semantics here is a good thing, but the >> text might have benefited from discussing how evaluating EXISTS patterns >> is different than evaluating other type of pattern. > > I don't consider calling out something that is not true a good thing. I am suggesting that qualifying the sentence would be more appropriate than removing it entirely, because in all cases other than sub-selects within EXISTS blocks, it is a true statement (as should be clear from the evaluation semantics). .greg
