Evaluation order of conditions with logical operator OR [CR 469968]

In the section “Conditions with logical operators” in Chapter 3, “SQL Language Elements,” the description of combining conditions using OR will be changed as follows:

Conditions are combined using OR as follows:

condition1 OR condition2

The combined condition is TRUE if either condition is TRUE, FALSE if both conditions are FALSE, and UNKNOWN otherwise. There is no guaranteed order as to which condition, condition1 or condition2, will be evaluated first.