Expand description
SQL semantics shared by static analysis and runtime adapters.
Modules§
- age_
cypher - SQL argument rules and result-column conversions for Apache AGE Cypher calls.
- aggregates
- Aggregate discovery and expression equivalence for SQL grouping.
- conflict
- Unique-index inference, target validation, and SQL predicate implication.
- constraint_
catalog - Read-only relation constraint declarations.
- cte_
names - Enumerate the CTE names owned by a query and its sources.
- cte_
validation PostgreSQLstatement ownership rules for data-modifying WITH definitions.- effects
- Classify SQL plans by database, session, and transaction effects.
- foreign_
keys - Foreign-key comparison types, null matching, and normalized key values.
- graph_
commands - SQL argument coercion and diagnostics for native and AGE graph commands.
- graph_
functions - Graph-name selection and argument rules for SQL graph table functions.
- grouping_
sets - PostgreSQL-compatible grouping-set preparation after input schema binding.
- join_
predicates - Join conjunct analysis and structural side binding.
- locking
- SQL row-lock restrictions, propagation, and mutation lock strength.
- merge
- MERGE clause scopes, target privileges, and positional RETURNING schemas.
- mutation_
inputs - Row-independent mutation input shapes.
- mutation_
patch - Constraint dependency analysis for UPDATE’s storage patch path.
- mutation_
privileges - Mutation target privilege analysis.
- mutation_
qualifiers - Relation qualifier visibility in mutation expressions.
- mutation_
rows - Declared and hidden column schemas shared by mutation analysis and row execution.
- partition
- Declarative partition validation, value comparison, and routing semantics.
- period
- Canonical range values used by temporal keys and references.
- portals
- Cursor declaration restrictions and command descriptor diagnostics.
- privileges
- Semantic base-column privilege analysis for query sources.
- referential
- Foreign-key action discovery across partition and inheritance metadata.
- retrieval
- Retrieval argument binding and weight semantics, independent of physical search.
- returning
- RETURNING target schemas, alias visibility, projection expansion, and static analysis.
- row_
count - SQL LIMIT and OFFSET bigint conversion and diagnostics.
- rules
- Rewrite-rule declaration and RETURNING contracts.
- runtime_
scalars - Runtime scalar argument and row-context rules.
- scalar_
projection - Argument validation and short-circuit semantics for score and highlight projections.
- sets
- Set-returning expression binding, validation, and dependency rewriting.
- source_
filters - Source qualifier filters and checked SQL integer carriers.
- table_
function_ arguments - Argument contracts for analyzer and session table functions.
- text_
indexes - Validation of text-retrieval field references against relation and index metadata.
- view_
mutation - View mutation target identity, declared columns, and rewrite-rule input analysis.
- view_
privileges - Privilege checks at each view boundary before DML rewrite or trigger dispatch.
- view_
rewrite PostgreSQL18 automatically updatable view analysis and DML rewriting.- volatility
- SQL function volatility and expression rewrite safety over catalog metadata.
- windows
- Window expression classification.
Structs§
Enums§
Constants§
- DOC_
ID_ COLUMN - META_
DOC_ ID_ COLUMN - META_
QUALIFIER - META_
SCORE_ COLUMN - SCORE_
COLUMN - TABLE_
OID_ COLUMN - XMIN_
COLUMN
Functions§
- alias_
join_ schema - apply_
table_ function_ aliases - bound_
projection_ expression - bound_
source_ column_ names - bound_
source_ schema - builtin_
function_ dispatch_ name - Resolve reserved system-schema aliases only when the local name belongs to that schema’s built-in surface. Ordinary qualified names stay intact for runtime callbacks and user-defined routine lookup.
- collect_
expr_ qualifiers - collect_
frame_ bound_ subquery_ ids - collect_
from_ qualifiers - collect_
subquery_ ids - contains_
retrieval - Whether a scalar expression contains a posting-list retrieval operator. Relational executors use the same classification as access-path planning so registered retrieval calls never fall through to scalar evaluation.
- cte_
reference_ name - Decode a source reference into a CTE identifier. Qualified relations never resolve to CTEs.
- cte_
references_ own_ name - doc_
id_ value - expand_
bound_ projection_ stars - expand_
from_ star_ columns - expect_
column_ name - expr_
contains_ function - expr_
contains_ subquery - expr_
has_ unqualified_ column - expr_
is_ null_ free - True when the expression can never evaluate to SQL NULL for any
row: registered search functions, IS NULL tests, and boolean
combinations thereof. Anything referencing column comparisons may
yield NULL, so set-complement
NOTwould be unsound for it. - expr_
qualifiers - flatten_
and_ filter_ parts - from_
qualifier_ set - fts_
query_ is_ jsonpath - The
@@operator doubles as aJSONPathmatch when the right-hand side is a$...path literal; that form evaluates row-level JSON and needs no text index. - is_
builtin_ aggregate - is_
builtin_ table_ function - is_
json_ array_ table_ function - is_
semantic_ field_ argument - Return whether a registered function consumes this argument as a relation-field identifier rather than as a scalar row value.
- join_
alias_ columns - join_
alias_ input_ schemas - Add a parenthesized JOIN alias to the input-side schemas for null-rejection analysis. Merged FULL JOIN columns belong to neither side exclusively because their value is a coalesce of both inputs.
- join_
using_ layout - join_
using_ output_ schema - Bind the visible and hidden output identities of a qualified join without constructing or executing the join. Static source-schema binding and the physical operator share this layout so an empty or correlated right side cannot lose its declared types.
- join_
using_ predicate - merge_
action_ attribute - Executor-only carrier for
PostgreSQL18’smerge_action()value. The attribute has no SQL name and therefore cannot collide with a target or source column named_merge_action. - multi_
field_ match_ shape - order_
cte_ plans - ordered_
cte_ plans - ordered_
plan_ ctes - outer_
join_ nullable_ qualifiers - Qualifiers whose rows can be synthesized as NULLs by an outer join cannot
receive an arbitrary WHERE predicate before that join. A predicate such as
right.id IS NULLaccepts the synthesized row; pushing it into the right scan first can remove a real match, manufacture a NULL-extended row, and turn a non-result into a result. Keep predicates on these qualifiers above the outer join unless a separate rewrite has first reduced it to an inner join. - projection_
columns - projection_
label_ at - Compute a projection’s
PostgreSQLoutput column name. Standalone expressions use?column?; repeated labels remain repeated until the final named-map compatibility boundary. - qualify_
unqualified_ columns - query_
plan_ output_ columns - reachable_
plan_ cte_ names - resolve_
join_ using - resolve_
table_ function_ binding - resolve_
user_ table_ function - retrieval_
function - returning_
context_ schema - returning_
expression_ schema - scalar_
table_ function_ default_ column - select_
execution_ stmt - should_
defer_ distinct_ limit - single_
reference_ plan_ cte_ names - Return reachable CTEs with exactly one syntactic reference in the owning query tree. Counting references outside their lexical visibility can only make this set more conservative, never cause a multiply referenced CTE to be streamed as a single-consumer input.
- table_
function_ column_ types - table_
function_ empty_ schema - user_
function_ output_ columns_ for - validate_
table_ function_ alias_ count - validate_
table_ function_ column_ definition - virtual_
relation_ mutation_ error - visible_
projection_ source_ position