Accepted insert rows append in request order.

highlighted = computed this step

Multiple rows append in order

A list of accepted inserts appends from top to bottom.

ordered inserts\text{ordered inserts}

Append two rows

The request accepts 2 rows and ends with 4 rows.

accepted=2\text{accepted}=2

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

Multiple rows append in order: base rowsidnamestatusnote1Adaactiveseed2BennewNULL SchemacolumnnotNulldefaultidyesNO_DEFAULTnameyesNO_DEFAULTstatusyesnewnotenonone Column list to rowinsertcolumnsvaluesdecisionappendIndexreasons0(id, name)(3, Cy)accepted2()1(id, name)(4, Dee)accepted3() Resolved insert cellsinsertcolumnsupplieddefaultresultsourcereason0idyesNO_DEFAULT3explicitok0nameyesNO_DEFAULTCyexplicitok0statusnonewnewdefaultok0notenononenonedefaultok1idyesNO_DEFAULT4explicitok1nameyesNO_DEFAULTDeeexplicitok1statusnonewnewdefaultok1notenononenonedefaultok Rows after INSERTidnamestatusnote1Adaactiveseed2BennewNULL3Cynewnone4Deenewnone INSERT factsfactvaluebaseRowCount2insertAttemptCount2acceptedRowCount2rejectedRowCount0finalRowCount4defaultFillCount4explicitNullCount0

Read append indexes

The insert results show the first appended row before the second.

append sequence\text{append sequence}

Summary

Append order is deterministic in this finite model.

ordered output\text{ordered output}