Modules§
- sql
- Shared SQL expressions consumed by the frontend and relational optimizer.
Structs§
- Binding
Id - A stable binder-assigned identity for one relational or graph binding.
- Binding
Set - A set of bindings used by predicates and null-extension proofs.
- Case
Column Search Rank Projection - Case
Entity Search Rank Projection - Coalesce
Difference Projection Term - Sort
Item - Truth
Set - An over-approximation of the truth values an expression can produce.
Enums§
- Bound
Predicate - Bound boolean nodes required by the null-rejection analysis.
- Bound
Scalar Expression - Bound scalar nodes required by the null-rejection analysis.
- Comparison
Op - Date
Part - Null
Rejection Proof - The result of attempting to prove that a predicate rejects null extension.
- Predicate
- Projection
Expression - Scalar
Binary Op - Scalar
Nullability - The possible null states of a scalar expression.
- Sort
Direction - SortKey
- Truth
Value - One SQL boolean result, including the
UNKNOWNvalue produced byNULL.
Functions§
- prove_
null_ rejecting - Proves whether
predicatecan never beTRUEafter null-extending bindings.