Default Values

Explicit Value Overrides Default

A supplied value wins over a default.

highlighted = computed this step

Explicit value overrides default

A supplied value is used as written.

explicit value wins\text{explicit value wins}

Supply status

The candidate supplies 3 values and still applies 2 omitted defaults.

explicit=3\text{explicit}=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.

Explicit value overrides default: base rowsidnamestatusnotescore1Adaactiveseed102BennewNULL0 Schema defaultscolumnnotNulldefaultidyesNO_DEFAULTnameyesNO_DEFAULTstatusyesnewnotenononescoreyes0 Candidate resolutioncolumnsupplieddefaultresultsourcestatusreasonidyesNO_DEFAULT3explicitokoknameyesNO_DEFAULTCyexplicitokokstatusyesnewactiveexplicitokoknotenononenonedefaultokokscoreno00defaultokok Candidate checkfieldvaluedecisionacceptedresolvedRow(3, Cy, active, none, 0)reasons()insertedRowIndex2 Rows after candidateidnamestatusnotescore1Adaactiveseed102BennewNULL03Cyactivenone0 DEFAULT factsfactvaluebaseRowCount2schemaColumnCount5defaultColumnCount3suppliedColumnCount3omittedColumnCount2appliedDefaultCount2explicitValueCount3explicitNullCount0rejectedReasonCount0candidateDecisionacceptedfinalRowCount3explicitNullInvokesDefaultno_toy_rule

Read status

The status result is explicit, not the schema default.

source = explicit\text{source = explicit}

Summary

Defaults only fill omitted columns.

not a replacement\text{not a replacement}