All rows are removed only by an explicit all-rows predicate.
highlighted = computed this step
Explicit all-rows DELETE
This model deletes every row only when the predicate is explicitly all rows.
all rows explicit
Remove all rows
The WHERE kind is all, so DELETE removes 4 rows and keeps 0.
kept=0
DELETE examples are tiny finite row removals; SQL dialect completeness, joins in DELETE, subqueries, triggers, constraints, transactions, locks, indexes, optimizer behavior, performance, and product behavior are out of scope.
Read empty output
The after table says none because every source row was TRUE.
empty table
Summary
The book does not model accidental missing-WHERE deletes.