In order to cater for transactions in Coda,
a special type of transactions has been suggested, namely
isolation-only transactions (IOTs), see [30], [31].
This facility has been thoroughly treated in [34]
where it is concluded that IOTs are actually COTs
(consistency-only transactions), because the transactions are not isolated
from one another, instead the operations of the transactions are checked for
consistency (at server commit time, see Section 4.1.3). As mentioned
before, I would hesitate to even call IOTs (or COTs) for transactions,
because they are not atomic; in my view it would be appropriate to call them a
"consistency check mechanism" or similar.
