Hugo, Great question that realy made me think.

However part of your explination seems incomplete or missleading.

If statements and other control flow language create new batches, and that is why they can not be used in the definition of a view. Anything that creates more than one batch can not be used in the definition of a view.