1. Thus no syntactically correct program in our restricted version occam can contain an execution error.

2. If a NOT LOGGED table encounters an execution error during a data changing statement there is only one choice for DB to truncate the table.

3. If an execution error occurred the last time a command alarm triggered, or the last time a display alarm's pre- or post-alarm command was executed, an error indication is shown in the color column, as described in Error Handling above.