Module mz_sql::query_model::attribute::rejected_nulls

source ·
Expand description

Defines the RejectedNulls attribute.

The attribute value is a set of column references associated with each QueryBox. If any of the references is NULL, there is at least one predicate in that box that will be evaluated to NULL or FALSE (that is, a row with that column will be filtered away). For boxes without predicates, the attribute value is always the empty set.

Besides “predicate p rejects nulls in a set of columns C”, in the literature this property is also stated as “predicate p is strong with respect to C”.

Structs

RejectedNulls 🔒

Functions

case_and 🔒
Active pattern match for expr1 AND expr2 AND ... fragments.
case_not 🔒
Active pattern match for NOT(expr) fragments.
case_not_isnull 🔒
Active pattern match for NOT(ISNULL(c)) fragments.
case_or 🔒
Active pattern match for expr1 OR expr2 OR ... fragments.
intersect 🔒
Computes the intersection of two sets, consuming both sides and mutating and returning lhs.
intersect_variadic 🔒
Computes the intersection of a vector of sets.
rejected_nulls 🔒
Returns all columns that must be non-NULL for the boolean expr to be NULL or FALSE.
rejected_nulls 🔒
Define an inner function needed in order to pass around the sign.
union 🔒
Computes the union of two sets, consuming both sides and mutating and returning lhs.
union_variadic 🔒
Computes the union of a vector of sets.