This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
What is the semantics of A || B ordered?
*** Bug 3917 has been marked as a duplicate of this bug. ***
The semantics of "ordered" shows that this operator controls the ordering of matched query tokens within each Match (disjunct) in the AllMatches model. It has no effect on the relationship between different Matches. In other words the ordered operator distributes over disjunctions: Q1 || Q2 ordered is equivalent to (Q1 ordered) || (Q2 ordered) In the case where Q1 and Q2 consist of single search tokens only, "ordered" simply has no effect. We have discussed the question of the effect of the ordered operator on disjunctions before and the current semantics reflects the outcome of our discussions. Therefore, I'd propose to close this bug as invalid.
As a result of the discussion in our full-text call today, I'm changing this bug to invalid. It is not a bug.
Because you participated in the TF when this bug was resolved, we presume that your concerns are addressed appropriately. We are therefore marking this bug as CLOSED.