"Executes BODY within a transaction for DATABASE (which defaults to
*DEFAULT-DATABASE*). The transaction is committed if the body finishes
successfully (without aborting or throwing), otherwise the database is
"Executes BODY within a transaction for DATABASE (which defaults to
*DEFAULT-DATABASE*). The transaction is committed if the body finishes
successfully (without aborting or throwing), otherwise the database is