On the doc page for ALTER VIEW . . .
In the discussion about SET/DROP DEFAULT,
I am thinking that [instead-of insert trigger] should be mentioned in addition to [ON INSERT rule].
“A default value associated with a view column is inserted into INSERT statements on the view before the view's ON INSERT rule is applied, . . .”
Thanks,
-dvs-