3. Possibly Nondeterministic Queries

In some cases the same query can produce different output tables on different implementations because of subtle implementation-dependent behaviors. Such queries are called possibly nondeterministic queries. A query is possibly nondeterministic if any of the following is true:

Possibly nondeterministic queries cannot be used in constraints.