Default Values

Omitted Column Uses Default

Omitted columns use pinned schema defaults.

highlighted = computed this step

Omitted column uses default

When an insert omits a defaulted column, this toy model fills that column from the schema.

omitted uses default\text{omitted uses default}

Apply omitted defaults

The candidate applies 3 defaults and is accepted.

defaults=3\text{defaults}=3

DEFAULT examples are tiny finite insert checks; SQL dialect completeness, generated defaults, identity columns, triggers, constraints beyond visible NOT NULL, indexes, transactions, performance, and product behavior are out of scope.

Omitted column uses default: base rowsidnamestatusnotescore1Adaactiveseed102BennewNULL0 Schema defaultscolumnnotNulldefaultidyesNO_DEFAULTnameyesNO_DEFAULTstatusyesnewnotenononescoreyes0 Candidate resolutioncolumnsupplieddefaultresultsourcestatusreasonidyesNO_DEFAULT3explicitokoknameyesNO_DEFAULTCyexplicitokokstatusnonewnewdefaultokoknotenononenonedefaultokokscoreno00defaultokok Candidate checkfieldvaluedecisionacceptedresolvedRow(3, Cy, new, none, 0)reasons()insertedRowIndex2 Rows after candidateidnamestatusnotescore1Adaactiveseed102BennewNULL03Cynewnone0 DEFAULT factsfactvaluebaseRowCount2schemaColumnCount5defaultColumnCount3suppliedColumnCount2omittedColumnCount3appliedDefaultCount3explicitValueCount2explicitNullCount0rejectedReasonCount0candidateDecisionacceptedfinalRowCount3explicitNullInvokesDefaultno_toy_rule

Read each result cell

The resolution table marks which cells came from defaults.

source = default\text{source = default}

Summary

Omitted defaulted columns become visible inserted values.

resolved row\text{resolved row}